Travelled to:3 × USA
Collaborated with:A.Ziv S.Asaf O.Lachish S.Ur E.Bin A.Ghanayim K.Holtz R.Morad O.Peled M.Rimon G.Shurek E.Tsanko
Talks about:coverag (3) function (2) analysi (2) ontolog (1) hardwar (1) servic (1) improv (1) verif (1) defin (1) view (1)
Person: Eitan Marcus
DBLP: Marcus:Eitan
Contributed to:
2010
20042002Wrote 3 papers:
- SEKE-2010-BinGHMMPRST #hardware #ontology #tool support #verification
- Ontology-Based Tools in the Service of Hardware Verification (EB, AG, KH, EM, RM, OP, MR, GS, ET), pp. 303–308.
- DAC-2004-AsafMZ #analysis #functional
- Defining coverage views to improve functional coverage analysis (SA, EM, AZ), pp. 41–44.
- DAC-2002-LachishMUZ #analysis #functional
- Hole analysis for functional coverage data (OL, EM, SU, AZ), pp. 807–812.