Oshri Adler

Facilitating timing debug by logic path correspondence

Ilan Beer, Eli Arbel, Oshri Adler, 2014, 2014 Design, Automation & Test in Europe Conference & Exhibition (DATE).

Relative Equivalence in the Presence of Ambiguity

Cindy Eisner, Tatyana Veksler, Oshri Adler, 2013, CAV.