00

PPIGen

Tool ☆ WATCH ⎘ SHARE

First seen 6/16/2026

Last seen 6/16/2026

Evidence 4 chunks

01

NEIGHBORHOOD

7 nodes · 12 edges

graph · PPIGen · depth=1

02

RELATIONSHIPS

7 connections

SGen compares with → 100% 2e evidence

SGen is compared to PPIGen in terms of failure detection during exerciser runs.

Micro-processor verification using a C++11 sequence-based stimulus engine ← mentions 100% 2e evidence

The paper mentions PPIGen as a prior random generator used at Cavium.

random stimulus generation implements → 100% 1e evidence

PPIGen supports a random mode for generating test programs.

Directed Test Generation implements → 100% 1e evidence

PPIGen supports a directed mode for generating test programs.

Cavium ← uses 100% 1e evidence

Cavium has been using PPIGen for several product generations.

knob-based instruction generation implements → 100% 1e evidence

PPIGen is a knob-based instruction generator.

SGen ← depends on 100% 1e evidence

SGen produces assembly and config files that are fed through PPIGen's directed flow.