Charles Meissner

Publication Activity (10 Years)

Years Active: 2010-2015
Publications (10 Years): 0

Top Topics

Issues And Trends

Computational Issues

Top Venues

IBM J. Res. Dev.

Publications

Klaus-Dieter Schubert, John M. Ludden, S. Ayub, J. Behrend, B. Brock, Fady Copty, S. M. German, Oz Hershkovitz, H. Horbach, Jonathan R. Jackson, K. Keuerleber, J. Koesters, L. S. Leitner, G. B. Meil, Charles Meissner, Ronny Morad, Amir Nahir, Viresh Paruthi, Richard D. Peterson, Randall R. Pratt, Michal Rimon, John Schumann
Solutions to IBM POWER8 verification challenges. IBM J. Res. Dev. 59 (1) (2015)
Allon Adir, Dave Goodman, Daniel Hershcovich, Oz Hershkovitz, Bryan G. Hickerson, Karen Holtz, Wisam Kadry, Anatoly Koyfman, John M. Ludden, Charles Meissner, Amir Nahir, Randall R. Pratt, Mike Schiffli, Brett St. Onge, Brian W. Thompto, Elena Tsanko, Avi Ziv
Verification of Transactional Memory in POWER8. DAC (2014)
Nagib Hakim, Charles Meissner
Innovative practices session 1C: Post-silicon validation. VTS (2013)
Allon Adir, Amir Nahir, Gil Shurek, Avi Ziv, Charles Meissner, John Schumann
Leveraging pre-silicon verification resources for the post-silicon validation of the IBM POWER7 processor. DAC (2011)
Allon Adir, Shady Copty, Shimon Landa, Amir Nahir, Gil Shurek, Avi Ziv, Charles Meissner, John Schumann
A unified methodology for pre-silicon verification and post-silicon validation. DATE (2011)
Allon Adir, Amir Nahir, Avi Ziv, Charles Meissner, John Schumann
Reaching Coverage Closure in Post-silicon Validation. Haifa Verification Conference (2010)