Login / Signup
Dave Goodman
Publication Activity (10 Years)
Years Active: 1995-2014
Publications (10 Years): 0
Top Topics
Speculative Execution
Power Consumption
Transactional Memory
Parallel Processing
Top Venues
DAC
</>
Publications
</>
Allon Adir
,
Dave Goodman
,
Daniel Hershcovich
,
Oz Hershkovitz
,
Bryan G. Hickerson
,
Karen Holtz
,
Wisam Kadry
,
Anatoly Koyfman
,
John M. Ludden
,
Charles Meissner
,
Amir Nahir
,
Randall R. Pratt
,
Mike Schiffli
,
Brett St. Onge
,
Brian W. Thompto
,
Elena Tsanko
,
Avi Ziv
Verification of Transactional Memory in POWER8.
DAC
(2014)
Aharon Aharon
,
Dave Goodman
,
Moshe Levinger
,
Yossi Lichtenstein
,
Yossi Malka
,
Charlotte Metzger
,
Moshe Molcho
,
Gil Shurek
Test Program Generation for Functional Verification of PowerPC Processors in IBM.
DAC
(1995)