A Data Structure for VLSI Synthesis and Verification
D.W. Knapp, Alice C. Parker · STIN · 1983
Abstract : This document describes a VLSI design representation developed at USC as part of the USC Expert Synthesis System project. The data structure is implementation-independent and can be regarded as a general hardware design representation schema. It is characterized by four nonisomorphic hierarchies, which collectively describe the system under design. It is useful for the analytic detection of some kinds of design errors. (Author)