Model Based Test Generation for Processor Verification

Paper

“Model Based Test Generation for Processor Verification” is a 1994 paper by Y. Lichtenstein, Y. Malka, and A. Aharon. The available evidence identifies it as appearing in the Sixth Annual Conference on Innovative Applications of Artificial Intelligence, pages 83–94, and as a cited reference in a 2006 AAAI paper on constraint-based random stimuli generation for hardware verification.

First seen 5/26/2026

Last seen 5/26/2026

Evidence 2 chunks

Wiki v1

WIKI

Overview

Model Based Test Generation for Processor Verification is a paper referenced in the AAAI 2006 paper Constraint-Based Random Stimuli Generation for Hardware .... The cited bibliographic entry lists the work as authored by Y. Lichtenstein, Y. Malka, and A. Aharon, published in 1994.

Bibliographic record

READ FULL ARTICLE →

NEIGHBORHOOD

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

explore full graph →

RELATIONSHIPS

1 connections

Model-based Stimuli Generation mentions → 100% 2e

The paper introduces model-based test generation for processor verification.

LINKED ENTITIES

1 links

Constraint-based Random Stimuli Generation for Hardware Verification cited_by The provided AAAI 2006 PDF titled as a constraint-based random stimuli generation paper includes the 1994 paper in its references.

CITATIONS

6 sources

6 citations — click to expand

[1] The paper is titled “Model based test generation for processor verification.” [PDF] Constraint-Based Random Stimuli Generation for Hardware ... - AAAI

[2] The paper was authored by Y. Lichtenstein, Y. Malka, and A. Aharon. [PDF] Constraint-Based Random Stimuli Generation for Hardware ... - AAAI

[3] The paper was published in 1994. [PDF] Constraint-Based Random Stimuli Generation for Hardware ... - AAAI

[4] The paper appeared in the Sixth Annual Conference on Innovative Applications of Artificial Intelligence, pages 83–94. [PDF] Constraint-Based Random Stimuli Generation for Hardware ... - AAAI

[5] The 1994 paper is listed as a reference in the provided AAAI 2006 paper on constraint-based random stimuli generation for hardware verification. [PDF] Constraint-Based Random Stimuli Generation for Hardware ... - AAAI

[6] The citing AAAI 2006 paper summarizes IBM random stimuli generation for hardware verification as a complex application relying on AI techniques and notes ongoing exploration of CSP and knowledge representation techniques. [PDF] Constraint-Based Random Stimuli Generation for Hardware ... - AAAI