|
Search the dblp DataBase
Rebecca M. Gott:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Yaron Wolfsthal, Rebecca M. Gott
Formal verification: is it real enough? [Citation Graph (0, 0)][DBLP] DAC, 2005, pp:670-671 [Conf]
- Rebecca M. Gott, Jason Baumgartner, Paul Roessler, S. I. Joe
Functional formal verification on designs of pSeries microprocessors and communication subsystems. [Citation Graph (0, 0)][DBLP] IBM Journal of Research and Development, 2005, v:49, n:4-5, pp:565-580 [Journal]
- 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. [Citation Graph (0, 0)][DBLP] IBM Journal of Research and Development, 2005, v:49, n:4-5, pp:541-554 [Journal]
Search in 0.001secs, Finished in 0.001secs
|