Functional verification of the POWER4 microprocessor and POWER4 multiprocessor system. - John M. Ludden; Wolfgang Roesner; Gerry M. Heiling; John R. Reysa; Jonathan R. Jackson; Bing-Lun Chu; Michael L. Behm; Jason Baumgartner; Richard D. Peterson; Jamee Abdulhafiz; William E. Bucy; John H. Klaus; et al. (IBM J. Res. Dev., 2002)

Industrial experience with test generation languages for processor verification. - Michael L. Behm; John M. Ludden; Yossi Lichtenstein; Michal Rimon; Michael Vinov (DAC, 2004)

Functional verification of the POWER5 microprocessor and POWER5 multiprocessor systems. - Dave W. Victor; John M. Ludden; Richard D. Peterson; Bradley S. Nelson; W. Keith Sharp; James K. Hsu; Bing-Lun Chu; Michael L. Behm; Rebecca M. Gott; Audre D. Romonosky; Steven R. Farago (IBM J. Res. Dev., 2005)

Coverage Learned Targeted Validation for Incremental HW Changes. - Monica Farkash; Bryan G. Hickerson; Michael L. Behm (DAC, 2014)

The Verification Cockpit - Creating the Dream Playground for Data Analytics over the Verification Process. - Moab Arar; Michael L. Behm; Odellia Boni; Raviv Gal; Alex Goldin; Maxim Ilyaev; Einat Kermany; John R. Reysa; Bilal Saleh; Klaus-Dieter Schubert; Gil Shurek; Avi Ziv (Haifa Verification Conference, 2015)

Template Aware Coverage: Taking Coverage Analysis to the Next Level. - Raviv Gal; Einat Kermany; Bilal Saleh; Avi Ziv; Michael L. Behm; Bryan G. Hickerson (DAC, 2017)