PowerPC test program generator

Tool

A test program generator developed by IBM for the functional verification of PowerPC processors. It combines a formal model of the PowerPC architecture with a heuristic database of testing expertise, and was used daily for two years across roughly a hundred designers and verification engineers at four IBM sites.

First seen 6/27/2026

Last seen 6/27/2026

Evidence 1 chunks

Wiki v1

WIKI

PowerPC test program generator

The PowerPC test program generator is a methodology and automated tool built by IBM to support the functional verification of PowerPC processors. It was applied to six IBM PowerPC processors, with three of them (the first three verified at the time of reporting) achieving fully functional first silicon.

Architecture and components

READ FULL ARTICLE →

NEIGHBORHOOD

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

explore full graph →

RELATIONSHIPS

3 connections

Formal model of PowerPC architecture ← part of 96% 1e

Indicates that the generator incorporates the formal model as a component.

Heuristic database of testing expertise ← part of 95% 1e

States that the generator contains a database encoding testing expertise.

PowerPC targets ISA → 84% 1e

The generator is applied to verify processors implementing the PowerPC architecture, indicating it targets the PowerPC ISA.

LINKED ENTITIES

3 links

Formal model of PowerPC architecture PART_OF Extracted graph relationship

Heuristic database of testing expertise PART_OF Extracted graph relationship

PowerPC TARGETS_ISA Extracted graph relationship

CITATIONS

4 sources

4 citations — click to collapse

[1] The generator contains a formal model of the PowerPC architecture and a heuristic database of testing expertise. Test program generation for functional verification of PowerPC processors in IBM

[2] The generator has been used on a daily basis for two years by about a hundred designers and testing engineers in four IBM sites. Test program generation for functional verification of PowerPC processors in IBM

[3] The new methodology reduced the functional verification period and time to market of PowerPC processors. Test program generation for functional verification of PowerPC processors in IBM

[4] Despite the complexity of the PowerPC architecture, the three processors verified so far had fully functional first silicon. Test program generation for functional verification of PowerPC processors in IBM