Johannes Koesters

Publication Activity (10 Years)

Years Active: 2014-2015
Publications (10 Years): 1

Top Topics

Integrated Circuit

Ibm Zenterprise

Top Venues

Publications

Matteo Michel, Johannes Koesters, Benedikt Geukes
Modulare Verifikation von Non-Mainline Chip-Level Funktionen. MBMV (2015)
Johannes Koesters, Alex Goryachev
Verification of Non-Mainline Functions in Todays Processor Chips. DAC (2014)