Using SAT-based craig interpolation to enlarge clock gating functions | IEEE Conference Publication | IEEE Xplore