Skip to content
STIMSMITH

Xiangshan Processor

Tool
First seen 8/7/2026
Last seen 8/11/2026
Evidence 5 chunks

NEIGHBORHOOD

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

explore full graph →

RELATIONSHIPS

3 connections
DiffTest-H ← evaluates 99% 2e
DiffTest-H is applied in the verification of the Xiangshan processor, discovering over 150 bugs.
DiffTest-H uses → 98% 1e
DiffTest-H is applied in the actual development process of the Xiangshan processor.
UnityChipForXiangShan ← evaluates 98% 1e
UnityChipForXiangShan performs unit testing on the XiangShan Processor.