|
Match
|
Document |
Document Title |
|
|
7467367 |
Method and system for clock tree synthesis of an integrated circuit
Aspects for clock tree synthesis of an integrated circuit include performing top-level clock tree synthesis, and estimating one or more block-level clock tree structures of the integrated circuit....
|
|
|
7467368 |
Circuit clustering during placement
A method of physical circuit design can include the steps of packing components of a circuit design that are dependent upon an architecture of the circuit design and assigning initial locations to...
|
|
|
7464361 |
System and method for asynchronous logic synthesis from high-level synchronous descriptions
A method for generating an equivalent asynchronous handshake circuit from a synchronous description of its intended behavior.
|
|
|
7464364 |
Thin-film transistor circuit, design method for thin-film transistor, design program for thin-film transistor circuit, design program recording medium, design library database, and display device
A thin-film transistor circuit includes a crystallized semiconductor thin film two-dimensionally partitioned into crystal-grain-defining areas each of which accommodates a crystal grain larger than...
|
|
|
7461360 |
Validating very large network simulation results
A technique validates results from a circuit simulation estimation program. The technique determines whether the estimated results satisfy Kirchhoff's current law (KCL), Kirchhoff's voltage laws...
|
|
|
7458050 |
Methods to cluster boolean functions for clock gating
A method to cluster Boolean functions for clock gating according to various exemplary embodiments can include identifying at least two small gating groups within a clock tree representative of an...
|
|
|
7454732 |
Methods and apparatuses for designing integrated circuits (ICs) with optimization at register transfer level (RTL) amongst multiple ICs
Techniques for designing integrated circuits (ICs) with optimization at register transfer level (RTL) amongst multiple ICs are described herein. According to one embodiment of the invention, a...
|
|
|
7454727 |
Method and Apparatus for Solving Sequential Constraints
Relates to automatic conversion of assumption constraints, used in circuit design verification, that model an environment for testing a DUT/DUV, where the assumptions specify sequential behavior....
|
|
|
7451416 |
Method and system for designing an electronic circuit
A method and system of designing an electronic circuit includes dividing a chip area of a design into a plurality of bins, identifying a candidate bin in the plurality of bins, and performing an...
|
|
|
7451430 |
Apparatus and method for generating transistor model
In a transistor model generating apparatus, a transistor region extracting section extracts a non-rectangular transistor region, in which a gate region is formed above a non-rectangular diffusion...
|
|
|
7448003 |
Signal flow driven circuit analysis and partitioning technique
A method for generating a layout for an analog circuit design is provided. The method includes tracing a signal flow through a circuit netlist, and partitioning the circuit netlist into a digital...
|
|
|
7448015 |
Method and system for unfolding/replicating logic paths to facilitate modeling of metastable value propagation
A net of an integrated circuit design is analyzed by unfolding paths on the receive side of an asynchronous boundary to facilitate modeling of the propagation of a metastable value from a receive...
|
|
|
7444275 |
Multi-variable polynomial modeling techniques for use in integrated circuit design
Techniques are disclosed for modeling a cell of an integrated circuit design. In one aspect of the invention, a full-space polynomial model is fit to cell information comprising measured data...
|
|
|
7444277 |
Facilitating simulation of a model within a distributed environment
Simulation of models within a distributed environment is facilitated. A model is partitioned based on clock domains, and communication between partitions on different processors is performed on...
|
|
|
7437691 |
VLSI artwork legalization for hierarchical designs with multiple grid constraints
A system and method are disclosed for legalizing a flat or hierarchical VLSI layout to meet multiple grid constraints and conventional ground rules. Given a set of ground rules with multiple grid...
|
|
|
7434199 |
Dense OPC
A method of calculating process conditions for performing optical and process correction (OPC) or other resolution enhancement techniques on a layout design. Process conditions are estimated on a...
|
|
|
7434185 |
Method and apparatus for parallel data preparation and processing of integrated circuit graphical design data
A method for implementing an ORC process to facilitate physical verification of an integrated circuit (IC) graphical design. The method includes partitioning the IC graphical design data into files...
|
|
|
7428477 |
Simulation of electrical circuits
A method, computer program product, and apparatus for simulating circuits. The method comprises modeling a circuit with an appropriate system of equations, partitioning a time interval on which the...
|
|
|
7428715 |
Hole query for functional coverage analysis
Functional coverage techniques during design verification using cross-product coverage models and hole analysis are enhanced by the use of coverage queries. After running a test suite, a core set...
|
|
|
7421669 |
Using constraints in design verification
A method for generating a constraint for use in the verification of an integrated circuit design includes identifying a target in a netlist (N) of the design and creating an overapproximate...
|
|
|
7421671 |
Graph pruning scheme for sensitivity analysis with partitions
A method of analyzing a circuit simulation comprising pruning a signal flow graph. Pruning the signal flow graph includes selecting a current vertex from a multiple input vertices in the signal...
|
|
|
7418688 |
Routing analysis method, logic synthesis method and circuit partitioning method for integrated circuit
The present invention relates to a routing analysis method for performing a routing analysis on an integrated circuit from a netlist which is information on a plurality of cells constituting the...
|
|
|
7404159 |
Critical area computation of composite fault mechanisms using Voronoi diagrams
Disclosed is a method that determines critical areas associated with different types of fault mechanisms in an integrated circuit design. The invention does this by constructing individual Voronoi...
|
|
|
7404168 |
Detailed placer for optimizing high density cell placement in a linear runtime
A detailed placement process which optimizes cell placement with up to one hundred percent densities in a linear run time. The output from a conjugate-gradient coarse placement process is input to...
|
|
|
7404169 |
Clock signal networks for structured ASIC devices
Clock distribution circuitry for a structured ASIC device includes a deterministic portion and configurable portions. The deterministic portion employs a predetermined arrangement of conductor...
|
|
|
7404172 |
Method for the synthesis of VLSI systems based on data-driven decomposition
The present invention is a systematic and data-driven-decomposition (DDD) method and apparatus for use in VLSI synthesis. The invention decomposes a high level program circuit description into a...
|
|
|
7401310 |
Integrated circuit design with cell-based macros
A method for designing integrated circuits may include custom designing, at the transistor level, individual cells to be incorporated into cell-based macros. A macro-level function of an integrated...
|
|
|
7401319 |
Method and system for reticle-wide hierarchy management for representational and computational reuse in integrated circuit layout design
A hierarchical representation encapsulates the detailed internal composition of a sub-circuit using the notion of a cell definition (a CellDef). The CellDef serves as a natural unit for operational...
|
|
|
7392494 |
Clustering circuit paths in electronic circuit design
Techniques are disclosed for clustering circuit paths in an electronic design automation process for use in improving the timing characteristics of the overall circuit design. Circuit paths...
|
|
|
7389484 |
Method and apparatus for tiling memories in integrated circuit layout
A process and apparatus are provided for tiling objects, such as design memories, in one or more respective object locations in a layout pattern. For each object, the following steps are performed...
|
|
|
7386823 |
Rule-based schematic diagram generator
A schematic diagram generator processes a netlist to generate a schematic diagram based on a set of placement rules, corresponding to a separate characteristic pattern of interconnected devices and...
|
|
|
7386776 |
System for testing digital components
In order to test digital modules with functional elements, these are divided into test units ( 3 ) which respectively have inputs and outputs. Alternating test patterns are applied to the inputs of...
|
|
|
7386821 |
Primitive cell method for front end physical design
A method for forming an integrated circuit ( 280 ) comprises accessing ( 282 ) a library of primitive cells and edge codes in the formation of an integrated circuit layout. At least one edge code...
|
|
|
7383524 |
Structure for storing a plurality of sub-networks
Some embodiments of the invention provide a method for pre-tabulating sub-networks. This method (1) generates a sub-network that performs a function, (2) generates a parameter based on this...
|
|
|
7380184 |
Sequential scan technique providing enhanced fault coverage in an integrated circuit
According to an aspect of the present invention, multiple scan enable signals (controlling corresponding scan chains) are used in an integrated circuit, and the scan chains are placed in evaluation...
|
|
|
7380229 |
Automatic generation of correct minimal clocking constraints for a semiconductor product
A electronic design automation tool, apparatus, method, and program product by which design requirements for an intended semiconductor product and the resource definitions of a semiconductor...
|
|
|
7380226 |
Systems, methods, and apparatus to perform logic synthesis preserving high-level specification
A method and an apparatus to perform logic synthesis preserving high-level specification and to check that a common specification (CS) of two circuits is correct have been disclosed. In one...
|
|
|
7376921 |
Methods for tiling integrated circuit designs
Methods for routing in the design of integrated circuits (ICs) to simplify the routing task. The method includes dividing a given IC design into a limited number of non-overlapping tiles, and then...
|
|
|
7373631 |
Methods of producing application-specific integrated circuit equivalents of programmable logic
Methods for facilitating the synthesis of structured ASICs that are functionally equivalent to FPGAs make use of the synthesis of a user's logic design for the FPGA. Each of several relatively...
|
|
|
7370308 |
Integrated circuit analysis method and program product
A method for analyzing integrated circuits (IC's) has steps of dividing the circuit into a plurality of individual blocks that are linked together. Each block is comprised of a plurality of latches...
|
|
|
7370291 |
Method for mapping logic design memory into physical memory devices of a programmable logic device
A method is provided for mapping logic design memory into physical memory devices of a programmable logic device. User constraints and physical constraints may be taken into account in generating...
|
|
|
7370302 |
Partitioning a large design across multiple devices
A method of partitioning a design across a plurality of integrated circuits can include creating a software construct for each one of the plurality of integrated circuits and assigning a plurality...
|
|
|
7366649 |
Method for generating and evaluating a table model for circuit simulation
A method for generating and evaluating a table model for circuit simulation in N dimensions employing mathematical expressions for modeling a device. The table model uses an unstructured...
|
|
|
7363596 |
Methods for storing and naming static library cells for lookup by logic synthesis and the like
A method is provided for creating and using a library of known logic elements for facilitating the design of equivalent FPGA, structured ASIC, or other integrated circuits. Each cell in the library...
|
|
|
7360177 |
Method and arrangement providing for implementation granularity using implementation sets
A design hierarchy based on an implementation set abstraction of a user design for an integrated circuit design includes a plurality of nodes and a definition for each of the nodes in the plurality...
|
|
|
7356797 |
Logic transformation and gate placement to avoid routing congestion
A novel logic design method for avoiding wiring congestion. According to the novel logic design method, an original gate having multiple inputs coming from different directions and having multiple...
|
|
|
7356785 |
Optimizing IC clock structures by minimizing clock uncertainty
A process is provided for optimizing a clock net in the form of a tree having a root defined by a driver pin and a plurality of leaves defined by driven pins. The process includes forcing a first...
|
|
|
7356784 |
Integrated synthesis placement and routing for integrated circuits
A method determining an IC (integrated circuit) design includes: determining one or more design variables, wherein the one or more design variables include one or more device variables and one or...
|
|
|
7353472 |
System and method for testing pattern sensitive algorithms for semiconductor design
A system and method for generating test patterns for a pattern sensitive algorithm. The method comprises the steps extracting feature samples from a layout design; grouping feature samples into...
|
|
|
7350172 |
Reporting of aspects and partitioning of automatically generated code according to a partitioning scheme
A method and system are described for generating a performance prediction report to assist finalizing a partitioning scheme of a block diagram model. Providing a user-defined partitioning scheme...
|