Showing cs.SEShow all
2 papers · 1 filter
cs.SE2026
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…
cs.SE2026
Feature Slice Matching for Precise Bug Detection
Ke Ma, Jianjun Huang, Wei You +4
Measuring the function similarity to detect bugs is effective, but the statements unrelated to the bugs can impede the performance due to the noise interference. Suppressing the no…