SAT-based synthesis of clock gating functions using 3-valued abstraction.

Eli Arbel, Oleg Rokhlenko, Karen Yorav

Browse the full FMCAD paper archive.