Shidong Shen, Jinyu Liu, Weizhi Feng, Fu Song, Zhilin Wu. BMCFuzz: Hybrid Verification of Processors by Synergistic Integration of Bound Model Checking and Fuzzing. In IEEE/ACM International Conference On Computer Aided Design, ICCAD 2025, Munich, Germany, October 26-30, 2025. pages 1-9, IEEE, 2025. [doi]
Abstract is missing.