From simulation to verification (and back) | IEEE Conference Publication | IEEE Xplore