摘要 |
<p>A method and apparatus for structure analysis of a circuit design is described. In one exemplary embodiment, a functional specification of a circuit design is received, where the functional specification based on a behavior layer abstraction. In addition, design codes for the circuit design is received, where the each of the design codes is based on a behavior layer abstraction. Furthermore, the design codes are searched for one or more of the design codes that satisfy the functional specification. This search is performed in the behavior layer abstraction. Each of the design codes that satisfy the functional specification is recognized.</p> |