| Patent No. | Patent Title: |
| 7444277 | Facilitating simulation of a model within a distributed environme... |
| 7444274 | Method and system for verifying circuit designs through propagati... |
| 7424416 | Interfacing hardware emulation to distributed simulation environm... |
| 7424418 | Method for simulation with optimized kernels and debugging with u... |
| 7392164 | Computer program product and a carrier for supporting a user desi... |
| 7389208 | System and method for dynamic knowledge construction |
| 7386427 | Method for correcting the effects of interdetector band broadenin... |
| 7376542 | System, method and computer program product for modeling a force ... |
| 7376543 | Simulation method and system for design of aperture in exposure a... |
| 7363208 | Power consumption estimation |
| 7359846 | Modeling an ASIC based on static pipeline delays |
| 7337097 | Dynamic modeling technique for the deployment of large satellite ... |
| 7328140 | Method for designing passenger air bag door for invisible airbag |
| 7324930 | Method and apparatus for performing OPC using model curvature |
| 7308394 | Method for modeling and testing a security system |
| 7308387 | Method and system for numerically simulating foam-like material i... |
| 7308393 | Hardware and software co-simulation using estimated adjustable ti... |
| 7302369 | Traffic and geometry modeling with sensor networks |
| 7277839 | Method for numerically simulating an electrical circuit |
| 7266486 | Magnetoresistive random access memory simulation |
| 7263470 | Digital gaussian noise simulator |
| 7257524 | Simulation and timing control for hardware accelerated simulation |
| 7249009 | Method and apparatus for simulating PVT parameters |
| 7231334 | Coupler interface for facilitating distributed simulation of a pa... |
| 7177785 | Systems and methods for improved aircraft performance predictions |
| 7158925 | Facilitating simulation of a model within a distributed environme... |
| 7155378 | Method for providing cycle-by-cycle ad HOC verification in a hard... |
| 7143025 | Web simulator |
| 7133816 | Test quality through resource reallocation |
| 7130785 | System and method for detecting accesses to non-existing hardware... |
| 7130781 | One-dimensional modeling of the manufacture of multi-layered mate... |
| 7124071 | Partitioning a model into a plurality of independent partitions t... |
| 7099811 | Method of determining by numerical simulation the restoration con... |
| 7082389 | Method and apparatus for simulating a magnetoresistive random acc... |