Questa OneSpin StaticFormal How to run and debug Questa Signoff CDC reset glitch analysis results within Visualizer GUI

2024-10-28T23:58:10.000-0400
Questa OneSpin StaticFormal

Summary

This video provides a basic overview of running and debugging Questa Signoff CDC reset glitch analysis results within Visualizer GUI


Details

0:15 Preference to turn on the reset glitch analysis.

0:29 Loading the database in Questa CDC GUI. 

0:42 "Glitch Checks" tab to check the analysis results. 

1:20 Double-click the violation to open the schematic view of the reset glitch. 

KB Article ID# KB000155321_EN_US

Contents

SummaryDetails

Associated Components

Questa CDC