Hot-FV: A Semi-Formal Test Generation Framework for RTL Functional Coverage Using Warm Starting States.

Ziyue Zheng, Zhiyuan Yan, Xiangchen Meng, Guangyu Hu, Hongce Zhang, Yangdi Lyu

Browse the full ICCD paper archive.