Yatin Vasant Hoskote, Jacob A. Abraham, Donald S. Fussell, John Moondanos. Automatic verification of implementations of large circuits against HDL specifications. IEEE Trans. on CAD of Integrated Circuits and Systems, 16(3):217-228, 1997. [doi]
Abstract is missing.