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
Sensor network modeling and deployment
Sensor network modeling and deployment
Sequential function chart validation tool
Sequential logic in simulation instrumentation of an...
Sequential machine for solving boolean satisfiability (SAT)...
Sequential tester for longest prefix search engines
Server recording and client playback of computer network...