TY  - RPRT
TI  - Forbench: Symbolic Simulation Helps Make Your Testbench More Formal
AU  - Ziyi Yang
AU  - Wenbin Che
AU  - Ziyue Zheng
AU  - Guangyu Hu
AU  - Hongce Zhang
PY  - 2026
UR  - https://arxiv.org/abs/2608.01045
ID  - 2608.01045
ER  -