Skip to content
STIMSMITH

Simulation-Based Testing

Concept

Simulation-based testing is the traditional hardware-verification approach of running many simulations, typically by executing test programs that exercise operations and checking their results. In microprocessor verification, it becomes difficult for pipelined designs because tests must cover interactions among simultaneously processed instructions and exceptional conditions such as invalid instructions and out-of-bounds memory accesses.

First seen 5/26/2026
Last seen 6/6/2026
Evidence 5 chunks
Wiki v1

WIKI

Definition

Simulation-based testing is the traditional approach to verifying a hardware design by running many simulations. For microprocessors, this typically means writing a suite of test programs that exercise the processor's operations and check the results.[Traditional hardware verification]

Use in microprocessor verification

READ FULL ARTICLE →

NEIGHBORHOOD

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

explore full graph →

RELATIONSHIPS

4 connections
Generalizing Tandem Simulation: Connecting High-level and RTL Simulation Models ← uses 95% 2e
The paper is based on simulation-based testing methodology
formal verification ← compares with 100% 1e
Formal verification is presented as an alternative to simulation-based testing for microprocessor designs.
Test Stimulus Generation uses → 93% 1e
Simulation-based testing applies test stimulus to execution models
Random Test Input Generation uses → 90% 1e
The paper uses randomly generated test inputs for driving simulation

LINKED ENTITIES

4 links
formal verification contrasted_with The evidence explicitly describes formal verification as an alternative to running many simulations and states that it aims to prove correctness for all possible programs.
Symbolic Simulation contrasted_with The evidence explicitly distinguishes Burch-Dill symbolic simulation from traditional simulation-based testing.
Microprocessor Verification used_in The evidence describes simulation-based testing as the traditional approach to verifying hardware designs and then explains its application to microprocessors.
Pipelined Microprocessor has_testing_challenge_in The evidence states that pipelined implementations require tests for different operation sequences to check interactions among simultaneously processed instructions.

CITATIONS

7 sources
7 citations — click to expand
[1] Traditional hardware verification Formal Verification of Pipelined Y86-64 Microprocessors with UCLID5
[2] Pipelined testing requirements Formal Verification of Pipelined Y86-64 Microprocessors with UCLID5
[3] Exceptional-condition testing Formal Verification of Pipelined Y86-64 Microprocessors with UCLID5
[4] Traditional simulation execution model Formal Verification of Pipelined Y86-64 Microprocessors with UCLID5
[5] Corner-case coverage challenge Formal Verification of Pipelined Y86-64 Microprocessors with UCLID5
[6] Traditional versus symbolic simulation Formal Verification of Pipelined Y86-64 Microprocessors with UCLID5
[7] Formal verification contrast Formal Verification of Pipelined Y86-64 Microprocessors with UCLID5