Designing reliable cyber-physical systems overview associated to the special session at FDL’16
- Gadi Aleksandrowicz
- Eli Arbel
- et al.
- 2016
- FDL 2016
Publications
6 results for Eli Arbel
Automated detection and verification of parity-protected memory elements
- Eli Arbel
- Shlomit Koyfman
- et al.
- 2014
- ICCAD 2014
Facilitating timing debug by logic path correspondence
- Oshri Adler
- Eli Arbel
- et al.
- 2014
- DATE 2014
Complete and effective robustness checking by means of interpolation
- Stefan Frehse
- Gorschwin Fey
- et al.
- 2012
- FMCAD 2012
SAT-based synthesis of clock gating functions using 3-valued abstraction
- Eli Arbel
- Oleg Rokhlenko
- et al.
- 2009
- FMCAD 2009
Resurrecting infeasible clock-gating functions
- Eli Arbel
- Cindy Eisner
- et al.
- 2009
- DAC 2009