Patents Assigned to Design Automation Inc.
  • Patent number: 8572527
    Abstract: An analysis tool that generates properties for a circuit design. The debugging tool receives a circuit design encoded in a hardware description language. The tool identifies portions of the circuit design that correspond to features of interest (e.g., counters, finite state machines, one hot vectors, etc) in the circuit design. Each portion of the circuit design has a cone of influence, and the tool identifies control signals from within the cones of influence. By identifying control signals in this manner, the tool can then generate the properties based on values for the control signals and the identified portions of the circuit design that are obtained from data describing the operation of the circuit design over a number of clock cycles (e.g., simulation data). The result is one or more properties that are likely to represent a relevant behavior of the circuit design.
    Type: Grant
    Filed: September 13, 2011
    Date of Patent: October 29, 2013
    Assignee: Jasper Design Automation, Inc.
    Inventors: Claudionor José Nunes Coelho, Jr., Fabiano Cruz Peixoto
  • Patent number: 8527911
    Abstract: An executable circuit design is used to generate waveforms, from which behaviors of the circuit are captured. The behaviors and various combinations thereof can then be saved in a database, along with descriptions and other metadata about them, thereby generating a behavioral index of the circuit design code. Behavioral indexing of circuit designs allows a user to maintain an indexed behavior database, track changes in behaviors as the circuit design's executable description evolves, and figure out how the executable description can be reused in different projects. When applied to digital design development, it facilities the current design and verification effort, as well as design reuse down the line.
    Type: Grant
    Filed: June 9, 2010
    Date of Patent: September 3, 2013
    Assignee: Jasper Design Automation, Inc.
    Inventors: Kathryn Drews Kranen, Chung-Wah Norris Ip, Rajeev Kumar Ranjan, Georgia Penido Safe, Claudionor José Nunes Coelho, Yann Alain Antonioli
  • Publication number: 20130227510
    Abstract: A method for timing analysis of a circuit design includes, for each group of one or more instances of a cell of a cell library in the circuit design, determining timing related data for the group according to circuit context of the group in the design. The context includes at least one of a path depth, an output load, and an input slew rate. The determined timing related data are applied to analyze the circuit design.
    Type: Application
    Filed: February 28, 2012
    Publication date: August 29, 2013
    Applicant: CIk Design Automation, Inc.
    Inventors: Isadore T. Katz, Joao M. Geada, Leon LaFrance, Ferenc Varadi, Ahran Dunsmoor, James Kuzeja, Shiva Raja
  • Patent number: 8516421
    Abstract: A property generation tool that automatically generates a property for a circuit design from a signal trace of the circuit design. The property generation tool receives a trace of a circuit design. The trace includes signal values for a number of signals of the circuit design over a number of clock cycles. Signal signatures are generated from one or more characteristics of the signal values. Sets of candidate signals are identified from the circuit design signals based on the signal signatures. One or more properties of the circuit design are generated based on the signal values associated with the sets of candidate signals. The property can be output, for example, for display to a user of the property generation tool. Examples of properties that are generated by the property generation tool include handshaking properties and fairness properties.
    Type: Grant
    Filed: January 10, 2012
    Date of Patent: August 20, 2013
    Assignee: Jasper Design Automation, Inc.
    Inventor: Asa Ben-Tzur
  • Patent number: 8494670
    Abstract: For application to analog, mixed-signal, and custom digital circuits, a system and method to extract circuit-specific process/environmental corners that is yield-aware and/or specification-aware. Simulation data from previous Monte Carlo-based verification actions can be re-used.
    Type: Grant
    Filed: April 6, 2011
    Date of Patent: July 23, 2013
    Assignee: Solido Design Automation Inc.
    Inventors: Trent Lorne McConaghy, Jeffrey Dyck, Jiandong Ge
  • Patent number: 8473533
    Abstract: A system, computer-readable storage medium, and method directly solves non-linear systems that have the HB Jacobian as the coefficient matrix. The direct solve method can be used to efficiently simulate non-linear circuits in RF or microwave applications. Additionally, the direct solve method can be applied to Fourier envelope applications. Furthermore, the direct solve method can be used together with preconditioners to provide a more efficient iterative solve technique.
    Type: Grant
    Filed: June 17, 2010
    Date of Patent: June 25, 2013
    Assignee: Berkeley Design Automation, Inc.
    Inventors: Amit Mehrotra, Abhishek Somani
  • Patent number: 8458621
    Abstract: An executable circuit design is used to generate waveforms, from which behaviors of the circuit are captured. The behaviors and various combinations thereof can then be saved in a database, along with descriptions and other metadata about them, thereby generating a behavioral index of the circuit design code. Behavioral indexing of circuit designs allows a user to maintain an indexed behavior database, track changes in behaviors as the circuit design's executable description evolves, and figure out how the executable description can be reused in different projects. When applied to digital design development, it facilities the current design and verification effort, as well as design reuse down the line.
    Type: Grant
    Filed: June 9, 2010
    Date of Patent: June 4, 2013
    Assignee: Jasper Design Automation, Inc.
    Inventors: Kathryn Drews Kranen, Chung-Wah Norris Ip, Rajeev Kumar Ranjan, Georgia Penido Safe, Claudionor José Nunes Coelho, Yann Alain Antonioli
  • Patent number: 8443329
    Abstract: A system and method that does trustworthy multi-objective structural synthesis of analog circuits, and extracts expert analog circuit knowledge from the resulting tradeoffs. The system defines a space of thousands of possible topologies via a hierarchically organized combination of designer-trusted analog building blocks, the resulting topologies are guaranteed trustworthy. The system can perform a search based on a multi-objective evolutionary algorithm that uses an age-layered population structure to balance exploration vs. exploitation, with operators that make the search space a hybrid between vector-based and tree-based representations. A scheme employing average ranking on Pareto fronts is used to handle a high number of objectives. Good initial topology sizings are quickly generated via multi-gate constraint satisfaction.
    Type: Grant
    Filed: May 15, 2009
    Date of Patent: May 14, 2013
    Assignee: Solido Design Automation Inc.
    Inventor: Trent Lorne McConaghy
  • Patent number: 8332188
    Abstract: An apparatus and method to generate and evolve canonical form expressions representing a characteristic of a given system. Static and dynamic behavior of non-linear electrical circuits can be modeled. Searching of canonical form expressions can use evolutionary algorithms, simulated annealing and Tabu searching.
    Type: Grant
    Filed: March 5, 2007
    Date of Patent: December 11, 2012
    Assignee: Solido Design Automation Inc.
    Inventor: Trent Lorne McConaghy
  • Patent number: 8286111
    Abstract: A thermally aware design automation suite integrates system-level thermal awareness into design of semiconductor chips, performing fine-grain static and/or transient thermal simulations of the chips based on thermal models and boundary conditions. The thermal simulations are performed in accordance with one or more grids, with boundaries and/or resolutions being determined by adaptive and/or hierarchical multi-dimensional techniques. The adaptive grid techniques include material-boundary, rate-of-change, and convergence-information heuristics. For example, a finer grid is used in a region having higher temperature gradients compared to a region having lower temperature gradients. The hierarchical grid techniques are based on critical, intermediate, and boundary regions specified manually or automatically, each region having a respective grid resolution.
    Type: Grant
    Filed: June 2, 2008
    Date of Patent: October 9, 2012
    Assignee: Gradient Design Automation Inc.
    Inventors: Rajit Chandra, John Yanjiang Shu, Adi Srinivasan, Paolo Carnevali
  • Patent number: 8281270
    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: Grant
    Filed: August 27, 2010
    Date of Patent: October 2, 2012
    Assignee: Solido Design Automation Inc.
    Inventors: Patrick G. Drennan, Ryan Silk, Joel Cooper, Jeffrey Dyck, Samer Sallam, Trent Lome McConaghy
  • Patent number: 8225249
    Abstract: A static formal verification tool is used to test properties for a circuit design, where the properties are written in a verification language, such as SystemVerilog, that allows local variables. The use of local variables presents implementation challenges for static formal verification tools because it requires multiple instances of the local variables to be tracked during the verification process. To deal with local variables, the static formal verification tool translates a property containing local variables into an optimized, statically allocated data structure that does not need multiple representation of different instances of the local variables. The formal verification is then performed using the data structure. This reduces the verification complexity and makes the size of the problem representation predictable.
    Type: Grant
    Filed: June 3, 2008
    Date of Patent: July 17, 2012
    Assignee: Jasper Design Automation, Inc.
    Inventor: Johan Martensson
  • Patent number: 8205187
    Abstract: An executable circuit design is used to generate waveforms, from which behaviors of the circuit are captured. The behaviors and various combinations thereof can then be saved in a database, along with descriptions and other metadata about them, thereby generating a behavioral index of the circuit design code. Behavioral indexing of circuit designs allows a user to maintain an indexed behavior database, track changes in behaviors as the circuit design's executable description evolves, and figure out how the executable description can be reused in different projects. When applied to digital design development, it facilities the current design and verification effort, as well as design reuse down the line.
    Type: Grant
    Filed: June 9, 2010
    Date of Patent: June 19, 2012
    Assignee: Jasper Design Automation, Inc.
    Inventors: Claudionor José Nunes Coelho, Chung-Wah Norris Ip, Harry David Foster, Rajeev Kumar Ranjan, Kathryn Drews Kranen, Georgia Penido Safe
  • Patent number: 8103999
    Abstract: The result of a property based formal verification analysis of a circuit design may include at least one counterexample for each property that is violated, which a user can use to debug the circuit design. To assist the user in this debugging process, a debugging tool displays the counterexample trace annotated in such a way to illustrate where the property violation occurs and what parts of this trace contributes to the property violation. The debugging tool thus facilitates understanding of what parts of the counterexample trace are responsible for the property failure. The user can then select any of those contributing points as a starting point for further debugging.
    Type: Grant
    Filed: June 16, 2008
    Date of Patent: January 24, 2012
    Assignee: Jasper Design Automation, Inc.
    Inventor: Johan Martensson
  • Patent number: 8082137
    Abstract: A method and apparatus for modeling and thermal analysis of semiconductor chip designs is provided. One embodiment of a novel method for performing thermal testing of a semiconductor chip design includes calculating full-chip temperatures over the semiconductor chip design (e.g., to identify steep thermal gradients) and modeling the full-chip temperatures in accordance with a geometric multi-grid technique. The geometric multi-grid technique is tailored to determine temperatures within the semiconductor chip design based at least in part on the physical attributes or geometry of the design.
    Type: Grant
    Filed: June 11, 2008
    Date of Patent: December 20, 2011
    Assignee: Gradient Design Automation, Inc.
    Inventors: Peng Li, Larry Pileggi, Mehdi Asheghi, Rajit Chandra
  • Patent number: 8074189
    Abstract: For application to analog, mixed-signal, and custom digital circuits, a system and method to begin with a complex problem description that encompasses many variables from statistical manufacturing, the circuit's environment, and the circuit's design parameters, but then apply techniques to prune the scope of the problem to make it manageable for manual design and more efficient automated design, and finally use that pruned problem for more efficient and effective design.
    Type: Grant
    Filed: February 5, 2009
    Date of Patent: December 6, 2011
    Assignee: Solido Design Automation Inc.
    Inventors: Trent Lorne McConaghy, Jeffrey Dyck, Samer Sallam, Kristopher Breen, Joel Cooper, Jiandong Ge
  • Patent number: 8024682
    Abstract: For application to analog, mixed-signal, and custom digital circuits, a system and method to do: global statistical optimization (GSO), global statistical characterization (GSC), global statistical design (GSD), and block-specific design. GSO can perform global yield optimization on hundreds of variables, with no simplifying assumptions. GSC can capture and display mappings from design variables to performance, across the whole design space. GSC can handle hundreds of design variables in a reasonable time frame, e.g., in less than a day, for a reasonable number of simulations, e.g., less than 100,000. GSC can capture design variable interactions and other possible nonlinearities, explicitly capture uncertainties, and intuitively display them. GSD can support the user's exploration of design-to-performance mappings with fast feedback, thoroughly capturing design variable interactions in the whole space, and allow for more efficiently created, more optimal designs.
    Type: Grant
    Filed: March 3, 2009
    Date of Patent: September 20, 2011
    Assignee: Solido Design Automation Inc.
    Inventors: Trent Lorne McConaghy, Pat Drennan, Joel Cooper, Jeffrey Dyck, David Callele, Shawn Rusaw, Samer Sallam, Jiangdon Ge, Anthony Arkles, Kristopher Breen, Sean Cocks
  • Patent number: 8019580
    Abstract: Transient thermal simulation of semiconductor chips uses region-wise variable spatial grids and variable temporal intervals, enabling spatio-temporal thermal analysis of semiconductor chips. Temperature rates of change across a die and/or package of an integrated circuit are computed and tracked versus time. Critical time interval(s) for temperature evaluation are determined. Temperatures of elements, components, devices, and interconnects are updated based on a 3D full chip temperature analysis. Respective power dissipations are updated, as a function of the temperatures, with an automated interface to one or more circuit simulation tools. Subsequently new temperatures are determined as a function of the power dissipations. User definable control and observation parameters enable flexible and efficient transient thermal analysis. The parameters relate to power sources, monitoring, reporting, error tolerances, and output snapshots.
    Type: Grant
    Filed: April 12, 2008
    Date of Patent: September 13, 2011
    Assignee: Gradient Design Automation Inc.
    Inventors: Rajit Chandra, Paolo Carnevali, John Yanjiang Shu, Adi Srinivasan
  • Patent number: 8006220
    Abstract: A method and system for performing multi-objective optimization of a multi-parameter design having several variables and performance metrics. The optimization objectives include the performance values of surrogate models of the performance metrics and the uncertainty in the surrogate models. The uncertainty is always maximized while the performance metrics can be maximized or minimized in accordance with the definitions of the respective performance metrics. Alternatively, one of the optimization objectives can be the value of a user-defined cost function of the multi-parameter design, the cost function depending from the performance metrics and/or the variables. In this case, the other objective is the uncertainty of the cost function, which is maximized. The multi-parameter designs include electrical circuit designs such as analog, mixed-signal, and custom digital circuits.
    Type: Grant
    Filed: September 24, 2008
    Date of Patent: August 23, 2011
    Assignee: Solido Design Automation Inc.
    Inventors: Trent Lorne McConaghy, Kristopher Breen, Shawn Rusaw, David Callele
  • Patent number: 8006216
    Abstract: Techniques are disclosed for performing topologically planar routing of System in Packages (SiPs). A routing graph can be represented by a particle-insertion-based constraint Delaunay triangulation (PCDT) and its dual. A dynamic search routing may be performed using a DS* routing algorithm to determine the shortest path on the dual graph between a start point and an end point. Based on a dynamic pushing technique, net ordering problems may be solved. A first wire can be topologically routed. Dynamic search routing of a second wire may be performed. The first wire may be pushed or detoured in response to the dynamic searching routing of a second wire.
    Type: Grant
    Filed: June 6, 2008
    Date of Patent: August 23, 2011
    Assignee: Magma Design Automation, Inc.
    Inventors: Guoqiang Chen, Kaushik Sheth, Egino Sarto, Shenghua Liu