Difftest

Technique

First seen 7/11/2026

Last seen 7/11/2026

Evidence 3 chunks

NEIGHBORHOOD

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

6 connections

Difftest compares architectural state at commit points to detect discrepancies.

SPEC CPU2006 evaluates → 90% 1e

Difftest infrastructure runs SPEC CPU 2006 checkpoints for performance regression testing.

Co-Simulation implements → 98% 1e

Difftest implements a co-simulation approach where the DUT runs in lockstep with a golden reference model.

XiangShan ← uses 98% 1e

XiangShan uses the difftest framework for comprehensive functional verification.

Design Under Test uses → 97% 1e

Difftest operates on the Design Under Test (DUT), which is the XiangShan processor.

RTL uses → 88% 1e

Difftest verifies RTL implementation by comparing against a golden reference model.