High Performance Machine Learning Models for Functional Verification of Hardware Designs | IEEE Conference Publication | IEEE Xplore