Match

Document 
Document Title 

8942968 
Analysis support computer product, apparatus, and method
A computerreadable, nontransitory medium stores a program that causes a computer to execute a process including acquiring a unique coefficient that is unique to a device in a circuit under test...


8935623 
Automatic API generation to functional PSoC blocks
A method of generating an application programming interface (API) for an electronic circuit. A graphical user interface is displayed through which a user can initiate generation of the API. A...


8935146 
Computer aided design apparatus, computer aided design program, computer aided design method for a semiconductor device and method of manufacturing a semiconductor circuit based on characteristic value and simulation parameter
A simulation instructing unit instructs a simulation unit, which generates signal characteristics, to generate the signal characteristics. A characteristic value extracting unit extracts, from the...


8935133 
Measurement points in modeling and simulation
A computing device may be used to create a model that includes a block. The block may represent a function corresponding to a simulation. Measurement points may be inserted into the model. The...


8930856 
Mask rule checking based on curvature
Aspects of the invention relate to techniques for mask rule checking based on curvature information. The curvature information comprises convex curvature information and concave curvature...


8930174 
Modeling technique for resistive random access memory (RRAM) cells
Accurate simulation of twoterminal resistive random access memory (RRAM) behavior is accomplished by solving equations including state variables for filament length growth, filament width growth,...


8924909 
Microelectromechanical system design and layout
Methods for producing layout data for devices are described. One method includes using a genetic algorithm to determine a structure of a thermallyoperated actuator. Another method includes...


8914760 
Electrical hotspot detection, analysis and correction
Aspects of the invention relate to techniques for detecting and correcting electrical hotspots in a layout design for a circuit design comprising an analog circuit. Layout parameters for device...


8903687 
Dielectric absorption compensation for a measurement instrument
A method for compensating for a dielectric absorption effect in a measurement configuration during measurements by an instrument having measurement terminals includes providing a feedback loop in...


8903697 
Solutions for modeling spatially correlated variations in an integrated circuit
A computerimplemented method for modeling Spatially Correlated Variation (SCV) in a design of an Integrated Circuit (IC) is disclosed. In one embodiment, the method includes: generating a set of...


8903700 
Concretization of abstracted traces
An abstract trace may be defined based on a coverage goal. An execution of a System Under Test (SUT) is guided in accordance with the coverage goal. Nondeterministic decision, which correlates to...


8903686 
Partitioning electronic circuits for simulation on multicore processors
A circuit is simulated by using distributed computing to obtain a real solution. The circuit may be an entire integrated circuit, portion of an integrated circuit, or a circuit block. A circuit...


8903696 
System and method for controlling granularity of transaction recording in discrete event simulation
A method and system for controlling granularity of transaction recording and visualizing system performance and behavior in a discrete functional verification software simulation environment is...


8903698 
Generating behavioral models for analog circuits
A system for generating behavioral models for analog circuits may include a database that is configured to store a parameterized hardware description language model of an analog circuit and an...


8898618 
Interactive simplification of schematic diagram of integrated circuit design
The interactive grouping tool offers the flexibility to simplify the schematic diagram of an integrated circuit (IC) design by grouping circuit elements that are not specified to be of interest...


8898050 
Static IR (voltage) drop analyzing apparatus and associated method
A static voltage drop analyzing apparatus applied to a MultiThreshold Complementary MetalOxideSemiconductor (MTCMOS) transistor is provided. The static voltage drop analyzing apparatus includes...


8892416 
System and method of generating equationlevel diagnostic error messages for use in circuit simulation
A mechanism for providing equationlevel diagnostic error messages for system models undergoing circuit simulations is discussed. The components in a model of a system being simulated are converted...


8892415 
Modelbased systems and methods for monitoring resources
Modeling systems and methods for constructing one or more models of a computing system using collected data. Certain modelbased systems build topology models and/or model instances by transforming...


8886507 
Methods and systems for simulating circuit operation
A processor for use in simulating operation of a portion of an electrical circuit is provided. The processor is configured to receive at least one input indicative of electrical circuit data...


8886509 
Coherent state among multiple simulation models in an EDA simulation environment
A circuit design is simulated in a simulation environment. When a simulation model in the simulation environment transfers state information to a second simulation model, the simulation environment...


8886508 
Circuit simulation acceleration using model caching
A mechanism for improving speed of simulation of complex circuits that include transistors and other devices that share similar properties is provided. Circuit simulation speed is improved by...


8880386 
Method for circuit simulation
A computerimplemented method for simulating an electrical circuit. The method includes (a) setting a first temperature distribution in the electrical circuit, (b) performing an electrical...


8874941 
Apparatus and method for designing an architecturally homogeneous powerperformance heterogeneous multicore processor using simulated annealing optimization
For multicore power performance management, a first core has a first architecture and is designed for a first voltagefrequency domain. A second core has the first architecture and that is designed...


8868398 
Method for predicting arc flash energy and PPE category within a realtime monitoring system
A method for simulating an arc flash event on an electrical power system is disclosed. The virtual system model of the electrical system is modified to introduce a short circuiting feature. The...


