Dave Goodman

According to our database, Dave Goodman authored at least 2 papers between 1995 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2014

Verification of Transactional Memory in POWER8.

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

Proceedings of the 51st Annual Design Automation Conference 2014, 2014

1995

Test Program Generation for Functional Verification of PowerPC Processors in IBM.

Aharon Aharon, Dave Goodman, Moshe Levinger, Yossi Lichtenstein, Yossi Malka, Charlotte Metzger, Moshe Molcho, Gil Shurek

Proceedings of the 32st Conference on Design Automation, 1995