CSV-based log comparison scripts

Technique

A verification technique that captures execution logs from a core's custom tracer into a structured CSV format and automatically compares them against reference outputs from the Spike ISS, enabling systematic detection of subtle functional bugs such as IEEE-754 rounding mode and precision errors.

First seen 6/8/2026

Last seen 6/8/2026

Evidence 1 chunks

Wiki v1

WIKI

Overview

CSV-based log comparison scripts are a verification technique used in RISC-V processor verification flows. The approach captures execution traces from a design under test (DUT) using a custom tracer and stores them in a structured CSV format, which is then automatically compared against reference execution logs produced by the Spike ISS.

How It Works

READ FULL ARTICLE →

NEIGHBORHOOD

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

explore full graph →

RELATIONSHIPS

2 connections

Creating Verification Environment Using RISCV-DV With Open and Closed Source Tools ← uses 100% 1e

The paper uses structured CSV-based scripts to compare execution logs between the core under test and Spike.

Spike (ISS) uses → 90% 1e

CSV-based log comparison scripts compare execution logs against Spike ISS reference output.

LINKED ENTITIES

2 links

Creating Verification Environment Using RISCV-DV With Open and Closed Source Tools USES Extracted graph relationship

Spike (ISS) USES Extracted graph relationship

CITATIONS

4 sources

4 citations — click to collapse

[1] A custom tracer integrated into the Hornet RV32IMF core captures execution logs which are automatically compared with Spike through structured CSV-based scripts. Creating Verification Environment Using RISCV-DV With Open and Closed Source Tools

[2] The CSV-based comparison approach systematically detects subtle errors often missed by directed tests, including incorrect handling of IEEE-754 rounding modes and precision loss in arithmetic units such as division and square root. Creating Verification Environment Using RISCV-DV With Open and Closed Source Tools

[3] The framework successfully uncovered and resolved multiple floating-point bugs in the Hornet core while demonstrating compatibility with both open and closed-source flows. Creating Verification Environment Using RISCV-DV With Open and Closed Source Tools

[4] The reusable framework combines RISCV-DV for random instruction generation with both open-source (Python flow, Spike ISS) and commercial tools (Xcelium). Creating Verification Environment Using RISCV-DV With Open and Closed Source Tools