8868396 
Verification and debugging using heterogeneous simulation models
A method and apparatus for verifying and debugging a circuit design module of a high level programming system is disclosed herein. A circuit design created in a high level programming environment...


8869158 
Job scheduling to balance energy consumption and schedule performance
An energyaware backfill scheduling method combines overestimation of job runtimes and processor adjustments, such as dynamic voltage and frequency scaling, to balance overall schedule performance...


8869081 
Automating integrated circuit device library generation in model based metrology
Various embodiments include computerimplemented methods, computer program products and systems for generating an integrated circuit (IC) library for use in a scatterometry analysis. In some cases,...


8868395 
Fast simulation method for integrated circuits with power management circuitry
In a fast simulation technique, the output node of a power supply module of the integrated circuit can be designated as an ideal power node. At this point, the power supply module can be designated...


8863057 
Method for selectively modeling narrowwidth stacked device performance
An approach for methodology enabling a verification of IC designs that compensates for degraded performance due to a physical placement, particularly a stacked physical placement is disclosed. A...


8862453 
Techniques for incorporating timing jitter and/or amplitude noise into hardware description languagebased input stimuli
Methods for generating waveforms with realistic transitions, controllable timing jitter, and controllable amplitude noise in a computerbased simulation environment are disclosed. A first method...


8862251 
Controller for machine tool and machiningrelated data processing system provided therewith
A machiningrelated data processing system has a configuration in which a controller for machine tool comprising an NC device and an assisting device is connected to a data processing device via a...


8855993 
Integrated circuit design simulation matrix interpolation
Methods and systems perform a simulation on an integrated circuit design by applying a first value to a first variable and a second value to a second variable of the simulation to produce a first...


8849630 
Techniques to predict threedimensional thermal distributions in realtime
Techniques for monitoring and predicting environmental operating conditions in a data center are provided. In one aspect, a method for realtime, threedimensional analysis of environmental...


8849644 
Parallel simulation using an ordered priority of event regions
In one embodiment, a plurality of kernels are provided. Each kernel may simulate a partition of a design under test. A plurality of event regions are provided. The regions may be in an ordered...


8849642 
Signal definitions or descriptions in graphical modeling environments
Methods, system and computer program products are disclosed for providing a graphical modeling environment in which a graphical model is generated and executed. In the graphical modeling...


8849643 
Tablelookupbased models for yield analysis acceleration
In one embodiment, the invention is a method and apparatus for tablelookupbased models for yield analysis acceleration. One embodiment of a method for statistically evaluating a design of an...


8850382 
Analysis apparatus and method to analyze a printed circuit board
An analysis apparatus for a printed circuit board. The analysis apparatus includes a processor that executes a process of rewriting physical property data of a wiring layer of a printed circuit...


8838430 
Detection of memory access violation in simulations
An apparatus and method for detecting memory access violations in simulations is disclosed herein. A detection tool is designed to automatically perform a violation check for each memory read or...


8839165 
Power/performance optimization through continuously variable temperaturebased voltage control
Methods determine temperature and voltage relationships for integrated circuit library elements to produce a continuous temperaturevoltage function. Some of the library elements can be used or...


8831925 
Indexing behaviors and recipes of a circuit design
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...


8832619 
Analytical model for predicting current mismatch in metal oxide semiconductor arrays
A system and method for designing integrated circuits and predicting current mismatch in a metal oxide semiconductor (MOS) array. A first subset of cells in the MOS array is selected and current...


8832611 
Process aware metrology
Systems and methods for process aware metrology are provided. One method includes selecting nominal values and one or more different values of process parameters for one or more process steps used...


8831926 
Verification of cyberphysical systems using optimization algorithms
A computerimplemented method for verifying a model in a product lifecycle management (PLM) system includes defining a model and an envelope of allowable model states and, based on one or more...


8832636 
Verification support computer product, apparatus, and method
A nontransitory, computerreadable recording medium stores therein a verification support program that causes a computer to execute identifying from a finite state machine model related to a...


8826217 
Modeling gate size range by using a penalty function in a numerical gate sizing framework
Systems and techniques are described for optimizing a circuit design by using a numerical solver. The gates sizes are optimized by modeling a set of gate optimization problems and solving the set...


8826208 
Computational thermal analysis during microchip design
Some embodiments include a method for identifying hightemperature regions in a microchip. In some embodiments, the method includes selecting grids on the microchip, wherein each grid includes...


8825464 
Method and apparatus for parallelization of sequential power simulation
One particular implementation takes the form of an apparatus or method for parallelizing a sequential power simulation of an integrated circuit device. The implementation may temporally divide the...


8826219 
Method and apparatus used for the physical validation of integrated circuits
Disclosed herein are methods and devices used for the physical design validation of integrated circuits. One method used for the physical design validation of integrated circuits includes comparing...


8818784 
Hardware description language (HDL) incorporating statistically derived data and related methods
A method of designing a circuit can include modeling one or more circuits in a hardware design language (HDL) (102) and confirming a basic behavior of such models (104). If a basic behavior has...


8818785 
Method and apparatus for simulating gate capacitance of a tucked transistor device
A method for simulating a tucked transistor device having a diffusion region defined in a semiconductor layer, a gate electrode adjacent a first side of the diffusion region, a floating gate...
