Using SAT-based Craig interpolation to enlarge clock gating functions DAC 2011 2011 作者：Ting-Hao Lin, Chung-Yang (Ric) Huang
