Resource model training

Restoring base configuration on software testing computer

Retargetable computer design system

Reuse of hardware components

Run-time switching for simulation with dynamic run-time...

Running a virtual machine directly from a physical machine...

Runtime parameter mapping for system simulation

Satisfiability (SAT) based bounded model checkers

Scalable system for simulation and emulation of electronic...

Scatterometry multi-structure shape definition with...

Scheduling non-integral simulation time for mixed-signal...

Scheme for improving the simulation accuracy of integrated...

Security monitor of system runs software simulator in parallel

Selecting design points on parameter functions having first...

Selection of initial states for formal verification

Selectively reducing the number of cell evaluations in a...

Self-checking simulations using dynamic data loading

Self-configuring store-and-forward computer network

Semiconductor device characteristic simulation apparatus and...

Semiconductor integrated circuit verification system