Nikolaos D. Liveris, Hai Zhou, Prithviraj Banerjee. Complete-k-distinguishability for retiming and resynthesis equivalence checking without restricting synthesis. In Proceedings of the 14th Asia South Pacific Design Automation Conference, ASP-DAC 2009, Yokohama, Japan, January 19-22, 2009. pages 636-641, IEEE, 2009. [doi]
@inproceedings{LiverisZB09, title = {Complete-k-distinguishability for retiming and resynthesis equivalence checking without restricting synthesis}, author = {Nikolaos D. Liveris and Hai Zhou and Prithviraj Banerjee}, year = {2009}, doi = {10.1145/1509633.1509780}, url = {http://doi.acm.org/10.1145/1509633.1509780}, tags = {completeness}, researchr = {https://researchr.org/publication/LiverisZB09}, cites = {0}, citedby = {0}, pages = {636-641}, booktitle = {Proceedings of the 14th Asia South Pacific Design Automation Conference, ASP-DAC 2009, Yokohama, Japan, January 19-22, 2009}, publisher = {IEEE}, isbn = {978-1-4244-2748-2}, }