VerifAI's Intelligent Verification
By VerifAI Inc
VerifAI's Intelligent VerificationNov 06, 2022
Intelligent Verification Podcast Episode #3
Welcome to VerifAi’s Podcast Series called “Intelligent Verification” .. This is the third episode. In this podcast, we will talk about the challenges of hardware and software verification, and how verification impacts security, innovation and time-to-market.
I’m excited to introduce our guest Dr. Prith Banerjee. Dr. Prith Banerjee is the Chief Technology Officer of Ansys. He is responsible for leading the evolution of Ansys’ Technology strategy and will champion the company’s next phase of innovation and growth. Previously, he was Senior Client Partner at Korn Ferry where he was responsible for IOT and Digital Transformation in the Global Industrial Practice. Prior to that, he was Executive Vice President, Chief Technology Officer of Schneider Electric. Previously, he was Managing Director of Global Technology Research and Development at Accenture. -Formerly, he was Chief Technology Officer and Executive Vice President of ABB, a power and automation company in Zurich, Switzerland. Earlier, he was Senior Vice President of Research at HP and Director of HP Labs. Formerly, he was Dean of the College of Engineering at the University of Illinois at Chicago.
Intelligent Verification Episode #2
In this episode we talk to Prof. Clark Barrett, who is a professor in Computer Science at Stanford University. Dr. Barrett's contribution to the field of Formal Verification is significant and notable.
We talk about a variety of topics including the history of formal methods and its applications in software and hardware verification.
If you are a software or hardware verification enthusiast, this episode is a must watch / hear!
Welcome to VerifAi’s Podcast Series called “Intelligent Verification” ..
This is the second episode. In this podcast, we will talk about the challenges of hardware and software verification, and how verification impacts security, innovation and time-to-market. Verification impacts every consumer and every developer on the planet… no consumer want bugs in their hardware and software, and no developer want’s to ship bad hardware or software…
Verification takes us more than 60% of the product cycle , and this trend is increasing due to increasing complexity and the sheer amount of hardware and software being created today.
I’m excited to introduce our guest, Prof. Clark Barrett, who's contribution to the field of Formal Verification is significant and notable. Professor Clark Barrett joined Stanford University in September 2016 after 14 years at NYU. His PhD dissertation (Stanford, 2003) introduced a novel approach to constraint solving called Satisfiability Modulo Theories (SMT).
His current work focuses on the application of SMT solvers to improve reliability and security of software, hardware, and machine learning systems.
He was also a pioneer in industrial applications of formal hardware verification, contributing to efforts at Intel and 0-in Design Automation (now part of Mentor Graphics). He has received best paper awards from DAC, ITC, FMCAD, and IJCAR, and he is an ACM Distinguished Scientist.
Professor Barrett has many years of experience managing and directing university research projects, including projects funded by AFOSR, DARPA, NSF, ONR, and various industrial sponsors. Professor Barrett will monitor technical progress on the project.
Intelligent Verification Episode #1
Welcome to VerifAI 's Podcast called “Intelligent Verification”.
In this Podcast, we talk about the challenges of Hardware and Software Verification, and how Verification impacts Security, Innovation and Time-to-Market.
Our first guest is Harry Foster , a Luminary in the field of Hardware Verification.
Harry Foster is Chief Scientist Verification for the Design Verification Technology Division of Siemens EDA.