Computer Engineering Seminar|
Harnessing Data Science for the HW Verification Process
Dr. Avi Ziv
Research Staff Member, Verification and Quality Technologies Department
IBM Research Laboratory, Haifa, Israel
Wednesday, February 07, 2018|
12:00pm - 1:30pm
Add to Google Calendar
About the Event
Modern verification is a highly automated process that involves many tools and subsystems. These verification tools, which we sometime refer to as data sources, produce large amount of data that is essential for understanding the state and progress of the verification process. The growing complexity in the verification and the amount of data it produces, and the complex relations between the data sources calls for data science techniques such as statistics, data visualization, data mining, and machine learning to extract the essence of the input data and present it to the users in a simple and clear manner.
Dr. Avi Ziv is a Research Staff Member in the Verification and Quality Technologies Department at the IBM Research Laboratory in Haifa, Israel. Since joining IBM in 1996, Avi has been working on developing technologies and methodologies for various topics of simulations-based functional verification including stimuli generation, checking, functional coverage and coverage directed generation. In recent years, the main focus of Avi’s work is bringing data science to the hardware verification world.
Contact: Alice Melloni
Sponsor(s): CE LAB
Faculty Sponsor: Professor Valeria Bertacco
Open to: Public