Rebecca M. Gott

Publication Activity (10 Years)

Years Active: 2005-2012
Publications (10 Years): 0

Top Topics

Functional Verification

Ibm Zenterprise

Storage Management

Intelligent Agents

Top Venues

IBM J. Res. Dev.

Publications

Christopher A. Krygowski, Eli Almog, Dean G. Bair, Raimund Breil, Gero Dittmann, Rebecca M. Gott, William J. Lewis, Alia D. Shah, Brian W. Thompto
Key advances in the presilicon functional verification of the IBM zEnterprise microprocessor and storage hierarchy. IBM J. Res. Dev. 56 (1) (2012)
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
Functional verification of the IBM System z10 processor chipset. IBM J. Res. Dev. 53 (1) (2009)
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
Functional verification of the POWER5 microprocessor and POWER5 multiprocessor systems. IBM J. Res. Dev. 49 (4-5) (2005)
Rebecca M. Gott, Jason Baumgartner, Paul Roessler, S. I. Joe
Functional formal verification on designs of pSeries microprocessors and communication subsystems. IBM J. Res. Dev. 49 (4-5) (2005)
Yaron Wolfsthal, Rebecca M. Gott
Formal verification: is it real enough? DAC (2005)