Publications

4 results for Oleg Rokhlenko

SAT-based synthesis of clock gating functions using 3-valued abstraction
- - Eli Arbel
  - Oleg Rokhlenko
  - et al.
- 2009
- FMCAD 2009
Conference paper
Resurrecting infeasible clock-gating functions
- - Eli Arbel
  - Cindy Eisner
  - et al.
- 2009
- DAC 2009
Conference paper
Embedded self-adaptation to escape from local optima
- - Oleg Rokhlenko
  - Ydo Wexler
- 2009
- GEC 2009
Conference paper
Seeded tree alignment
- - Antoni Lozano
  - Ron Y. Pinter
  - et al.
- 2008
- IEEE/ACM TCBB
Paper