Chenyao Zhu,  Jingyi Chen, Yibang Liu. TB-Free RTL Anomaly Detection for Early Chip Verification: A Reproducible Binary Benchmark and Baseline Study on CVDP. JACS. 2024;4(12):68-87. doi:10.69987/JACS.2024.41206