Yatin Vasant Hoskote Jacob A. Abraham Donald S. Fussell John Moondanos Automatic verification of implementations of large circuits against HDL specifications. 217-228 1997 16 IEEE Trans. on CAD of Integrated Circuits and Systems 3 http://doi.ieeecomputersociety.org/10.1109/43.594828 db/journals/tcad/tcad16.html#HoskoteAFM97