Skip to content
STIMSMITH

functional test program generation

Technique
First seen 8/1/2026
Last seen 8/1/2026
Evidence 4 chunks

NEIGHBORHOOD

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

explore full graph →

RELATIONSHIPS

5 connections
Model Checking uses → 100% 2e
The functional test program generation approach uses model checking to generate test programs
Counterexample Generation uses → 100% 2e
Test programs are generated as counterexamples from the model checker
Architecture Description Language driven Functional Test Program Generation for Microprocessors using SMV ← introduces 100% 1e
The paper proposes a model checking based approach to automatically generate functional test programs for pipelined processors
Architecture Description Language uses → 100% 1e
The test program generation is driven by an ADL specification
Simulation-Based Verification compares with → 90% 1e
The paper positions its formal approach as an alternative to simulation-based verification