A Verification Technique for Gated Clock.

Masamichi Kawarabayashi, Narendra V. Shenoy, Alberto L. Sangiovanni-Vincentelli

Browse the full DAC paper archive.