Publications

2 results for Randall R Pratt

Solutions to IBM POWER8 verification challenges
- - Klaus-Dieter Schubert
  - John M. Ludden
  - et al.
- 2015
- IBM J. Res. Dev
Verification of transactional memory in POWER8
- - Allon Adir
  - Dave Goodman
  - et al.
- 2014
- DAC 2014