Carl-Johan H. Seger Robert B. Jones John W. O'Leary Thomas F. Melham Mark Aagaard Clark Barrett Don Syme An industrially effective environment for formal hardware verification. 1381-1405 2005 24 IEEE Trans. on CAD of Integrated Circuits and Systems 9 http://dx.doi.org/10.1109/TCAD.2005.850814 db/journals/tcad/tcad24.html#SegerJOMABS05