Formal methods for EDA

Publications

1. "Resurrecting infeasible clock-gating functions" by Eli Arbel, Cindy Eisner, Oleg Rokhlenko, DAC 2009.
2. "SAT-based synthesis of clock gating functions using 3-valued abstraction" by Eli Arbel, Oleg Rokhlenko, Karen Yorav, FMCAD 2009.