Skip to content
STIMSMITH

Model-Based Test Generation For Processor Design Verification

Paper
First seen 7/8/2026
Last seen 7/8/2026
Evidence 1 chunks

NEIGHBORHOOD

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

explore full graph →

RELATIONSHIPS

4 connections
Y. Lichtenstein authored by → 99% 1e
Y. Lichtenstein is listed as an author of the Model-Based Test Generation paper.
Y. Malka authored by → 99% 1e
Y. Malka is listed as an author of the Model-Based Test Generation paper.
A. Aharon authored by → 99% 1e
A. Aharon is listed as an author of the Model-Based Test Generation paper.
Model-Based Test Generation introduces → 95% 1e
The paper introduces model-based test generation for processor design verification.