TY  - RPRT
TI  - VSpector: Specification-Driven Bug Detection for RISC-V CPUs
AU  - Tianyu Jia
AU  - Zhaoyang Yu
AU  - Yuanliang Chen
AU  - Wei You
AU  - Jianjun Huang
AU  - Bin Liang
PY  - 2026
UR  - https://arxiv.org/abs/2609.23517
ID  - 2609.23517
ER  -