IBM
OrganizationIn the provided evidence, IBM is the organization that developed and uses Genesys-Pro as its main test generation tool for functional verification of its processors. Genesys-Pro is a template-based system that reduces the effort required to define and maintain architecture- and verification-specific knowledge, and is applied to several complex IBM processor designs.
First seen 5/30/2026
Last seen 6/9/2026
Evidence 5 chunks
Wiki v2
WIKI
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
NEIGHBORHOOD
2 nodes · 2 edgesgraph · IBM · depth=1
RELATIONSHIPS
2 connectionsGenesys-Pro is IBM's test generation tool based on templates.
Genesys-Pro is used by IBM for functional verification of its processors.
LINKED ENTITIES
1 linksCITATIONS
5 sources5 citations — click to expand
[1] Genesys-Pro is currently the main test generation tool for functional verification of IBM processors, including several complex processors. Genesys-Pro: Innovations in test program generation for functional processor verification - IBM Research
[2] Genesys-Pro requires a high level of expertise to model architectures and testing knowledge to use the full power of test templates. Genesys-Pro: Innovations in test program generation for functional processor verification - IBM Research
[3] Genesys-Pro's new modeling language considerably reduces the effort needed to define and maintain knowledge specific to an implementation and verification plan. Genesys-Pro: Innovations in test program generation for functional processor verification - IBM Research
[4] IBM's Genesys is referenced as an example of automatic test generation from a model specification in the context of randomized CPU testing comparisons. TestRIG paper (internal evidence)
[5] IBM's Genesys-Pro is described as a template-based system used to intelligently solve for desired deep processor states. TestRIG paper (internal evidence)