VSpector: Specification-Driven Bug Detection for RISC-V CPUs

Tianyu Jia, Zhaoyang Yu, Yuanliang Chen +3

Detecting RTL design bugs in open-source RISC-V CPU implementations is critical for ensuring system reliability. Traditional detection approaches inherently rely on predefined arti…