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
|
|