Key Benefits
- Novel cost-saving paradigm driven by an innovative processor-oriented language to define verification scenarios
- Built-in testing knowledge to reach interesting bug-prone events
- Customizable to all variants of Power architecture and other architectures
- Employs best-in-class constraint satisfaction engine
- Leverages two decades of experience in test generation and verification
- Supports both multi-processing and multi-threading