A fast virtual device framework for improving RTL verification efficiency | IEEE Conference Publication | IEEE Xplore