Produced in
partnership with:
Brought
to you by:
Testapedia Products

X-Verification


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