Software state replay

DC Scott, CW Selvidge, JD Marantz… - US Patent …, 2009 - Google Patents
Microcircuit devices are used in a variety of products, from automobiles to microwaves to
personal computers. Design ing and fabricating microcircuit devices involves many steps …

Method and apparatus for modeling devices having different geometries

P Chen, Z Liu - US Patent 7,263,477, 2007 - Google Patents
The present invention includes a method for modeling devices having different geometries,
in which a range of interest for device geometrical variations is divided into a plurality of …

Model-based retiming with functional equivalence constraints

Y Gu, G Venkataramani - US Patent 9,779,195, 2017 - Google Patents
A system and method tests for functional equivalence prior to automatically retiming a high-
level specification. An Intermediate Representation (IR) includes one or more graphs or …

Method for optimal use of direct fit and interpolated models in schematic custom design of electrical circuits

JA Iadanza, R Singh - US Patent 7,089,512, 2006 - Google Patents
A method of analyzing and designing circuits comprising creating a set of interpolated
models for transistor devices; creating a set of characterized (direct fit) models for the …

Model-based retiming with functional equivalence constraints

Y Gu, G Venkataramani - US Patent 8,990,739, 2015 - Google Patents
BACKGROUND One goal of circuit design and/or program coding is to optimize some
aspect of a system with the goal of improving its quality. One Such optimization approach …

Apparatus and methods for simulation of electronic circuitry

JF Croix, C Ratzlaff - US Patent 7,444,604, 2008 - Google Patents
A system for analyzing a model of an electronic circuit, which includes at least one non-
linear circuit element, includes a computer. The computer replaces the non-linear circuit …

Automatic, hierarchy-independent partitioning method for transistor-level circuit simulation

KJ Kerns, M Bhattacharya, S Rudnaya… - US Patent …, 2011 - Google Patents
A method of providing simulation results includes detecting any power net and rail in a
circuit netlist. The circuit can be divided into net-partitioned blocks. Using these net …

Techniques for analysis of logic designs with transient logic

JR Baumgartner, ML Case, RL Kanzelman… - US Patent …, 2012 - Google Patents
A technique for performing an analysis of a logic design includes detecting an initial
transient behavior in a logic design embodied in a netlist. A duration of the initial transient …

Hierarchical order ranked simulation of electronic circuits

N Zhu, J Bair, Z Peng - US Patent 8,463,587, 2013 - Google Patents
A method of simulating an integrated circuit design is provided. In this method, a node order
ranking of nodes in a netlist can be determined. Circuits of the netlist can then be partitioned …

Systematic, normalized metric for analyzing and comparing optimization techniques for integrated circuits employing voltage scaling and integrated circuits designed …

JJ Jamann, JC Parker, VM Rao - US Patent 8,281,266, 2012 - Google Patents
Various embodiments of methods of designing an integrated 7, 2008. circuit (IC). One
embodiment of one such method includes:(51) Int. Cl.(1) generating a functional design for …