ECAD system for deriving executable low-level structural descriptions and valid physical implementations of circuits and systems from high-level semantic descriptions thereof

Claim 2

An ECAD software system for running on an electronic computer and creating a structural description of an electronic device, comprising: an input tool for inputting a functional specification for a design of an electronic device; a partitioning tool for partitioning the design of the electronic device into a plurality of architectural blocks; and one or more logic synthesization tools for converting the architectural blocks to a physical description of the design.

Claim 3

An ECAD software system, according to claim 1, further comprising: a segregation tool for segregating the architectural blocks into two groups, a first group of architectural blocks having regular logic structure and a second group of architectural blocks having random logic structure; there are at least two logic synthesization tools; a first one of the at least two logic synthesization tools converting the first group of architectural blocks having regular logic structure to a first portion of the physical description of the design; and a second one of the at least two logic synthesization tools converting second group of the architectural blocks having random logic structure to a second portion of the physical description of the design.

Claim 4

An ECAD software system, according to claim 1, wherein: the physical description of the design includes a gate-level description of the design; and the functional specification of the design includes a behavioral-level description of the design; in which the system further comprises: 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 5

An ECAD software system, according to claim 3, further comprising: an annotation tool for back-annotating the physical design description to ensure that timing goals are achieved and that capacitive load limitations, are not exceeded.

Claim 6

An ECAD software system, according to claim 3, further comprising: a layout tool for laying out the physical description of the design.

Claim 7

An ECAD software system, according to claim 3, 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 net-list description of the design from the register transfer level description of the design.

Claim 8

An ECAD software system, according to claim 1, wherein: intent and meaning present in the behavioral description is preserved in the physical description.

Claim 9

An ECAD software system, according to claim 1, further comprising: a timing tool, associated with the partitioning 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 10

An ECAD software system, according to claim 8, 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 11

An ECAD software system, according to claim 1, wherein: the functional specification of the device is expressed in VHDL.

Claim 12

An ECAD system, according to claim 1, 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 13

An ECAD software system for running on an electronic computer and 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 describing, in the high-level language, a functional description of the design of the system; (c) a simulation and editing tool for verifying in the high-level language, correctness of intended functionality and, if necessary, for iteratively simulating and changing the functional description of the system until the desired functionality is obtained; (d) a partitioning tool for partitioning the functional description into a number of architectural blocks; (e) a constraining tool for constraining the architectural choices for the design to those which meet the desired behavior; and (f) a layout tool for mapping the architecturally constrained design into a structural description of the system.

Claim 14

An ECAD software system for running on an electronic computer and 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 describing, in the high-level language, a functional description of the design of the system; (c) a simulation and editing tool for verifying in the high-level language, correctness of intended functionality and, if necessary, for iteratively simulating and changing the functional description of the system until the desired functionality is obtained; (d) a partitioning tool for partitioning the functional description into a number of architectural blocks; (e) a constraining tool for constraining the architectural choices for the design to those which meet the desired behavior; and (f) a layout tool for mapping the architecturally constrained design into a structural description of the system.

Claim 15

An ECAD software system, according to claim 12, further comprising: a composition tool, responsive to the means for constraining, for composing the architectural choices as a structural description of the system; and a verification tool, responsive to the partitioning tool, for verifying partitioning of the functional description into a number of architectural blocks.

Claim 16

An ECAD software system, according to claim 12, further comprising: a verification tool, responsive to the layout tool, for verifying the correctness of the structural description of the system.

Claim 17

An ECAD software 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, and to input the behavioral description; 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 architectural blocks; a synthesization tool for synthesizing a structural description of the architectural blocks in a lower-level language; and a simulation tool for simulating the functionality of the structural description.

Claim 18

An ECAD software 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, and to input the behavioral description; 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 architectural blocks; a synthesization tool for synthesizing a structural description of the architectural blocks in a lower-level language; and a simulation tool for simulating the functionality of the structural description.

Claim 19

An ECAD software system, according to claims 15, wherein: the electronic device is a circuit or a system.

Claim 20

An ECAD software system, according to claim 15, wherein: the electronic device is a design entity; and the design entity is an entire system, a sub-system, a board, a chip, a macro-cell, a logic gate, or any level of abstraction in between.

Claim 21

An ECAD software system, according to claim 15, further comprising: an implementation tool for implementing the structural description.

Claim 22

