Publications

3 results for Johannes Koesters

Solutions to IBM POWER8 verification challenges
- - Klaus-Dieter Schubert
  - John M. Ludden
  - et al.
- 2015
- IBM J. Res. Dev
Verification of non-mainline functions in todays processor chips
- - Johannes Koesters
  - Alex Goryachev
- 2014
- DAC 2014
Functional verification of the IBM POWER7 microprocessor and POWER7 multiprocessor systems
- - Klaus-Dieter Schubert
  - Wolfgang Roesner
  - et al.
- 2011
- IBM J. Res. Dev