Automated system for extracting and combining tool trace...
Automated test vector generation and verification
Automatic adjustment for counting instrumentation
Automatic ATAP test bench generator
Automatic behavioral model generation through physical component
Automatic check for cyclic operating conditions for SOI...
Automatic design of processor datapaths
Automatic generation of reduced-size circuit models...
Automatic time warp for electronic system simulation
Automatic, hierarchy-independent partitioning method for...
Back annotation apparatus for carrying out a simulation...
Balancing collections of vertices in a network
Batch editor for netlists described in a hardware...
Behavioral modeling of high speed differential signals based...
Behaviorial digital simulation using hybrid control and data...
Bidirectional wire I/O model and method for device simulation
Bit accurate hardware simulation in system level simulators
Bit accurate hardware simulation in system level simulators
Bitcell simulation device and methods
Block diagram modeling