A balanced approach to high-level verification: performance trade-offs in verifying large-scale multiprocessors | IEEE Conference Publication | IEEE Xplore