 |
Benefits:
- False Path Verification using formal methods
- Multi-cycle path verification using formal methods
- Design Constraints Checks
Features:
- High Performance Command Level Verification
- Accurate Path Level Exception Verification
- High performance industry proven underlying formal verification engines
- Combinational and Sequential
- Glitch-Aware
- Exhaustive exception reporting both at exception level and exception’s path level
- Fast & strong debug capability
Data Sheets:
 English  Japanese
|
