Questa One Sim Xact
Questa One Sim Xact is an innovative formal analysis and flow automation that streamlines GLS bring-up, leading to better and more complete sign-off verification.
Why use Questa One Sim Xact?
Questa One Sim Xact enables much quicker gate-level simulation bring-up by automatically eliminating pesky false Xs, 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.
Eliminates X-pessimism in GLS
Formal-enhanced logic simulation dynamically performs X-pessimism analysis, analyzes X propagation in datapaths and gated clock logic and repairs on the fly.
Eliminates race conditions in zero-delay GLS
Zero-delay GLS may demonstrate race conditions, especially in designs with gated clocking and delay lines. The "pseudo-SDF" generator efficiently solves race condition issues without the need to modify cell libraries.
Uncovers forcing and connectivity issues in GLS
Force/release propagation analysis confirms when forces have been optimized away and no longer drive any fanout logic. Connectivity analysis finds modules with undriven inputs that are creating X sources.
Formal-based X-pessimism removal solution
Questa One Sim Xact delivers an enhanced methodology for bringing up gate-level simulation quickly and easily. Its patented technology can effectively analyze a simulation using combinatorial analysis to determine if X values at D-inputs of a flip-flop are false due to X-pessimism or real. It automatically eliminates the false X's which allow the gate-level simulation to produce the correct results.
Related products
Deepen your knowledge of Questa One Sim
Support Center
Siemens EDA offers world-class customer support for Questa One Sim and all of our products.
Verification Academy
Verification Academy provides the skills necessary to mature an organization's functional verification process capabilities, providing a methodological bridge between high-level value propositions and low-level details.
Verification Horizons blog
To assist with the understanding of advanced functional verification technologies and how to apply them most effectively, visit our blog for insight and updates on concepts, values, standards, methodologies and examples.