Old Web
English
Sign In
Acemap
>
authorDetail
>
Rebecca M. Gott
Rebecca M. Gott
IBM
Real-time computing
Functional verification
Computer science
Microprocessor
Intelligent verification
5
Papers
64
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (5)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Key advances in the presilicon functional verification of the IBM zEnterprise microprocessor and storage hierarchy
2012
Ibm Journal of Research and Development
Christopher A. Krygowski
Eli Almog
Dean G. Bair
Raimund Breil
Gero Dittmann
Rebecca M. Gott
William J. Lewis
Alia D. Shah
Brian W. Thompto
Show All
Source
Cite
Save
Citations (1)
Functional verification of the IBM system z10 processor chipset
2009
Ibm Journal of Research and Development
Christopher A. Krygowski
Dean G. Bair
Rebecca M. Gott
Mark H. Decker
Akash V. Giri
Christian Habermann
Matthias D. Heizmann
Stefan Letz
William J. Lewis
Steven M. Licker
H. Mallar
Edward C. McCain
Wolfgang Roesner
Naseer S. Siddique
Adrian E. Seigler
Brian W. Thompto
Kai Weber
Ralf Winkelmann
Show All
Source
Cite
Save
Citations (11)
Functional formal verification on designs of pSeries microprocessors and communication subsystems
2005
Ibm Journal of Research and Development
Rebecca M. Gott
Jason R. Baumgartner
Paul Roessler
S. I. Joe
Show All
Source
Cite
Save
Citations (17)
Functional verification of the POWER5 microprocessor and POWER5 multiprocessor systems
2005
Ibm Journal of Research and Development
D. W. Victor
John M. Ludden
Richard D. Peterson
B. S. Nelson
W. K. Sharp
J. K. Hsu
Bing-Lun Chu
Michael L. Behm
Rebecca M. Gott
A. D. Romonosky
S. R. Farago
Show All
Source
Cite
Save
Citations (32)
Formal verification: is it real enough?
2005
DAC | Design Automation Conference
Yaron Wolfsthal
Rebecca M. Gott
Show All
Source
Cite
Save
Citations (3)
1