Technical context

IBM is cited in processor-verification literature as the organization that develops and operates the Genesys and Genesys-Pro test-generation tool families. The evidence describes IBM's Genesys as an example of a system where tests can be automatically generated from a model specification, and Genesys-Pro as a template-based system that targets desired deep processor states.

Genesys-Pro as IBM's primary functional verification test generator

According to IBM Research, Genesys-Pro is currently the main test generation tool for functional verification of IBM processors, including several complex processor designs. Key properties reported in the source:

• It is a template-based system, requiring testing knowledge expressed via test templates in order to use its full power.
• It requires a high level of expertise to model architectures and to supply the testing knowledge that drives template selection and instantiation.
• The tool introduces a new modeling language that considerably reduces the effort needed to define and maintain knowledge specific to a given implementation and verification plan.

Relevance to randomized CPU testing

The cited TestRIG paper discusses IBM's work while comparing approaches for generating instruction sequences and reaching architectural states during CPU verification. In that context:

• Genesys is mentioned as an example of automatic test generation from a model specification.
• Genesys-Pro is described as being built on templates for solving toward desired deep states.

These references position IBM's Genesys-family tools as relevant prior work for constrained or model-guided test generation in hardware and ISA verification workflows.