Michael L. Behm

According to our database, Michael L. Behm authored at least 6 papers between 2002 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Template Aware Coverage: Taking Coverage Analysis to the Next Level.

Raviv Gal, Einat Kermany, Bilal Saleh, Avi Ziv, Michael L. Behm, Bryan G. Hickerson

Proceedings of the 54th Annual Design Automation Conference, 2017

2015

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

Proceedings of the Hardware and Software: Verification and Testing, 2015

2014

Coverage Learned Targeted Validation for Incremental HW Changes.

Monica Farkash, Bryan G. Hickerson, Michael L. Behm

Proceedings of the 51st Annual Design Automation Conference 2014, 2014

2005

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

2004

Industrial experience with test generation languages for processor verification.

Michael L. Behm, John M. Ludden, Yossi Lichtenstein, Michal Rimon, Michael Vinov

Proceedings of the 41th Design Automation Conference, 2004

2002

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, Danny J. Klema, Tien N. Le, F. Danette Lewis, Philip E. Milling, Lawrence A. McConville, Bradley S. Nelson, Viresh Paruthi, Travis W. Pouarz, Audre D. Romonosky, Jeff Stuecheli, Kent D. Thompson, Dave W. Victor, Bruce Wile

IBM J. Res. Dev., 2002