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