X-Gen: A Random Test-Case Generator for Systems and SoCs

Paper

A 2002 HLDVT paper by Emek and colleagues describing X-Gen, IBM's system-level random stimuli generator for hardware verification. Available evidence identifies X-Gen as a knowledge-based generator using the same CSP solver as Genesys PE, with a domain-specific modeling language for components, system transactions, and configurations.

First seen 5/26/2026

Last seen 5/26/2026

Evidence 2 chunks

Wiki v1

WIKI

Overview

X-Gen: A Random Test-Case Generator for Systems and SoCs is a 2002 paper by R. Emek, I. Jaeger, Y. Naveh, G. Bergman, G. Aloni, Y. Katz, M. Farkash, I. Dozoretz, and A. Goldin. It appeared in the Seventh IEEE International High-Level Design Validation and Test Workshop (HLDVT-02), on pages 145–150.

The paper is cited as the publication associated with X-Gen, a project initiated in 2000 to apply random stimuli generation technology to system-level stimuli generation for hardware verification.

READ FULL ARTICLE →

NEIGHBORHOOD

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

explore full graph →

RELATIONSHIPS

1 connections

X-Gen introduces → 100% 1e

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

CITATIONS

6 sources

6 citations — click to expand

[1] The paper was authored by R. Emek, I. Jaeger, Y. Naveh, G. Bergman, G. Aloni, Y. Katz, M. Farkash, I. Dozoretz, and A. Goldin, published in 2002, and appeared in HLDVT-02 on pages 145–150. [PDF] Constraint-Based Random Stimuli Generation for Hardware ... - AAAI

[2] X-Gen was initiated in 2000 with the goal of applying the technology to system-level stimuli generation. Constraint-Based Random Stimuli Generation for Hardware Verification

[3] X-Gen used a knowledge-based architecture similar to Genesys PE and used the same CSP solver. Constraint-Based Random Stimuli Generation for Hardware Verification

[4] X-Gen's modeling language treated components, system transactions, and configurations as first-class members. Constraint-Based Random Stimuli Generation for Hardware Verification

[5] A 2002 comparison with a legacy non-knowledge-based system stimuli generator found that X-Gen achieved higher coverage metrics in one-fifth of the simulation time and one-tenth of the test templates. Constraint-Based Random Stimuli Generation for Hardware Verification

[6] After the 2002 evaluation, X-Gen became the primary stimuli generator for IBM high-end systems and was used in verification of most high-end system designs, including p-Series server and Cell-processor-based systems. Constraint-Based Random Stimuli Generation for Hardware Verification