SimXACT

SimXACT’s innovative formal analysis and flow automation streamlines gate-level simulation (GLS) bring-up, leading to better and more complete sign-off verification. SimXACT automatically eliminates 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