Tun Li, Hongji Zou, Dan Luo, WanXia Qu. Symbolic Simulation Enhanced Coverage-Directed Fuzz Testing of RTL Design. In IEEE International Symposium on Circuits and Systems, ISCAS 2021, Daegu, South Korea, May 22-28, 2021. pages 1-5, IEEE, 2021. [doi]
Abstract is missing.