Patents Assigned to Design Automation Inc.
  • Patent number: 7992123
    Abstract: A method of engineering change to a semiconductor circuit includes: performing a first synthesis with optimization of a first HDL code to generate a first circuit; performing a first physical design of the first circuit to generate a post layout circuit; modifying the first HDL code to generate a second HDL code, and performing a second synthesis with optimization of the first and second HDL codes while forcibly preserving elements to generate a second circuit and a third circuit, respectively; performing an ECO cone-pair extraction operation of the second and third circuit to generate at least one ECO cone-pair; and obtaining an ECO logic and an element to be replaced according to the ECO cone-pair and the post layout circuit, and then replacing the element to be replaced in the post layout circuit with the ECO logic gate circuit, thereby modifying the post layout circuit into a post layout ECO circuit.
    Type: Grant
    Filed: March 10, 2008
    Date of Patent: August 2, 2011
    Assignee: Dorado Design Automation, Inc.
    Inventor: Chien-Jung Hsin
  • Patent number: 7992114
    Abstract: A statistical on-chip variation approach to timing analysis permits the automated or semi-automated selection of design-specific margins without requiring complex statistical libraries. By separately addressing the impact of random and systematic variations on timing, a design-specific margin can be obtained and used in downstream OCV analysis. In addition, where statistical libraries are available for some portions of a design, these can be incrementally included in the timing analysis to obtain more accurate results.
    Type: Grant
    Filed: August 19, 2008
    Date of Patent: August 2, 2011
    Assignee: Magma Design Automation, Inc.
    Inventors: Amzie Adams, Alessandra Nardi
  • Patent number: 7970590
    Abstract: Electronic Design Automation tools are used to aid in the design and verification of integrated circuits. As part of the verification process, circuit designs are analyzed with respect to their timing performance. Timing analysis is susceptible to variation in circuit components due to fabrication process variation. Process variation is introduced as worst-case conditions or statistical probabilities. More accurate process variation is modeled by for timing sensitivity with Parametric Elmore Delay. Parametric Elmore Delay introduces effects on circuit components as parameters in the conventional Elmore Delay definition to model fabrication process variation in the timing analysis. Delay variance demonstrates sensitivities to process and design factors. Parametric timing analysis is used to anticipate fabrication yield and identify potential improvements in the design or fabrication process.
    Type: Grant
    Filed: February 22, 2008
    Date of Patent: June 28, 2011
    Assignee: Magma Design Automation, Inc.
    Inventor: Timothy M. Burks
  • Patent number: 7971168
    Abstract: In various embodiments, each possible different instance of a repeated block can be concurrently optimized for timing. Each instance of a repeated block may be treated as a mode, such as a functional mode or testing mode, allowing implementation calculations to be performed simultaneously. Using multimode timing analysis, all instances of a repeated block can be analyzed and optimized simultaneously. Based on the multimode analysis, instances of a repeated block may be implemented identically or substantially similarly, which can reduce costs associated with implementing the same block more than once (e.g., impact to schedule, CPU/memory resources, ECOs).
    Type: Grant
    Filed: May 29, 2008
    Date of Patent: June 28, 2011
    Assignee: Magna Design Automation, Inc.
    Inventors: Robert Swanson, Jacob Avidan, Roger Carpenter
  • Patent number: 7958476
    Abstract: A power optimization method of deriving gated circuitry in an integrated circuit (IC) is provided. A design description of the IC is received and analyzed. A state machine is identified based on the analysis. One or more candidate blocks are determined to be capable of being disabled. At least one of the candidate blocks is selected based on one or more states of the state machine. A gating circuit is inserted for gating the selected candidate block(s). In another embodiment of power optimization, one or more state machines are identified and a synthesized netlist is generated. One or more candidate blocks in the synthesized netlist are determined to be capable of being disabled. At least one of the candidate blocks is selected based on one or more states in the state machine, and a gating circuit is inserted for gating the selected candidate block(s).
    Type: Grant
    Filed: July 9, 2008
    Date of Patent: June 7, 2011
    Assignee: Magma Design Automation, Inc.
    Inventors: Yunjian (William) Jiang, Arvind Srinivasan, Samit Chaudhuri
  • Patent number: 7937706
    Abstract: A method and apparatus for performing fair-share preemption in a distributed computing environment is disclosed. The invention allows the suspension of jobs in a preempt-able set and the transfer of their respective resources, e.g. either hardware or software resources, to jobs in a preempting set. These activities are performed, all while assuring fairness among jobs scheduled to be executed and optimizing the use of available resources. In a preferred embodiment, the preempt-able and the preempting sets may include jobs characterized by, for example, job priorities, job ownership, or combinations thereof.
    Type: Grant
    Filed: June 30, 2006
    Date of Patent: May 3, 2011
    Assignee: Runtime Design Automation, Inc.
    Inventor: Andrea Casotto
  • Patent number: 7937256
    Abstract: A method of efficient library characterization of a circuit of a logic gate having a plurality of transistors and a plurality of nodes defining interconnection points in the circuit is disclosed. The method includes determining a plurality of vectors for a plurality of arcs. Each of the plurality of vectors represents possible data bits to inputs and nodes of the logic gate. The method selects a plurality of substantially distinct vectors from the plurality of vectors for each of the plurality of arcs, and performs circuit pruning for each of the plurality of substantially distinct vectors, taking each one substantially distinct vector at a time. The circuit pruning includes identifying an active circuit for each vector. The active circuit is identified by determining which circuit features are activated when applying a particular one of the substantially distinct vectors. Then, the circuit simulations limited to a plurality of transistors in the active circuit are performed.
    Type: Grant
    Filed: November 20, 2007
    Date of Patent: May 3, 2011
    Assignee: Altos Design Automation, Inc.
    Inventors: Ken Tseng, Kevin Chou
  • Patent number: 7930673
    Abstract: A power optimization method of deriving gated circuitry in a synthesized netlist of an integrated circuit (IC) design is provided. A block in the synthesized netlist is identified as an idle candidate block. Sub-blocks on the chip are clustered into a cluster. For the cluster, a clock gating structure optimized for power savings is determined, based on the idle candidate block. One or more inflexible clock gates are inserted in the netlist according to the clock gate structure.
    Type: Grant
    Filed: May 28, 2008
    Date of Patent: April 19, 2011
    Assignee: Magma Design Automation, Inc.
    Inventors: Yunjian (William) Jiang, Arvind Srinivasan, Joy Banerjee, Yinghua Li, Partha Das, Samit Chaudhuri
  • Publication number: 20110087478
    Abstract: A method of efficient library characterization of a circuit of a logic gate having a plurality of transistors and a plurality of nodes defining interconnection points in the circuit is disclosed. The method includes determining a plurality of vectors for a plurality of arcs. Each of the plurality of vectors represents possible data bits to inputs and nodes of the logic gate. The method selects a plurality of substantially distinct vectors from the plurality of vectors for each of the plurality of arcs, and performs circuit pruning for each of the plurality of substantially distinct vectors, taking each one substantially distinct vector at a time. The circuit pruning includes identifying an active circuit for each vector. The active circuit is identified by determining which circuit features are activated when applying a particular one of the substantially distinct vectors. Then, the circuit simulations limited to a plurality of transistors in the active circuit are performed.
    Type: Application
    Filed: December 16, 2010
    Publication date: April 14, 2011
    Applicant: Altos Design Automation, Inc.
    Inventors: Ken Tseng, Kevin Chou
  • Publication number: 20110055782
    Abstract: A method for proximity-aware circuit design where a set of layout constraint values that satisfy predetermined performance or yield goals is determined in accordance with a layout effect model. One of the layout constraint values is then selected as a constraint input to layout design, and a design layout is performed with the selected layout constraint value to provide a semiconductor circuit design for the semiconductor circuit. The set of layout constraint values can be determined by varying an instance parameter of the layout effect model to determine a set of instance parameters that satisfy the at least one predetermined performance or yield goal in accordance with the layout effect model, and determining layout constraints associated with each instance parameter of the set of instance parameters, thus providing a number of candidates in a design space that can be evaluated according to performance and/or yield tradeoffs.
    Type: Application
    Filed: August 27, 2010
    Publication date: March 3, 2011
    Applicant: Solido Design Automation Inc.
    Inventors: Patrick G. DRENNAN, Ryan Silk, Joel Cooper, Jeffrey Dyck, Samer Sallam, Trent Lorne McCONAGHY
  • Patent number: 7895552
    Abstract: In the field of functional verification of digital designs in systems that use an abstraction for portions of a circuit design to perform the verification proof, a tool is described for resolving inconsistencies between the design and abstractions for the design. The tool provides information to a user about intermediate steps in the verification process. In response, the user may provide insight about the design to allow the tool to adjust the verification analysis of the design. The information provided to the user, including possible conflicts between the design and its abstractions, may include visualization techniques to facilitate the user's understating of any inconsistencies.
    Type: Grant
    Filed: March 28, 2005
    Date of Patent: February 22, 2011
    Assignee: Jasper Design Automation, Inc.
    Inventors: Vigyan Singhal, Soe Myint, Chung-Wah Norris Ip, Howard Wong-Toi
  • Patent number: 7884649
    Abstract: Techniques in which an optimal set of clock gating elements is determined for a selected circuit design. Those clock gating elements are coupled to selected flip-flops, with the effect that those selected flip-flops will consume less dynamic power during operation of the logic circuit. The selected set of clock gating elements provides an optimal savings in overall power consumption after modification of that selected circuit design.
    Type: Grant
    Filed: February 27, 2009
    Date of Patent: February 8, 2011
    Assignee: Magma Design Automation, Inc.
    Inventors: Hamid Savoj, David Berthelot
  • Patent number: 7882461
    Abstract: A method of optimizing clock-gated circuitry in an integrated circuit (IC) design is provided. A plurality of signals which feed into enable inputs of a plurality of clock gates is determined, where the clock gates gate a plurality of sequential elements in the IC design. Combinational logic which is shared among the plurality of signals is identified. The clock-gated circuitry is transformed into multiple levels of clock-gating circuitry based on the shared combinational logic.
    Type: Grant
    Filed: May 28, 2008
    Date of Patent: February 1, 2011
    Assignee: Magma Design Automation, Inc.
    Inventors: Yunjian (William) Jiang, Arvind Srinivasan, Joy Banerjee, Yinghua Li, Partha Das, Samit Chaudhuri
  • Patent number: 7823102
    Abstract: In a first variation, a thermally aware design automation suite integrates system-level thermal awareness into design of semiconductor chips, performing fine-grain thermal simulations of the chips based on thermal models and boundary conditions. The suite uses results of the simulations to modify thermally significant structures to achieve desired thermal variations across a chip, meet design assertions on selected portions of the chip, and verify overall performance and reliability of the chip over designated operating ranges and manufacturing variations. In a second variation, a discretization approach models chip temperature distributions using heuristics to adaptively grid space in three dimensions. Adaptive and locally variable grid spacing techniques are used to efficiently and accurately converge for steady state and/or transient temperature solutions.
    Type: Grant
    Filed: June 16, 2008
    Date of Patent: October 26, 2010
    Assignee: Gradient Design Automation Inc.
    Inventors: Rajit Chandra, Adi Srinivasan, Nanda Gopal
  • Patent number: 7793243
    Abstract: A system for circuit timing analysis includes a database for holding results of execution of portions of a timing analysis computation. Multiple computation modules are configured for concurrent execution of the portions of a timing analysis computation, for example, a static circuit timing analysis computation. A control subsystem is coupled to the database and to the computation modules, and is configured to receive results of the portions of the computation from the computation modules and to update the database using the received results. Based on the received results, the control module selects further portions of the computations for computation and assign each selected portion to one of the computation modules. The system makes use of parallel processing that is arranged in a way that avoids bottlenecks, such as at least some memory access bottlenecks resulting from data structure locking.
    Type: Grant
    Filed: December 4, 2006
    Date of Patent: September 7, 2010
    Assignee: CLK Design Automation, Inc.
    Inventors: Murat R. Becer, Joao M. Geada, Lee La France, Nicholas Rethman, Qian Shen
  • Patent number: 7783996
    Abstract: Methods for optimizing design parameters of a circuit are disclosed. In one aspect, an optimization problem includes one or more performance specifications that represent an exponent of a design parameter to be optimized. Various parameters of passive and active circuit devices may be efficiently and accurately optimized as a result. In another aspect, linear performance specifications are included for accurately calculating voltages. In yet other aspects of the invention, three special types of convex optimization problems are disclosed for enabling the above use of exponents of design parameters which provide efficient and accurate calculations of a virtually unlimited array of circuit parameters and performance characteristics.
    Type: Grant
    Filed: September 12, 2007
    Date of Patent: August 24, 2010
    Assignee: Magma Design Automation, Inc.
    Inventors: Mar Hershenson, David M. Colleran
  • Patent number: 7761834
    Abstract: For application to analog, mixed-signal, and custom digital circuits, a system and method to improve the flow of setting up a set of simulations, a characterization, or optimization problem via an interactive circuit schematic. A system and method to visualize circuit simulation data in which at least one of the views is an enhanced, interactive schematic view.
    Type: Grant
    Filed: July 19, 2007
    Date of Patent: July 20, 2010
    Assignee: Solido Design Automation Inc.
    Inventors: Trent Lorne McConaghy, Kristopher Breen, Amit Gupta, David Callele, Jeffrey Dyck, Charles Cazabon, Joel Cooper, Shawn Rusaw
  • Patent number: 7707533
    Abstract: A system and method of generating a set of circuit simulation data, applying data mining to for knowledge extraction from the data, and graphically presenting the extracted knowledge in a format that is easy to digest to a designer.
    Type: Grant
    Filed: July 20, 2007
    Date of Patent: April 27, 2010
    Assignee: Solido Design Automation Inc.
    Inventors: Trent Lorne McConaghy, Amit Gupta, Kristopher Breen, Charles Cazabon, Shawn Rusaw, Jeffrey Dyck, Jason Coutu, Joel Cooper, Jiandong Ge, David Callele
  • Patent number: 7703050
    Abstract: Methods for optimizing design parameters of a circuit are disclosed. In one aspect, an optimization problem includes one or more performance specifications that represent an exponent of a design parameter to be optimized. Various parameters of passive and active circuit devices may be efficiently and accurately optimized as a result. In another aspect, linear performance specifications are included for accurately calculating voltages. In yet other aspects of the invention, three special types of convex optimization problems are disclosed for enabling the above use of exponents of design parameters which provide efficient and accurate calculations of a virtually unlimited array of circuit parameters and performance characteristics.
    Type: Grant
    Filed: September 12, 2007
    Date of Patent: April 20, 2010
    Assignee: Magma Design Automation, Inc.
    Inventors: Mar Hershenson, David M. Colleran
  • Patent number: 7689952
    Abstract: A system that includes a candidate generator that generates candidate vectors having as components performance specifications of an electrical circuit design. The system also includes a performance estimator that generates performance vectors of the electrical circuit design, the performance vectors having as components performance values of the electrical circuit design. The candidate vectors and the performance vectors are input into a statistical estimator that calculates a statistical parameter, for example, yield, for each candidate vector in accordance with the performance vectors. The system further includes a filter that receives the candidate vectors and their respective statistical parameters, and outputs a filtered candidate vector with its corresponding filtered statistical parameter. A display system visually represents the filtered candidate vector and its corresponding filtered statistical parameter.
    Type: Grant
    Filed: July 19, 2007
    Date of Patent: March 30, 2010
    Assignee: Solido Design Automation Inc.
    Inventors: Trent Lorne McConaghy, Charles Cazabon, Jiandong Ge, Shawn Rusaw, Kristopher Breen, Jason Coutu