Chia-Ling Chang, Charles H.-P. Wen, Jayanta Bhadra. Speeding up bounded sequential equivalence checking with cross-timeframe state-pair constraints from data learning. In Gordon W. Roberts, Bill Eklow, editors, 2009 IEEE International Test Conference, ITC 2009, Austin, TX, USA, November 1-6, 2009. pages 1-8, IEEE, 2009. [doi]
@inproceedings{ChangWB09,
title = {Speeding up bounded sequential equivalence checking with cross-timeframe state-pair constraints from data learning},
author = {Chia-Ling Chang and Charles H.-P. Wen and Jayanta Bhadra},
year = {2009},
doi = {10.1109/TEST.2009.5355713},
url = {http://dx.doi.org/10.1109/TEST.2009.5355713},
researchr = {https://researchr.org/publication/ChangWB09},
cites = {0},
citedby = {0},
pages = {1-8},
booktitle = {2009 IEEE International Test Conference, ITC 2009, Austin, TX, USA, November 1-6, 2009},
editor = {Gordon W. Roberts and Bill Eklow},
publisher = {IEEE},
isbn = {978-1-4244-4868-5},
}