SAT-based synthesis of clock gating functions using 3-valued abstraction | IEEE Conference Publication | IEEE Xplore