Travelled to:2 × USA
Collaborated with:O.Peled A.Adir H.Azatchi K.Shoikhet A.Ghanayim K.Holtz E.Marcus R.Morad M.Rimon G.Shurek E.Tsanko
Talks about:verif (2) microprocessor (1) architectur (1) approach (1) ontolog (1) hardwar (1) generic (1) servic (1) micro (1) tool (1)
Person: Eyal Bin
DBLP: Bin:Eyal
Contributed to:
2010
2005Wrote 2 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-2005-AdirABPS #approach #architecture #testing #verification
- A generic micro-architectural test plan approach for microprocessor verification (AA, HA, EB, OP, KS), pp. 769–774.