Bang for the buck: Improvising and scheduling verification engines for effective resource utilization | IEEE Conference Publication | IEEE Xplore