Skip to main content

Genesys-Pro Test Program Generator

Processor Verification Technologies

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