A software partitioner for partitioning the design of a digital device, comprising: an input tool for inputting a design; a first partitioning tool for partitioning a design into functional blocks; a layout tool for generally laying out the partitioned design; a selection tool for selecting existing designs for a portion of the functional blocks; a generation tool for generating another portion of the functional blocks; a second partitioning tool for partitioning yet another portion of the functional blocks into smaller functional units; a synthesization tool for synthesizing the remaining portion of the functional blocks; a generation tool for generating a structural description of the functional blocks and units; and a timing tool for predicting delays between functional blocks and units.

Claim 23

A software partitioner for partitioning the design of a digital device, comprising: an input tool for inputting a design; a first partitioning tool for partitioning a design into functional blocks; a layout tool for generally laying out the partitioned design; a selection tool for selecting existing designs for a portion of the functional blocks; a generation tool for generating another portion of the functional blocks; a second partitioning tool for partitioning yet another portion of the functional blocks into smaller functional units; a synthesization tool for synthesizing the remaining portion of the functional blocks; a generation tool for generating a structural description of the functional blocks and units; and a timing tool for predicting delays between functional blocks and units.

Claim 24

a software partitioner, according to claim 19, further comprising: an annotation tool for back-annotating the delays to provide timing optimization.

Claim 25

a software partitioner, according to claim 19, further comprising: a constraining tool for deriving boundary constraints for timing optimization from the delays.

Claim 26

An ECAD software 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 to an ECAD system a specification for an entire 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 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; (6) a reconstruction tool for reconstructing the partitioned design, and for examining and for verifying the partitioned design, for providing an RTL description of the entire design; (7) a verification tool for verifying architectural decisions that were made during partitioning, and for examining their impact on the functionality and performance of the entire design; (8) a library tool for providing a target technology library to the modules; (9) layout tool for mapping the design is mapped into the target technology; (10) a gate level description tool for providing a gate level, technology-dependent structural descriptions of the modules; (11) a verification tool for verifying the correctness of the structural descriptions of the modules against their intended functionality; (12) an association tool for associating specified timing and area constraints on the structural description of the modules; (13) a modification tool for modifying the structural descriptions of the modules so that their area and timing characteristics comply with the specified constraints; (14) a derivation tool for deriving optimized structural description of the modules from the modified structural descriptions; (15) an examination tool for examining the impact of the optimized structural descriptions of the modules on the entire design; (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; (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; (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 27

An ECAD software 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 to an ECAD system a specification for an entire 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 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; (6) a reconstruction tool for reconstructing the partitioned design, and for examining and for verifying the partitioned design, for providing an RTL description of the entire design; (7) a verification tool for verifying architectural decisions that were made during partitioning, and for examining their impact on the functionality and performance of the entire design; (8) a library tool for providing a target technology library to the modules; (9) layout tool for mapping the design is mapped into the target technology; (10) a gate level description tool for providing a gate level, technology-dependent structural descriptions of the modules; (11) a verification tool for verifying the correctness of the structural descriptions of the modules against their intended functionality; (12) an association tool for associating specified timing and area constraints on the structural description of the modules; (13) a modification tool for modifying the structural descriptions of the modules so that their area and timing characteristics comply with the specified constraints; (14) a derivation tool for deriving optimized structural description of the modules from the modified structural descriptions; (15) an examination tool for examining the impact of the optimized structural descriptions of the modules on the entire design; (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; (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; (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 28

An ECAD system for designing electronic devices, comprising: an electronic computer workstation, including memory for storing a behavioral description of an electronic device; a software partitioning tool for running on the workstation and converting the behavioral description into architectural blocks; a software synthesizing tool for running on the workstation and deriving a physical description of the electronic device from the architectural blocks; a software layout tool for running on the workstation and laying out a physical description of the device.

Claim 29

An ECAD system for designing electronic devices, comprising: an electronic computer workstation, including memory for storing a behavioral description of an electronic device; a software partitioning tool for running on the workstation and converting the behavioral description into architectural blocks; a software synthesizing tool for running on the workstation and deriving a physical description of the electronic device from the architectural blocks; a software layout tool for running on the workstation and laying out a physical description of the device.

Claim 30

An ECAD system, according to claim 23, further comprising: a software first simulation tool for running on the workstation and simulating the behavior of the electronic device; and a software second simulation tool for running on the workstation and simulating the physical description of the device.