Travelled to:1 × USA
2 × France
Collaborated with:Z.Nevo F.M.d.Paula A.Nahir A.J.Hu I.Beer S.Ben-David H.Chockler R.J.Trefler S.Bergman G.Bobok W.Kowalski S.Koyfman S.Moran V.Paruthi W.Roesner G.Shurek V.Vuyyuru
Talks about:counterexampl (1) overhead (1) industri (1) unlimit (1) explain (1) length (1) experi (1) design (1) causal (1) buffer (1)
Person: Avigail Orni
DBLP: Orni:Avigail
Contributed to:
2015
2011
2009Wrote 3 papers:
- DATE-2015-BergmanBKKMNOPR #experience #industrial #verification
- Designer-level verification: an industrial experience story (SB, GB, WK, SK, SM, ZN, AO, VP, WR, GS, VV), pp. 410–411.
- DAC-2011-PaulaNNOH #named
- TAB-BackSpace: unlimited-length trace buffers with zero additional on-chip overhead (FMdP, AN, ZN, AO, AJH), pp. 411–416.
- CAV-2009-BeerBCOT #using
- Explaining Counterexamples Using Causality (IB, SBD, HC, AO, RJT), pp. 94–108.