X-Gen

Tool

X-Gen is a knowledge-based system-level stimuli generation tool initiated in 2000 after IBM’s processor-verification work. It uses the same CSP solver as Genesys PE, adds a domain-specific modeling language for components, system transactions, and configurations, and became the primary stimuli generator for IBM high-end systems after a 2002 comparison against a legacy generator.

First seen 5/26/2026

Last seen 5/26/2026

Evidence 3 chunks

Wiki v1

WIKI

Overview

X-Gen is a random test-case and system-level stimuli generation tool associated with IBM hardware verification work. It was initiated in 2000 to apply previously successful processor-verification technology at the system level. A 2002 reference describes it as “X-Gen: A random test-case generator for systems and socs.”

Architecture and modeling

READ FULL ARTICLE →

NEIGHBORHOOD

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

explore full graph →

RELATIONSHIPS

6 connections

Constraint-based Random Stimuli Generation for Hardware Verification ← introduces 85% 2e

The paper also describes X-Gen as a system-level test generator.

Genesys PE ← compares with 85% 2e

X-Gen shows usage and payoff schemes resembling Genesys PE at a similar stage of development.

System-level Stimuli Generation implements → 100% 1e

X-Gen was designed specifically for system-level stimuli generation.

Knowledge Base uses → 100% 1e

X-Gen was designed with a similar knowledge-based architecture as Genesys PE.

Constraint Satisfaction Problem uses → 100% 1e

X-Gen uses the same CSP solver as Genesys PE.

X-Gen: A Random Test-Case Generator for Systems and SoCs ← introduces 100% 1e

The paper introduces the X-Gen random test-case generator for systems and SoCs.

LINKED ENTITIES

1 links

CITATIONS

7 sources

7 citations — click to expand

[1] X-Gen was initiated in 2000 to apply processor-verification technology to system-level stimuli generation. [PDF] Constraint-Based Random Stimuli Generation for Hardware ... - AAAI

[2] X-Gen was designed with a knowledge-based architecture similar to Genesys PE and uses the same CSP solver. [PDF] Constraint-Based Random Stimuli Generation for Hardware ... - AAAI

[3] X-Gen's modeling language treats components, system transactions, and configurations as first-class members. [PDF] Constraint-Based Random Stimuli Generation for Hardware ... - AAAI

[4] A 2002 parallel test against a legacy systems stimuli generator found that X-Gen achieved higher coverage metrics in one-fifth of the simulation time and one-tenth of the test templates. [PDF] Constraint-Based Random Stimuli Generation for Hardware ... - AAAI

[5] The 2002 evaluation positioned X-Gen as the primary stimuli generator for IBM high-end systems, and since 2002 it has been used in verification of most high-end system designs including p-Series server and Cell-processor-based systems. [PDF] Constraint-Based Random Stimuli Generation for Hardware ... - AAAI

[6] The publication reference describes X-Gen as a random test-case generator for systems and SoCs presented at HLDVT-02. [PDF] Constraint-Based Random Stimuli Generation for Hardware ... - AAAI

[7] The broader test-generation application architecture partitions the tool into a generic generation engine and a knowledge base to support reuse, and uses staged delivery with periodic source synchronization. [PDF] Constraint-Based Random Stimuli Generation for Hardware ... - AAAI