Skip to content
STIMSMITH

Genesys-x86

Tool
First seen 6/19/2026
Last seen 6/19/2026
Evidence 4 chunks

NEIGHBORHOOD

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

explore full graph →

RELATIONSHIPS

6 connections
Functional Verification Methodology for Microprocessors Using the Genesys Test-Program Generator ← uses 97% 2e
The paper reports a case study using Genesys-x86 for x86 microprocessor verification.
escape bugs evaluates → 90% 2e
Genesys-x86 was used to evaluate and discover escape bugs not found by commercial test suites.
Pentium FDIV Bug evaluates → 90% 2e
Genesys-x86 with bit sequence pattern TK can uncover the Pentium FDIV bug.
Pentium FIST Bug evaluates → 90% 2e
Genesys-x86 with bit sequence pattern TK can uncover the Pentium FIST bug.
Bit Sequence Pattern Testing uses → 93% 2e
Genesys-x86 uses bit sequence pattern testing knowledge to detect floating point bugs.
Genesys derived from → 100% 1e
Genesys-x86 is a Genesys-based pseudo-random test generator for the x86 architecture.