IBM

Organization

In 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 7/16/2026

Evidence 13 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

READ FULL ARTICLE →

NEIGHBORHOOD

No graph connections found for this entity yet. It may appear in future ingestion runs.

explore full graph →

RELATIONSHIPS

8 connections

Genesys-Pro ← authored by 95% 4e

Genesys-Pro is an IBM tool for functional processor verification.

Addressing Verification Challenges of Heterogeneous Systems Based on IBM Power9 ← published by 95% 2e

The IBM Power9 verification paper is published by IBM researchers.

Fast Construction of Test-Program Generators for Digital Signal Processors ← published by 75% 1e

The paper is associated with IBM as it describes work done with the IBM C54X DSP and uses IBM's Genesys tool.

Genesys-Pro uses → 98% 1e

Genesys-Pro is used by IBM for functional verification of its processors.

Cost evaluation of coverage directed test generation for the IBM mainframe ← mentions 100% 1e

The paper specifically evaluates coverage directed test generation for the IBM mainframe.

Genesys-Pro: Innovations in Test Program Generation for Functional Processor Verification ← published by 75% 1e

The Genesys-Pro paper is published by IBM researchers.

Test Program Generation for Functional Verification of PowerPC Processors in IBM ← published by 90% 1e

The paper is from IBM, as indicated in its title and context.

IBM C54X DSP ← part of 95% 1e

The IBM C54X DSP is a product of IBM.

LINKED ENTITIES

1 links

Genesys-Pro USES Extracted graph relationship

CITATIONS

5 sources

5 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)