'- Comprehensive sign-off for nanometer designs
- Hyperscaling significantly improves runtimes and productivity gains
- Model-based verification enables comprehensive failure analysis in a single robust environment
- Tcl Verification Format (TVF) rule file support