Using SAT-based Craig interpolation to enlarge clock gating functions.

Ting-Hao Lin, Chung-Yang (Ric) Huang

Browse the full DAC paper archive.