 | 2005 |
|---|
| 3 |       | Yaron Wolfsthal,
Rebecca M. Gott:
Formal verification: is it real enough?
DAC 2005: 670-671 |
| 2 | | 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 Journal of Research and Development 49(4-5): 541-554 (2005) |
| 1 | | Rebecca M. Gott,
Jason Baumgartner,
Paul Roessler,
S. I. Joe:
Functional formal verification on designs of pSeries microprocessors and communication subsystems.
IBM Journal of Research and Development 49(4-5): 565-580 (2005) |
