Mining global constraints for improving bounded sequential equivalence checking

Weixin Wu, Michael S. Hsiao. Mining global constraints for improving bounded sequential equivalence checking. In Ellen Sentovich, editor, Proceedings of the 43rd Design Automation Conference, DAC 2006, San Francisco, CA, USA, July 24-28, 2006. pages 743-748, ACM, 2006. [doi]

Abstract

Abstract is missing.