 |
Benefits:
- Minimize design susceptibility to X- issues that mask functional bugs at RTL and cause unnecessary X’s in gate simulations
- Identify all X-sources in the design and determine whether X-sensitive constructs cause issues.
- Easy to use, fast, and X-accurate results
Features:
- Comprehensive Design Audit Report provides:
- Identification and classification of X-Sources
- Comprehensive reporting of all X-Optimistic and X-Pessimistic constructs in the path of an X-Source
- SimPortal Verification Feature automatically generates:
- An x-accurate model for simulation free of unnecessary X issues.
- Assertion-based monitors that identify when and where Opti-mism occurs and which input caused it.
- Smart checkers that ensure assumptions made in the analysis hold during simulation.
- A Graphical Debugger built around SpringSoft’s VerdiTM Automated Debug System, shows the path from the sensitive con-struct to an X-Source, facilitates waivers of X-Sources and X-sensitive nets, and provides links for source code navigation.
- Easily integrates with Real Intent’s tools and plugs straight into standard EDA flows.
Ascent XV Data Sheet:
 English  Japanese
|
