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