Symbolic Simulation Enhanced Coverage-Directed Fuzz Testing of RTL Design.

Tun Li, Hongji Zou, Dan Luo, WanXia Qu

Browse the full ISCAS paper archive.