A systems approach to verification using hardware acceleration | IEEE Conference Publication | IEEE Xplore