APE-FV: Concolic Testing for RTL Functional Verification Using Adaptive Path Exploration.

Ziyue Zheng, Xiangchen Meng, Yangdi Lyu

Browse the full ICCD paper archive.