InFormal Chat

DAC 2017 Review: Exotic Formal Applications

DAC 2017 Review: Exotic Formal Applications

As I wrote in previous blog “DAC 2017 -Feels Like a Formal Candy Store”, I was expecting a lot of interesting presentations on Formal applications at DAC. Not only did I find some sweet Formal presentations but also some pretty exotic Formal applications. It is clear that there is a lot of usage of Formal tools out there and people are pushing Formal in unexpected directions such as verifying functions across firmware and hardware boundaries and inside analog circuits.

Continue Reading...

Human Learning about Machine Learning in EDA

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...

DAC 2017 – Feels Like a Formal Candy Store

DAC 2017 – Feels Like a Formal Candy Store

As I prepare to go to Austin, pouring through the extensive schedule trying to figure out which sessions to attend, I realize there is more Formal than ever at DAC. I feel like a kid in a candy store, so much candy – so little time. How can I choose the tastiest Formal presentations? As usual, there are theoretic academic presentations about algorithms but also an entire session of Formal goodies: “New Frontiers in Formal Verification”.

Continue Reading...

Mutation superpower in formal model checking? You betcha!

Mutation superpower in formal model checking? You betcha!

We have been fascinated with the stories of superheroes from X-Men. Who is not impressed with the power of mutation capability of the superheroes?   The stories really hit it big when Hollywood became interested in the mid-1990s.  Coincidentally, just around the same time formal model checking started to get attention in hardware verification.  In those early days, it seemed only people with “superpower” (i.e. PhD in formal verification) knew how to navigate the technology to fully verify and signoff functionality of a design block.   It has been a long time since the early days and many new capabilities have emerged to make formal verification easier to do.  So, how do people without “superpower” verify and signoff functional verification of design blocks using formal? And do so with absolute confidence?

Continue Reading...

Goldilocks and the three constraints!

Formal Verification: Effort and benefits go hand in hand

Formal Verification: Effort and benefits go hand in hand

Sean talked about it in his blog Progression in formal verification – last decade.., Formal verification has come a long way but in most of the first meeting with potential new customers, these are still the most commonly asked questions:

Continue Reading...

Progression in formal verification – last decade…..

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...

Welcome to InFormal Chat

Welcome to InFormal Chat

We are very excited to launch a series of fun blogs from our distinguished team of formal verification experts. These blogs will share exciting and insightful information about the latest advancements and practical applications for formal property verification solutions used by the design and verification community.

Continue Reading...