Travelled to:3 × USA
Collaborated with:E.Tsanko E.Bin A.Ghanayim E.Marcus R.Morad O.Peled M.Rimon G.Shurek D.Geist G.Biran T.Arons M.Slavkin Y.Nustov M.Farkas A.Long D.King S.Barret A.Adir D.Goodman D.Hershcovich O.Hershkovitz B.G.Hickerson W.Kadry A.Koyfman J.M.Ludden C.Meissner A.Nahir R.R.Pratt M.Schiffli B.S.Onge B.W.Thompto A.Ziv
Talks about:verif (3) methodolog (1) transact (1) ontolog (1) hardwar (1) system (1) servic (1) memori (1) power (1) tool (1)
Person: Karen Holtz
DBLP: Holtz:Karen
Contributed to:
2014
20101999Wrote 3 papers:
- DAC-2014-AdirGHHHHKKLMNPSOTTZ #memory management #transaction #verification
- Verification of Transactional Memory in POWER8 (AA, DG, DH, OH, BGH, KH, WK, AK, JML, CM, AN, RRP, MS, BSO, BWT, ET, AZ), p. 6.
- 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-1999-GeistBASNFHLKB #verification
- A Methodology for the Verification of a “System on Chip” (DG, GB, TA, MS, YN, MF, KH, AL, DK, SB), pp. 574–579.