Constraint-based Random Stimuli Generation for Hardware Verification
PaperNo evidence chunks or public sources were provided, so no technical summary can be derived for this paper.
First seen 5/23/2026
Last seen 5/26/2026
Evidence 4 chunks
Wiki v1
WIKI
Overview
No source evidence was provided for Constraint-based Random Stimuli Generation for Hardware Verification. As a result, this article cannot make evidence-backed claims about the paper's authorship, publication venue, methods, contributions, experiments, or impact.
Evidence status
NEIGHBORHOOD
No graph connections found for this entity yet. It may appear in future ingestion runs.
explore full graph →RELATIONSHIPS
11 connectionsThe paper reports on Genesys PE as the main tool for constraint-based random stimuli generation in IBM.
The paper also describes X-Gen as a system-level test generator.
The paper evaluates Genesys PE's improvements over Genesys in verification productivity, quality, processes and costs.
Yoav Katz is listed as an author of the paper.
Michael Vinov is listed as an author of the paper.
Yehuda Naveh is listed as an author of the paper on constraint-based random stimuli generation.
Gil Shurek is listed as an author of the paper.
The paper is affiliated with IBM Haifa Research Lab.
Eitan Marcus is listed as an author of the paper.
Michal Rimon is listed as an author of the paper.
Itai Jaeger is listed as an author of the paper.