Travelled to:1 × Germany
4 × USA
Collaborated with:Y.Katz A.Ziv R.Keller Y.Lichtenstein M.Vinov G.Shaked M.L.Behm J.M.Ludden E.Bin A.Ghanayim K.Holtz E.Marcus R.Morad O.Peled G.Shurek E.Tsanko A.Adir Y.Arbetman B.Dubrov M.A.Calligaro A.Cofler G.Duffy
Talks about:generat (3) verif (3) base (2) microarchitectur (1) processor (1) scientif (1) parallel (1) knowledg (1) instruct (1) industri (1)
Person: Michal Rimon
DBLP: Rimon:Michal
Contributed to:
2012
2011
201020052004
1992Wrote 6 papers:
- DATE-2012-KatzRZ #csp #generative #using
- Generating instruction streams using abstract CSP (YK, MR, AZ), pp. 15–20.
- DAC-2011-KatzRZS #architecture #behaviour #generative #learning #quality
- Learning microarchitectural behaviors to improve stimuli generation quality (YK, MR, AZ, GS), pp. 848–853.
- 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-AdirADLRVCCD #case study #named #parallel #verification
- VLIW: a case study of parallelism verification (AA, YA, BD, YL, MR, MV, MAC, AC, GD), pp. 779–782.
- DAC-2004-BehmLLRV #experience #generative #industrial #testing #verification
- Industrial experience with test generation languages for processor verification (MLB, JML, YL, MR, MV), pp. 36–40.
- KBSE-1992-KellerR #development #knowledge-based
- A Knowledge-based Software Development Environment for Scientific Model-building (RK, MR), p. 27.