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. https://doi.org/10.69987/JACS.2024.41206.