A Framework for Automated Testing of RTL Designs | IEEE Conference Publication | IEEE Xplore