Reaching Coverage Closure in Post-silicon Validation. - Allon Adir; Amir Nahir; Avi Ziv; Charles Meissner; John Schumann (Haifa Verification Conference, 2010)

Leveraging pre-silicon verification resources for the post-silicon validation of the IBM POWER7 processor. - Allon Adir; Amir Nahir; Gil Shurek; Avi Ziv; Charles Meissner; John Schumann (DAC, 2011)

A unified methodology for pre-silicon verification and post-silicon validation. - Allon Adir; Shady Copty; Shimon Landa; Amir Nahir; Gil Shurek; Avi Ziv; Charles Meissner; John Schumann (DATE, 2011)

Innovative practices session 1C: Post-silicon validation. - Nagib Hakim; Charles Meissner (VTS, 2013)

Verification of Transactional Memory in POWER8. - 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; et al. (DAC, 2014)

Solutions to IBM POWER8 verification challenges. - Klaus-Dieter Schubert; John M. Ludden; Salma Ayub; J. Behrend; Bishop Brock; Fady Copty; S. M. German; Oz Hershkovitz; H. Horbach; Jonathan R. Jackson; K. Keuerleber; J. Koesters; et al. (IBM J. Res. Dev., 2015)