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...