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

Tun Li Hongji Zou Dan Luo WanXia Qu

Published in: ISCAS (2021)

Keyphrases

design process
simulation environment
decision trees
case study
computer aided
simulation model
hardware software
information systems
database systems
building blocks
software architecture
embedded systems
engineering design
optimal design
simulation tools