Symbolic Simulation Enhanced Coverage-Directed Fuzz Testing of RTL Design | IEEE Conference Publication | IEEE Xplore