Episode 13: An informal chat with Sean Safarpour

Formal bytes: The Axiomise Podcast Channel - Podcast autorstwa Axiomise

Kategorie:

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.

Visit the podcast's native language site