Method of evaluating test cases in a simulation environment...
Method of transactional simulation of a generic...
Method, system and program product for defining and...
Model checking of hierarchical state machines
Modeling delay using a discrete event execution modeling...
Multi-stage production
Multithreaded, mixed hardware description languages logic...
Naming and managing simulation model events
Non-intrusive event capturing for event processing analysis
Protocol checking for concurrent systems
Quantitative risk assessment system (QRAS)
Race condition ordering and functional verification system...
Scheduling non-integral simulation time for mixed-signal...
Simulation of data processing apparatus
Simulation system and method
Simulation with convergence-detection skip-ahead
Simulation, measurement and/or control system and method...
Simulator and computer-readable recordable medium having...
Static scheduling of test cases
Synchronized simulation of software and hardware in the...