[PDF][PDF] Facet: A procedure for the automated synthesis of digital systems

CJ Tseng, DP Siewiorek - Papers on Twenty-five years of electronic …, 1988 - dl.acm.org
Abstract tn the past decade significant effort has been devoted to the development of
methodologies for design at the registertransfer level. However, effective and versatile …