Questa One Sim Xact
Formal-based X-pessimism removal solution
Questa One Sim Xact innovative formal analysis and flow automation stream-lines GLS bring-up, leading to better and more complete sign-off verification. Sim Xact enables much quicker gate-level simulation bring-up by automatically eliminating pesky false Xs (X-pessimism and glitch), zero-delay race conditions, and library modeling errors, while isolating hard to diagnose connectivity problems. Plus, it supports advanced real X root cause tracing tools.
SimXACT – Gate-level simulation
SimXACT’s patented technology can effectively analyze a simulation using combinatorial analysis to determine if X values at D-inputs of DFFs or ICGs are false due to X-pessimism or real. SimXACT automatically eliminates the false Xs by generating a set of HDL forces/releases, which allow the gate-level simulation to produce the correct results, free of X-pessimism. The forces are applied on the fly during simulation to yield a one-pass solution.
Additional Benefits
- Streamlines GLS bring-up
- Eliminates false Xs automatically
- Finds and corrects any X-pessimism found on a path
- Generates FF corruption reports to quickly root cause X issues