Relative Equivalence in the Presence of Ambiguity. - Oshri Adler; Cindy Eisner; Tatyana Veksler (CAV, 2013)

Facilitating timing debug by logic path correspondence. - Oshri Adler; Eli Arbel; Ilia Averbouch; Ilan Beer; Inna Grijnevitch (DATE, 2014)