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]
Abstract is missing.