Skip to main content

Paper accepted at ICCAD'25

· One min read

We are proud that our paper "BMCFuzz: Hybrid Verification of Processors by Synergistic Integration of Bound Model Checking and Fuzzing", has been accepted at International Conference on Computer-Aided Design(ICCAD) - 2025.

@article{shen2025ICCAD,
  title={BMCFuzz: Hybrid Verification of Processors by Synergistic Integration of Bound Model Checking and Fuzzing},
  author={Shidong Shen and Jinyu Liu and Weizhi Feng and Fu Song and Zhilin Wu},
  booktitle={International Conference on Computer-Aided Design(ICCAD)},
  year={2025}
}