InFormal Chat

Archive for the 'Events' Category

Industry wide events like DAC, DVCon, SNUG etc.

 

A Recap of Formal Verification Use Cases from Verification Day 2020

Like most industry events this year, we shifted our Formal Special Interest Group event to virtual and joined forces with Synopsys’ static and low power teams to host a combined event, Verification Day. For this virtual event we had the advantage of reaching out to customers across geographies and time zones which reflected in the highest attendance ever, attendance increased by 3X compared to the last year.

Continue Reading...

Posted in Events

 

No reason to miss a beat, online help is available!

COVID-19 situation has forced all of us into a new normal, which is to work from home and collaborate with team members, partners and customers online. At a company level as well as at an individual level, everyone is trying to be as productive as possible.

Continue Reading...

Posted in Events

 

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

 

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