BMCFuzz: Hybrid Verification of Processors by Synergistic Integration of Bound Model Checking and Fuzzing.

Shidong Shen, Jinyu Liu, Weizhi Feng, Fu Song, Zhilin Wu

Browse the full ICCAD paper archive.