Ting-Hao Lin, Chung-Yang (Ric) Huang. Using SAT-based Craig interpolation to enlarge clock gating functions. In Leon Stok, Nikil D. Dutt, Soha Hassoun, editors, Proceedings of the 48th Design Automation Conference, DAC 2011, San Diego, California, USA, June 5-10, 2011. pages 621-626, ACM, 2011. [doi]
Abstract is missing.