Skip to content
STIMSMITH

SPEC benchmarks

Concept

In the provided evidence, SPEC benchmarks are discussed as long-running Linux workloads used as examples for processor co-simulation and checkpoint-based verification. The MICRO-54 paper "Effective Processor Verification with Logic Fuzzer Enhanced Co-simulation" describes using Dromajo checkpoints and simulation points to run portions of such benchmarks in parallel and to reduce simulation cost.

First seen 5/28/2026
Last seen 5/28/2026
Evidence 2 chunks
Wiki v1

WIKI

Overview

The provided evidence treats SPEC benchmarks as examples of lengthy benchmark programs that may run on Linux and be used in processor verification through co-simulation. In the cited MICRO-54 paper, SPEC benchmarks are not introduced as a benchmark suite in detail; instead, they are used to illustrate how checkpointing and phase-based simulation can make long-running workloads more practical for RTL co-simulation. [C1]

Use in checkpoint-based co-simulation

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
Effective Processor Verification with Logic Fuzzer Enhanced Co-simulation ← uses 85% 2e
The paper discusses using SPEC benchmarks with Dromajo checkpoints for verification.

LINKED ENTITIES

1 links
Effective Processor Verification with Logic Fuzzer Enhanced Co-simulation USES Extracted graph relationship

CITATIONS

4 sources
4 citations — click to collapse
[1] SPEC benchmarks are discussed as examples of lengthy programs running on Linux that can be tested through Dromajo checkpointing and parallel co-simulation. [PDF] Effective Processor Verification with Logic Fuzzer Enhanced Co ...
[2] A Dromajo checkpoint is described as a snapshot of architectural state taken after a certain number of instructions; Dromajo can generate checkpoints for arbitrary RISC-V applications and resume them with co-simulation enabled. [PDF] Effective Processor Verification with Logic Fuzzer Enhanced Co ...
[3] The paper proposes using phase analysis and simulation points to checkpoint benchmarks and co-simulate SPEC benchmarks faster by loading checkpoints for different program phases. [PDF] Effective Processor Verification with Logic Fuzzer Enhanced Co ...
[4] Checkpointing can reduce the need to recompile benchmarks, split Linux boot into checkpoints, capture important phases in a portable format, and run long-running programs in parallel to reduce simulation cost. [PDF] Effective Processor Verification with Logic Fuzzer Enhanced Co ...