InFormal Chat

Author Archive

Sean Safarpour


Sean Safarpour has over 15 years of experience in formal verification in both the tool development and application deployment domains. Sean is currently the CAE Director of VC Formal at Synopsys and was previously Sr. Technology Director at Atrenta and Founder/CTO at Vennsa Technologies. Sean received his Ph.D. degree from the University of Toronto.

Posts by Sean Safarpour:


I’m too lazy to read…show me a video

I can’t remember when I last opened a technical manual or document to looked up how to do something. Maybe it was when I bought a 56K modem in 1999 to connect to the World Wide Web.

Continue Reading...

Posted in Introduction |


You don’t have to take my word for it: Machine Learning has a place in Formal Verification

Just over a year ago I wrote a blog about the impact of machine learning (ML) algorithms to boost Formal Verification performance . The data for that blog was firsthand experience on a set of complex benchmarks. The data was amazing and quite convincing, but when I wrote that blog the reader needed to “trust” me as the data could not be shared publicly.

Continue Reading...

Posted in Automation, Property Verification |


Deep or Broad : Let’s settle this once and for all!

Have you ever witnessed two passionate industry experts debate fundamental approaches of verification? They bring their decades of experience, hundreds of bugs uncovered, and countless successes and failures in order to establish intellectual dominance. Unfortunately, for most of us, the observers, these debates are usually prematurely interrupted by a reality check: a pointy-haired manager who urges them to “take it offline” or we all get “kicked out” of a conference room.

Continue Reading...

Posted in Events, Uncategorized |


DVCon 2018 Tutorial – The Magic of Formal Revealed

We have all witnessed many magic tricks that seem to perform the impossible. How did he guess my number? Where did that rabbit come from? How did she survive getting sawed in two? Without knowing the tricks of the trade, it is very hard for you and I to reproduce such magic.

Continue Reading...

Posted in Events, Formal Methodology, Introduction, Property Verification |


The organic growth of Formal verification

I recently returned from a very exciting Asia trip where I took the opportunity to visit some of our customers. While I made the mistake of combining too many cities in too few days and had to deal with a stubborn Typhoon that did not respect my aggressive travel plan; I noticed a significant change in customers’ behavior over previous trips.

Continue Reading...

Posted in Events |


Human Learning about Machine Learning in EDA

Needless to say that Machine Learning is a very hot topic nowadays. From the software giants such as Google and Facebook, to hot companies like Snap, Waze and Uber, to traditional businesses such as IBM, ExxonMobil and Toyota to name a few, it seems like all companies need to be talking about Machine Learning. I would not be surprised if every company in the S&P 100 has a list of active Machine Learning projects…or so they say.

Continue Reading...

Posted in Automation |


Progression in formal verification – last decade…..

If you have been watching/following the activities in the formal verification domain, you may have noticed an undeniable shift in the market over the last few years.

Continue Reading...

Posted in Property Verification |