Automatic Generation of High-Coverage Tests for RTL Designs using Software Techniques and Tools

Yu Zhang, Wenlong Feng, Mengxing Huang

Register Transfer Level (RTL) design validation is a crucial stage in the hardware design process. We present a new approach to enhancing RTL design validation using available soft…