Product Name
X-Verification
Description
Features include:
* Run gate-level simulations of X pessimism issues
* Automatically generate force/deposits for data and gated clocks
* Diagnose occurrences of X optimism in RTL simulations warning of potential non-deterministic sequential behaviors
* Perform sequential X propagation forward and backward tracing to enhance debug
* Accurately analyze and report X states during hardware reset and power transition sequences
* Generate list of non-resettable registers for safe deposit at time zero
* Utilize plug’n’play setup
* Analysis scales to designs of 100Ms gates
Company Associations
Glossary Associations
Taxonomy Associations
|
|
