| |
 |
|
Class Information
Number: 703/16
Name: Data processing: structural design, modeling, simulation, and emulation > Simulating electronic device or electrical system > Circuit simulation > Including logic > Event-driven
Description: Subject matter wherein the process of simulating a logic circuit is driven by a predicated circumstance or occurrence.
Patents under this class:
| Patent Number |
Title Of Patent |
Date Issued |
| 7613599 |
Method and system for virtual prototyping |
Nov. 3, 2009 |
| 7610108 |
Method and apparatus for attenuating error in dynamic and steady-state processes for prediction, control, and optimization |
Oct. 27, 2009 |
| 7606165 |
What-if analysis for network diagnostics |
Oct. 20, 2009 |
| 7594210 |
Timing variation characterization |
Sep. 22, 2009 |
| 7584444 |
System and method for external-memory graph search utilizing edge partitioning |
Sep. 1, 2009 |
| 7581199 |
Use of state nodes for efficient simulation of large digital circuits at the transistor level |
Aug. 25, 2009 |
| 7571398 |
Method for the determination of the quality of a set of properties, usable for the verification and specification of circuits |
Aug. 4, 2009 |
| 7571088 |
Simulation of connected devices |
Aug. 4, 2009 |
| 7567893 |
Clock simulation system and method |
Jul. 28, 2009 |
| 7561999 |
Verification apparatus, verification method, and program |
Jul. 14, 2009 |
| 7555417 |
Selectively reducing the number of cell evaluations in a hardware simulation |
Jun. 30, 2009 |
| 7555689 |
Generating responses to patterns stimulating an electronic circuit with timing exception paths |
Jun. 30, 2009 |
| 7552409 |
Engineering change order process optimization |
Jun. 23, 2009 |
| 7552043 |
Method, system and program product for selectively removing instrumentation logic from a simulation model |
Jun. 23, 2009 |
| 7549136 |
System and method for approximating intrinsic capacitance of an IC block |
Jun. 16, 2009 |
| 7539961 |
Library-based solver for modeling an integrated circuit |
May. 26, 2009 |
| 7535250 |
Output impedance calibration circuit with multiple output driver models |
May. 19, 2009 |
| 7536287 |
System and method of interactive situation simulation |
May. 19, 2009 |
| 7529655 |
Program product for defining and recording minimum and maximum event counts of a simulation utilizing a high level language |
May. 5, 2009 |
| 7526745 |
Method for specification and integration of reusable IP constraints |
Apr. 28, 2009 |
| 7526741 |
Microfluidic design automation method and system |
Apr. 28, 2009 |
| 7523384 |
Method and device for monitoring and fault detection in industrial processes |
Apr. 21, 2009 |
| 7519524 |
Program product for providing a configuration specification language supporting incompletely specified configuration entities |
Apr. 14, 2009 |
| 7512531 |
Method and apparatus for specifying reactive systems |
Mar. 31, 2009 |
| 7512911 |
Method for creating a parameterized cell library dual-layered rule system for rapid technology migration |
Mar. 31, 2009 |
| 7509599 |
Method and apparatus for performing formal verification using data-flow graphs |
Mar. 24, 2009 |
| 7506284 |
Event driven switch level simulation method and simulator |
Mar. 17, 2009 |
| 7506286 |
Method and system for debugging an electronic system |
Mar. 17, 2009 |
| 7502728 |
Code coverage testing in hardware emulation |
Mar. 10, 2009 |
| 7500210 |
Chip area optimization for multithreaded designs |
Mar. 3, 2009 |
| 7493580 |
Critical path estimating program, estimating apparatus, estimating method, and integrated circuit designing program |
Feb. 17, 2009 |
| 7487484 |
Method, system and storage medium for determining circuit placement |
Feb. 3, 2009 |
| 7487477 |
Parametric-based semiconductor design |
Feb. 3, 2009 |
| 7487480 |
Method for estimating aggregate leakage of transistors |
Feb. 3, 2009 |
| 7483825 |
Method for the creation of a hybrid cycle simulation model |
Jan. 27, 2009 |
| 7484195 |
Method to improve time domain sensitivity analysis performance |
Jan. 27, 2009 |
| 7480608 |
Method and system for reducing storage requirements of simulation data via KEYWORD restrictions |
Jan. 20, 2009 |
| 7480609 |
Applying distributed simulation techniques to hardware emulation |
Jan. 20, 2009 |
| 7480879 |
Substrate noise tool |
Jan. 20, 2009 |
| 7480882 |
Measuring and predicting VLSI chip reliability and failure |
Jan. 20, 2009 |
| 7478352 |
Method for creating box level groupings of components and connections in a dynamic layout system |
Jan. 13, 2009 |
| 7478028 |
Method for automatically searching for functional defects in a description of a circuit |
Jan. 13, 2009 |
| 7478027 |
Systems, methods, and media for simulation of integrated hardware and software designs |
Jan. 13, 2009 |
| 7472054 |
Method and system for deterministic control of an emulation |
Dec. 30, 2008 |
| 7472055 |
Method and system for deterministic control of an emulation |
Dec. 30, 2008 |
| 7467365 |
Sanity checker for integrated circuits |
Dec. 16, 2008 |
| 7464018 |
Stalling CPU pipeline to prevent corruption in trace while maintaining coherency with asynchronous events |
Dec. 9, 2008 |
| 7454727 |
Method and Apparatus for Solving Sequential Constraints |
Nov. 18, 2008 |
| 7454325 |
Method, system and program product for defining and recording threshold-qualified count events of a simulation by testcases |
Nov. 18, 2008 |
| 7451426 |
Application specific configurable logic IP |
Nov. 11, 2008 |
|
|
|
