InFormal Chat

Archive for the 'Events' Category

Industry wide events like DAC, DVCon, SNUG etc.

 

World Cup Champion and Formal Verification at DAC 2018

What an exciting World Cup 2018! The whole world was glued to the television. People were rooting for their favorite teams and in awe of the skills demonstrated by many players. The spirit of World Cup reminds of this year’s DAC event, just a few weeks ago. This year DAC seemed different than previous years, with a […]

Continue Reading...

Posted in Events | Comments Off on World Cup Champion and Formal Verification at DAC 2018

 

Formal Verification Showcase – DVCon 2018 and SNUG Silicon Valley 2018

It should not be news to the readers that Formal verification is an integral part of verification flows for the majority of leading edge SoC design and IP companies. A good indicator for this is the amount of papers, posters and tutorials presented at recent industry events/conferences in Silicon Valley. Formal verification was very well […]

Continue Reading...

Posted in Events | Comments Off on Formal Verification Showcase – DVCon 2018 and SNUG Silicon Valley 2018

 

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

Continue Reading...

Posted in Events, Uncategorized | Comments Off on Deep or Broad : Let’s settle this once and for all!

 

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. The same holds […]

Continue Reading...

Posted in Events, Formal Methodology, Introduction, Property Verification | Comments Off on DVCon 2018 Tutorial – The Magic of Formal Revealed

 

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

Continue Reading...

Posted in Events | Comments Off on The organic growth of Formal verification

 

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

Posted in Events | Comments Off on DAC 2017 Review: Exotic Formal Applications

 

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

Posted in Events | Comments Off on DAC 2017 – Feels Like a Formal Candy Store