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]
@article{HoskoteAFM97,
title = {Automatic verification of implementations of large circuits against HDL specifications},
author = {Yatin Vasant Hoskote and Jacob A. Abraham and Donald S. Fussell and John Moondanos},
year = {1997},
doi = {10.1109/43.594828},
url = {http://doi.ieeecomputersociety.org/10.1109/43.594828},
researchr = {https://researchr.org/publication/HoskoteAFM97},
cites = {0},
citedby = {0},
journal = {IEEE Trans. on CAD of Integrated Circuits and Systems},
volume = {16},
number = {3},
pages = {217-228},
}