SAT-based synthesis of clock gating functions using 3-valued abstractionEli ArbelOleg Rokhlenkoet al.2009FMCAD 2009