Skip to content
STIMSMITH

SMV model checker

Tool
First seen 6/11/2026
Last seen 8/1/2026
Evidence 8 chunks

NEIGHBORHOOD

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

explore full graph →

RELATIONSHIPS

5 connections
Architecture Description Language driven Functional Test Program Generation for Microprocessors using SMV ← uses 100% 3e
The paper applies SMV model checker to generate test programs
An Approach to Test Programs Generation for Microprocessors Based on Pipeline Hazards Templates ← mentions 95% 2e
The paper mentions the SMV model checker as used by related work.
Specification-Driven Directed Test Generation for Validation of Pipelined Processors ← uses 90% 2e
The related paper uses the SMV model checker to generate counterexamples.
Model Checking ← uses 100% 2e
Model checking is performed using the SMV model checker tool
Micro-Architecture Coverage Directed Generation of Test Programs ← uses 80% 1e
The FSM traversal technique has developers create microprocessor models using SMV language.