Sequential equivalence checking of clock-gated circuits.

Yu-Yun Dai, Kei-Yong Khoo, Robert K. Brayton

Browse the full DAC paper archive.