Posted by Anders Nordstrom on July 10th, 2017
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.
Posted by Sean Safarpour on June 15th, 2017
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.
Posted by Anders Nordstrom on June 14th, 2017
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”.
Posted by Xiaolin Chen on June 2nd, 2017
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?
Posted by Iain Singleton on June 2nd, 2017
Posted by Ravindra Aneja on June 2nd, 2017
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:
Posted by Sean Safarpour on June 2nd, 2017
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.
Posted by Kiran Vittal on June 2nd, 2017
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.