| Patent No. | Patent Title: |
| 8073672 | Managing communication bandwidth in co-verification of circuit de... |
| 8065118 | Method for anatomically aware automatic faceplate placement for h... |
| 8060349 | Method of designing a static synchronous compensator based on pas... |
| 8036873 | Efficient clock models and their use in simulation |
| 8036862 | Creation of a linear or planar shape |
| 8032349 | Efficient methodology for the accurate generation of customized c... |
| 8019585 | Systems and methods for critical node filtering of integrated cir... |
| 7991594 | Method and apparatus for the rigid registration of 3D ear impress... |
| 7856347 | Facilitating simulation of a model within a distributed environme... |
| 7813902 | Dormer calculator |
| 7788071 | Physics simulation apparatus and method |
| 7783466 | IC chip parameter modeling |
| 7778810 | Method for simulating fluid flows within a medium discretized by ... |
| 7765091 | Method, apparatus and system for reservoir simulation using a mul... |
| 7756691 | Establishing relationships between components in simulation syste... |
| 7743350 | Verifying one or more properties of a design using SAT-based BMC |
| 7742907 | Iterative abstraction using SAT-based BMC with proof analysis |
| 7742903 | Variants in graphical modeling environments |
| 7720657 | Design and execution of a target system that includes a component... |
| 7711526 | Simulator and parameter extraction device for transistor, simulat... |
| 7698111 | Method and apparatus for computational analysis |
| 7684969 | Forming statistical model of independently variable parameters fo... |
| 7680635 | Configuration system and method |
| 7623993 | Method and system to perform energy-extraction based active noise... |
| 7617087 | Memory management method for dynamic conversion type emulator |
| 7606692 | Gate-level netlist reduction for simulating target modules of a d... |
| 7603259 | Method and apparatus for quantifying an impact of a disaster on a... |
| 7590515 | Method and apparatus for treating moving boundaries in multi-cell... |
| 7590518 | Circuit analysis utilizing rank revealing factorization |
| 7580817 | Method and system for predicting solar energy production |
| 7571090 | Emulating a host architecture in guest firmware |
| 7558710 | System and method for programmatically abstracting model componen... |
| 7558712 | System and method for programmatically abstracting model componen... |
| 7548841 | Method for logic checking to check operation of circuit to be con... |
| 7529649 | System and method for knowledge based interior development |
| 7526420 | Method and system for virtual injection of network application co... |
| 7505891 | Multi-user server system and method |
| 7490030 | Power modelling of a circuit |
| 7487075 | System and method to simulate a plurality of networked programmab... |
| 7480609 | Applying distributed simulation techniques to hardware emulation |
Bizarre Patents 
PatentStorm News
