Sequential structure extraction by functional specification
AssigneeSynopsys, Inc.
InventorsNaiyong Jin, Hong Liang
Life of this patent
Estimating the term…
Abstract
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.
Claims20
A method of structure analysis for a circuit design, the method comprising:
- receiving a functional specification of the circuit design, the functional specification based on a behavior layer abstraction;
- receiving a plurality of design codes for the circuit design, wherein each of the plurality of design codes is based on a behavior layer abstraction;
- searching, with a circuit design system, the plurality of design codes for one or more of the plurality of design codes that satisfy the functional specification of the circuit design, wherein the searching is performed in the behavior layer abstraction.
A non-transitory computer-readable storage medium storing instructions thereon, the instructions when executed by a processor causing the processor to perform a method comprising the steps of:
- receiving a functional specification of a circuit design, the functional specification based on a behavior layer abstraction;
- receiving a plurality of design codes for the circuit design, wherein each of the plurality of design codes is based on a behavior layer abstraction;
- and
- searching the plurality of design codes for one or more of the plurality of design codes that satisfy the functional specification of the circuit design, wherein the searching is performed in the behavior layer abstraction.
A circuit design system comprising:
- means for receiving a functional specification of a circuit design, the functional specification based on a behavior layer abstraction;
- means for receiving a plurality of design codes for the circuit design, wherein each of the plurality of design codes is based on a behavior layer abstraction;
- means for searching the plurality of design codes for one or more of the plurality of design codes that satisfy the functional specification of the circuit design, wherein the searching is performed in the behavior layer abstraction;
- and
- means for storing the one or more of the plurality of design codes that satisfy the functional specification of the circuit design.
A computer system to perform structure analysis for a circuit design, the system comprising:
- an input mechanism to receive a functional specification of the circuit design, the functional specification based on a behavior layer abstraction and to receive a plurality of design codes for the circuit design, wherein each of the plurality of design codes is based on a behavior layer abstraction;
- a processor to search the plurality of design codes for one or more of the plurality of design codes that satisfy the functional specification of the circuit design, wherein the searching is performed in the behavior layer abstraction;
- and
- a memory to store the one or more of the plurality of design codes that satisfy the functional specification of the circuit design.
Dependencies are inferred from the claim text.