Mining global constraints for improving bounded sequential equivalence checking.

Weixin Wu, Michael S. Hsiao

Browse the full DAC paper archive.