Episode 13: An informal chat with Sean Safarpour

Formal bytes: The Axiomise Podcast Channel - A podcast by Axiomise

Categories:

Education Technology

This week, Dr. Darbari has an informal chat about formal verification with Dr. Sean Safarpour - Group Director, Synopsys, and head of VC Formal product line. Sean talks about his journey from being a graduate student to leading a world-class team of engineers at Synopsys. Sean talks about tools, technology, methodology, coverage, and more.