US5880971A
Expired / Lapsed
US
⏱️ 0.0 years remaining
Methodology for deriving executable low-level structural descriptions and valid physical implementations of circuits and systems from semantic specifications and descriptions thereof
Assignee: LSI Corp
•
Filing: 1997-08-04
•
Granted: 1999-03-09
•
Expires: 2017-08-04
Abstract
Abstract A methodology for generating structural descriptions of complex digital devices from high-level descriptions and specifications is disclosed. The methodology uses a systematic technique to map and enforce consistency of the semantics imbedded in the intent of the original, high-level descriptions. The design activity is essentially a series of transformations operating upon various levels of design representations. At each level, the intended meaning (semantics) and formal software manipulations are captured to derive a more detailed level describing hardware meeting the design goals. Important features of the methodology are: capturing the users concepts, intent, specification, descriptions, constraints and trade-offs; architectural partitioning; what-if analysis at a high level; sizing estimation; timing estimation; architectural trade-off; conceptual design with implementation estimation; and timing closure. The methodology includes using estimators, based on data gathered over a number of realized designs, for partitioning and evaluating a design prior to logic synthesis. From the structural description, a physical implementation of the device is readily realized.
Inventors
- 👤 Carlos Dangelo
- 👤 Vijay Kumar Nagasamy
- 👤 Ahsan Bootehsaz
- 👤 Sreeranga Prasannakumar Rajan
Bibliographic Details
Application Number
—
Jurisdiction
US
Data Source
google_patents
Last Synchronized
2026-11-07 08:21
CPC Classifications
G; G01; G01R; G01R31/00; G01R31/28; G01R31/317; G01R31/31704; G06; G06F; G06F30/00; G06F30/30; G06F30/32; G06F30/33; G06F30/3308
Claims Analysis
Total Claims: 66
Claim 1
Independent Claim
90 words
A system for of creating and validating a structural description of a circuit or device from a higher level, behavior-oriented description thereof, comprising: a behavioral specification tool for specifying a desired behavior of the device in a high-level, behavior oriented language; a simulation and alteration tool for iteratively simulating and changing the design at the behavioral level until the desired behavior is obtained; a partitioning tool for partitioning the design into blocks according to high-level timing goals; and a directing tool for directing the various blocks to logic synthesis programs.
Claim 2
Independent Claim
90 words
A system for of creating and validating a structural description of a circuit or device from a higher level, behavior-oriented description thereof, comprising: a behavioral specification tool for specifying a desired behavior of the device in a high-level, behavior oriented language; a simulation and alteration tool for iteratively simulating and changing the design at the behavioral level until the desired behavior is obtained; a partitioning tool for partitioning the design into blocks according to high-level timing goals; and a directing tool for directing the various blocks to logic synthesis programs.
Claim 3
Dependent Claim
19 words
The system according to claim 1, wherein said directing tool provides a netlist or gate-level description of the design.
Claim 4
Dependent Claim
24 words
A system according to claim 2, wherein the intent and meaning present in the behavioral description is presented at the netlist or gate-level description.
Claim 5
Dependent Claim
19 words
A system according to claim 1, wherein: blocks having highly regular structures are directed to specific logic synthesis programs.
Claim 6
Dependent Claim
19 words
A system according to claim 1, wherein: blocks having well understood functions are directed to specific logic synthesis programs.
Claim 7
Dependent Claim
18 words
A system according to claim 1, wherein blocks having unstructured logic are directed to general logic synthesis programs.
Claim 8
Dependent Claim
18 words
A system according to claim 1, wherein blocks having random logic are directed to general logic synthesis programs.
Claim 9
Dependent Claim
15 words
A system according to claim 7, further comprising: a back-annotating tool for back-annotating the design.
Claim 10
Dependent Claim
18 words
A system according to claim 8, wherein said back-annotating tool ensures that physical design limitations are not exceeded.
Claim 11
Dependent Claim
34 words
A system according to claim 7, further comprising: an inputting tool for inputting a netlist or gate level description of the design to an implementation system for creating the physical implementation of the design.
Claim 12
Dependent Claim
35 words
A system according to claim 1, further comprising: a simulation tool for simulating the gate-level design description; and a comparing tool for comparing the results of the gate-level simulation with those from the behavioral simulation.
Claim 13
Dependent Claim
22 words
A system according to claim 11, wherein said comparing tool ensures that the circuit or device implementation performs according to predetermined criteria.
Claim 14
Dependent Claim
21 words
A system according to claim 1, further comprising: a design description tool for describing the design at the register transfer level.
Claim 15
Dependent Claim
35 words
A system according to claim 1, further comprising: a timing tool for providing high-level timing information extracted from known chip floorplan parameters to constrain the design into feasible architectural choices which meet high-level timing goals.
Claim 16
Dependent Claim
36 words
A system according to claim 14, further comprising: an extracting tool for extracting timing data from floorplan parameters; and an incorporating tool for incorporating the extracted timing data into I/O ports of the high-level behavioral description.
Claim 17
Dependent Claim
19 words
A system according to claim 1, wherein the high-level behavioral description of the device is set forth in VHDL.
Claim 18
Dependent Claim
34 words
A system according to claim 1, further comprising: an interpreting tool for interpreting the behavioral description of the device by attaching at least one semantic rule to each syntactic rule underlying the behavioral description.
Claim 19
Dependent Claim
15 words
A system according to claim 17, wherein said interpreting tool uses a syntax attribute tree.
Claim 20
Independent Claim
110 words
A system for creating and validating a structural description of a circuit or electronic device from a higher level, behavior-oriented description thereof, said description having context-free syntax, comprising: an entry device for a user to specify a desired behavior of the electronic device in a high-level, behavior oriented language having context-free syntax which unambiguously describes intended behavior in syntactic terms; a modification simulator for iteratively simulating and changing the design changes at the behavioral level until the desired behavior is obtained; an architectural partitioner for partitioning the design into architectural blocks according to high-level timing goals; and an I/O device for directing the various architectural blocks to logic synthesis programs.
Claim 21
Independent Claim
110 words
A system for creating and validating a structural description of a circuit or electronic device from a higher level, behavior-oriented description thereof, said description having context-free syntax, comprising: an entry device for a user to specify a desired behavior of the electronic device in a high-level, behavior oriented language having context-free syntax which unambiguously describes intended behavior in syntactic terms; a modification simulator for iteratively simulating and changing the design changes at the behavioral level until the desired behavior is obtained; an architectural partitioner for partitioning the design into architectural blocks according to high-level timing goals; and an I/O device for directing the various architectural blocks to logic synthesis programs.
Claim 22
Independent Claim
65 words
A system for creating a structural description of an electronic device, comprising: an input tool for inputting a functional specification for a design of an electronic device in a high level, behavior oriented language; a partitioning tool for partitioning the design of the electronic device into a plurality of blocks; and one or more logic synthesis tools for synthesizing the design description from said blocks.
Claim 23
Independent Claim
65 words
A system for creating a structural description of an electronic device, comprising: an input tool for inputting a functional specification for a design of an electronic device in a high level, behavior oriented language; a partitioning tool for partitioning the design of the electronic device into a plurality of blocks; and one or more logic synthesis tools for synthesizing the design description from said blocks.
Claim 24
Dependent Claim
98 words
A system according to claim 20, further comprising: a segregation tool for segregating the blocks into two groups, wherein: a first group of blocks has regular logic structure; and a second group of blocks has random logic structure; at least two logic synthesis tools, wherein: a first logic synthesis tool converts the first group of blocks having regular logic structure to a first portion of the physical description of the design; and a second logic synthesis tool converts the second group of blocks having random logic structure to a second portion of the physical description of the design.
Claim 25
Dependent Claim
34 words
A system according to claim 20, wherein: the physical description of the design includes a gate level description of the design the functional specification of the design includes a behavioral-level description of the design.
Claim 26
Dependent Claim
58 words
A system according to claim 22, further comprising: a first simulation tool for simulating the gate-level description of the design; a second simulation tool for simulating the behavioral description of the design; and a comparison tool for comparing the gate-level simulation with the behavioral simulation to ensure that the gate-level description behaves in accordance with the behavioral description.
Claim 27
Dependent Claim
26 words
A system according to claim 22, further comprising: an annotation tool for back-annotating the physical design description to ensure that predetermined goals and limitations are achieved.
Claim 28
Dependent Claim
20 words
A system according to claim 22, further comprising: a layout tool for laying out the physical description of the design.
Claim 29
Dependent Claim
47 words
A system according to claim 22, further comprising: at least one compilation tool for generating a register transfer level description of the design from the behavioral description of the design and generating a netlist description of the design from the register transfer level description of the design.
Claim 30
Dependent Claim
21 words
A system according to claim 20, wherein: intent and meaning present in the behavioral description is preserved in the physical description.
Claim 31
Dependent Claim
27 words
A system according to claim 20, further comprising: a timing tool associated with the partitioning tool, for providing high-level timing information extracted from known chip floorplan parameters.
Claim 32
Dependent Claim
34 words
A system according to claim 28, further comprising: an extraction tool for extracting timing data from floorplan parameters; and an incorporation tool for incorporating the timing data into I/O ports of the behavioral description.
Claim 33
Dependent Claim
17 words
A system according to claim 20, wherein: the functional specification of the device is expressed in VHDL.
Claim 34
Dependent Claim
40 words
A system according to claim 20, further comprising: a syntax attribute tree tool for interpreting the functional specification of the device by attaching one or more semantic rules to each of a plurality of syntactic rules underlying the functional specification.
Claim 35
Independent Claim
122 words
A system for mapping a structural description of an electronic system from a functional specification of the system, comprising: (a) a specification tool for specifying a behavioral design for an electronic system in a high-level, behavior-oriented language; (b) a functional description tool for creating a functional description of the design of the electronic system in the high-level language; (c) a simulation and editing tool for verifying in the high-level language and iteratively simulating and changing the functional description of the electronic system as required until the desired functionality is obtained; (d) a partitioning tool for partitioning the functional description into a number of blocks; and (e) a constraining tool for constraining choices for the design to those which meet the desired behavior.
Claim 36
Independent Claim
122 words
A system for mapping a structural description of an electronic system from a functional specification of the system, comprising: (a) a specification tool for specifying a behavioral design for an electronic system in a high-level, behavior-oriented language; (b) a functional description tool for creating a functional description of the design of the electronic system in the high-level language; (c) a simulation and editing tool for verifying in the high-level language and iteratively simulating and changing the functional description of the electronic system as required until the desired functionality is obtained; (d) a partitioning tool for partitioning the functional description into a number of blocks; and (e) a constraining tool for constraining choices for the design to those which meet the desired behavior.
Claim 37
Dependent Claim
25 words
A system according to claim 32, further comprising: (f) a layout tool for mapping the architecturally constrained design into a structural description of the system.
Claim 38
Dependent Claim
27 words
A system according to claim 32, further comprising: a composition tool, responsive to the constraining tool, for composing the choices as a structural description of the system.
Claim 39
Dependent Claim
29 words
A system according to claim 32, further comprising: a verification tool, responsive to the partitioning tool, for verifying partitioning of the functional description into a number of architectural blocks.
Claim 40
Dependent Claim
24 words
A system according to claim 32, further comprising: a validation tool, responsive to the layout tool, for validating the structural description of the system.
Claim 41
Independent Claim
104 words
A system for simulating the functionality of a structural description of an electronic device from a behavior-oriented description thereof, comprising: an input tool for allowing a user to specify and input a behavioral description for a desired behavior of a device in a high-level, behavior-oriented language; a simulation tool for allowing the user to iteratively simulate and change the behavioral description until the desired behavior is obtained; a partitioning tool for partitioning the behavioral description into blocks; a synthesis tool for synthesizing a structural description of the blocks in a lower-level language; and a simulation tool for simulating the functionality of the structural description.
Claim 42
Independent Claim
104 words
A system for simulating the functionality of a structural description of an electronic device from a behavior-oriented description thereof, comprising: an input tool for allowing a user to specify and input a behavioral description for a desired behavior of a device in a high-level, behavior-oriented language; a simulation tool for allowing the user to iteratively simulate and change the behavioral description until the desired behavior is obtained; a partitioning tool for partitioning the behavioral description into blocks; a synthesis tool for synthesizing a structural description of the blocks in a lower-level language; and a simulation tool for simulating the functionality of the structural description.
Claim 43
Dependent Claim
45 words
A system according to claim 37, wherein: the electronic device is a design entity; and the design entity is one of the group comprising an entire system, a sub-system, a board, a chip, a macro-cell, a logic gate, and any level of abstraction in between.
Claim 44
Dependent Claim
16 words
A system according to claim 37, further comprising: an implementation tool for implementing the structural description.
Claim 45
Independent Claim
86 words
A system for partitioning a design of a digital device, comprising: an input tool for inputting a behavioral description of the design in a high-level, behavior oriented language; at least one partitioning tool for partitioning the behavioral description of the design into blocks and units; a layout tool for generally laying out the partitioned design; a selection tool for selecting existing designs for a portion of the blocks; a generation tool for generating another portion of the blocks; and a synthesis tool for synthesizing remaining blocks.
Claim 46
Independent Claim
86 words
A system for partitioning a design of a digital device, comprising: an input tool for inputting a behavioral description of the design in a high-level, behavior oriented language; at least one partitioning tool for partitioning the behavioral description of the design into blocks and units; a layout tool for generally laying out the partitioned design; a selection tool for selecting existing designs for a portion of the blocks; a generation tool for generating another portion of the blocks; and a synthesis tool for synthesizing remaining blocks.
Claim 47
Dependent Claim
22 words
A system according to claim 40, further comprising: a generation tool for generating a structural description of the functional blocks and units.
Claim 48
Dependent Claim
18 words
A system according to claim 40, further comprising: a timing tool for predicting delays between blocks and units.
Claim 49
Dependent Claim
19 words
A system according to claim 40, further comprising: an annotation tool for back-annotating the delays to provide timing optimization.
Claim 50
Dependent Claim
21 words
A system according to claim 40, further comprising: a constraining tool for deriving boundary constraints for timing optimization from the delays.
Claim 51
Independent Claim
150 words
A system for ensuring that area and timing characteristics of a structural description of an electronic device comply with a higher level, behavior-oriented description thereof, comprising: (1) an input tool for entering a specification for a design of desired behavior of an electronic device, including high-level timing goals, in a high-level, behavior oriented language; (2) a derivation tool for deriving a functional description from the specification, including intended functionality; (3) a first verification tool for verifying the correctness of the intended functionality of the functional description; (4) a partitioning tool for partitioning the functional description into a partitioned design having separate modules; (5) a description tool for describing the modules, and for imposing on each module a set of timing and area constraints; and (6) a reconstruction tool for reconstructing the partitioned design, examining and verifying the partitioned design, and providing a register transfer language description of the entire design.
Claim 52
Independent Claim
150 words
A system for ensuring that area and timing characteristics of a structural description of an electronic device comply with a higher level, behavior-oriented description thereof, comprising: (1) an input tool for entering a specification for a design of desired behavior of an electronic device, including high-level timing goals, in a high-level, behavior oriented language; (2) a derivation tool for deriving a functional description from the specification, including intended functionality; (3) a first verification tool for verifying the correctness of the intended functionality of the functional description; (4) a partitioning tool for partitioning the functional description into a partitioned design having separate modules; (5) a description tool for describing the modules, and for imposing on each module a set of timing and area constraints; and (6) a reconstruction tool for reconstructing the partitioned design, examining and verifying the partitioned design, and providing a register transfer language description of the entire design.
Claim 53
Dependent Claim
22 words
A system according to claim 45, further comprising: (7) a second verification tool for verifying architectural decisions that were made during partitioning.
Claim 54
Dependent Claim
35 words
A system according to claim 46, further comprising: (8) a library tool for providing a target technology library to the modules; and (9) layout tool for mapping the design is mapped into the target technology.
Claim 55
Dependent Claim
24 words
A system according to claim 47, further comprising: (10) a gate level description tool for providing a gate level structural descriptions of the modules.
Claim 56
Dependent Claim
27 words
A system according to claim 48, further comprising: (11) a verification tool for verifying the correctness of the structural descriptions of the modules against their intended functionality.
Claim 57
Dependent Claim
26 words
A system according to claim 49, further comprising: (12) an association tool for associating specified timing and area constraints on the structural description of the modules.
Claim 58
Dependent Claim
32 words
A system according to claim 50, further comprising: (13) a modification tool for modifying the structural descriptions of the modules so that their area and timing characteristics comply with the specified constraints.
Claim 59
Dependent Claim
25 words
A system according to claim 51, further comprising: (14) a derivation tool for deriving optimized structural description of the modules from the modified structural descriptions.
Claim 60
Dependent Claim
28 words
A system according to claim 52, further comprising: (15) an examination tool for examining the impact of the optimized structural descriptions of the modules on the entire design.
Claim 61
Dependent Claim
61 words
A system according to claim 53, further comprising: (16) a derivation tool for deriving a high level module, from the optimized structural descriptions of the modules, wherein the high level module describes the interaction and connectivity between the modules, and for creating higher level modules hierarchically from high level modules until the entire design is described in a highest level module.
Claim 62
Dependent Claim
34 words
A system according to claim 54, further comprising: (17) a composition tool for composing the optimized structural descriptions of the modules are composed together to implement the intended functionality of the highest level module.
Claim 63
Dependent Claim
68 words
A system according to claim 55, further comprising: (18) a floorplanning tool for performing floorplanning for the modules, and for determining more accurate intrablock and inter-block delays; (19) a back annotation tool for back-annotating the delays into the structural descriptions of the modules; and (20) a modification tool for further modifying the structural descriptions of the modules so that their area and timing characteristics comply with global constraints.
Claim 64
Independent Claim
62 words
A system for designing electronic devices, comprising: a computing tool, including memory for storing a behavioral description of an electronic device; a software partitioning tool for converting the behavioral description into blocks; a software synthesizing tool for deriving a physical description of the electronic device from the blocks; and a software layout tool for laying out a physical description of the device.
Claim 65
Independent Claim
62 words
A system for designing electronic devices, comprising: a computing tool, including memory for storing a behavioral description of an electronic device; a software partitioning tool for converting the behavioral description into blocks; a software synthesizing tool for deriving a physical description of the electronic device from the blocks; and a software layout tool for laying out a physical description of the device.
Claim 66
Dependent Claim
33 words
A system according to claim 57, further comprising: a first simulation tool for simulating the behavior of the electronic device; and a second simulation tool for simulating the physical description of the device.
References Cited (Backward Citations)
USPTO Annuity & Maintenance Windows
| Annuity Stage | Window Opens | Payment Deadline | Surcharge Period Until | Estimated Fee | Status |
|---|---|---|---|---|---|
| 3.5 Years (Year 4) | 2002-03-08 | 2002-09-07 | 2003-03-09 | $2000.00 | Window Closed / Lapsed |
| 7.5 Years (Year 8) | 2006-03-08 | 2006-09-07 | 2007-03-09 | $3760.00 | Window Closed / Lapsed |
| 11.5 Years (Year 12) | 2010-03-08 | 2010-09-07 | 2011-03-09 | $7700.00 | Window Closed / Lapsed |