InFormal Chat

“Phalanx” – Greek warfare strategy for Formal Property Verification

When running Formal Property Verification, we often see goals that are neither proven nor failing (especially on complex properties), which implies inconclusive goals, also referred to as bounded proofs. In these scenarios, what we have at hand is the Formal bounded depth (in terms of clock cycles), associated with such inconclusive properties. As hard working […]

Continue Reading...

The Formal Man-vs-Machine Showdown

It is commonly believed that Formal property verification is the realm of PhDs and experts with many years of experience and have the magical solution and intellect to solve complex verification problems. I see the application of Formal verification solutions solving design bugs very much like the way supercomputers and artificial intelligence have evolved to beat […]

Continue Reading...

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 […]

Continue Reading...

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 […]

Continue Reading...

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 […]

Continue Reading...

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 […]

Continue Reading...

Goldilocks and the three constraints!

  Ever since I started working in verification it’s always felt like a huge responsibility. It’s up to me to make sure that this design doesn’t have a bug that could sneak its way into silicon, then into millions of consumer products, bankrupting the company or worse. I always felt like missing that one issue […]

Continue Reading...

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: What can formal do for me? How much effort does it take? Can it replace simulation? […]

Continue Reading...

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. Let’s a take a brief look at the formal verification user-base from a historic perspective. About 10 years ago, when I was naïve entrepreneur struggling with my own […]

Continue Reading...

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. Stay tuned to the exciting blogs for more information […]

Continue Reading...