Rebecca M. Gott

According to our database, Rebecca M. Gott authored at least 5 papers between 2005 and 2012.

Collaborative distances:

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

2012

Key advances in the presilicon functional verification of the IBM zEnterprise microprocessor and storage hierarchy.

Christopher A. Krygowski, Eli Almog, Dean G. Bair, Raimund Breil, Gero Dittmann, Rebecca M. Gott, William J. Lewis, Alia D. Shah, Brian W. Thompto

IBM J. Res. Dev., 2012

2009

Functional verification of the IBM System z10 processor chipset.

Christopher A. Krygowski, Dean G. Bair, Rebecca M. Gott, M. H. Decker, A. V. Giri, Christian Habermann, Matthias Heizmann, Stefan Letz, William J. Lewis, Steven M. Licker, H. Mallar, Edward C. McCain, Wolfgang Roesner, N. Siddique, A. E. Seigler, Brian W. Thompto, K. Weber, Ralf Winkelmann

IBM J. Res. Dev., 2009

2005

Functional verification of the POWER5 microprocessor and POWER5 multiprocessor systems.

Dave W. Victor, John M. Ludden, Richard D. Peterson, Bradley S. Nelson, W. Keith Sharp, James K. Hsu, Bing-Lun Chu, Michael L. Behm, Rebecca M. Gott, Audre D. Romonosky, Steven R. Farago

IBM J. Res. Dev., 2005

Functional formal verification on designs of pSeries microprocessors and communication subsystems.

Rebecca M. Gott, Jason Baumgartner, Paul Roessler, S. I. Joe

IBM J. Res. Dev., 2005

Formal verification: is it real enough?

Yaron Wolfsthal, Rebecca M. Gott

Proceedings of the 42nd Design Automation Conference, 2005