Skip to main content

Formal methods for EDA

Formal Technologies and Solutions

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.