Gate Simulation Productivity and Analysis Technology

SimXACT - Avery Design Systems

Gate-Level X-Verification
*Addressing X-pessimism in GLS is a must.
*Detect simulation glitches.
*Effectively root cause the source of real X's
*Eliminate race conditions in 0-delay GLS.
*Uncover testbench forcing and connectivity issues in GLS.
*Complements other simulator-based X prop tools.