InFormal Chat

Archive for 2019

 

VC Formal SIG 2019: If You Want Formal – You Got It!

First there was Woodstock. Then came Glastonbury and Coachella. But no event in the festival calendar is perhaps so revered as the annual VC Formal SIG (Special Interest Group) event in Silicon Valley. Ok, maybe that’s a little over the top, but it was a great event. The day was chock full of headline acts each with their own unique spin on this once underground genre that has skyrocketed its way to the mainstream – formal verification.

Continue Reading...

Posted in Events | Comments Off on VC Formal SIG 2019: If You Want Formal – You Got It!

 

I’m too lazy to read…show me a video

I can’t remember when I last opened a technical manual or document to looked up how to do something. Maybe it was when I bought a 56K modem in 1999 to connect to the World Wide Web.

Continue Reading...

Posted in Introduction | Comments Off on I’m too lazy to read…show me a video

 

SNUG Silicon Valley 2019: Formal Verification Update

Like last year, we had number of papers presented at our annual SNUG event last month. We had a track dedicated to formal verification, which had 3 papers from customers and 1 tutorial from Synopsys. In a parallel track on AI/ML, we had an additional tutorial from Synopsys where we discussed how formal is best suited to make use of machine learning techniques.

Continue Reading...

Posted in Events | Comments Off on SNUG Silicon Valley 2019: Formal Verification Update

 

Leave no stone unturned with AIP+VIP

You are verifying a complex AI or networking chip and found a test failing due to transaction or packet mismatch by scoreboards. As a verification engineer, you would celebrate that you broke the core design intent and found a bug! After hours/days of debugging, all that’s found is a signal on AHB/AXI interface was not connected or a protocol was not followed correctly. Not really a highly effective use of everyone’s time, is it?

Continue Reading...

Posted in Formal Methodology, Property Verification | Comments Off on Leave no stone unturned with AIP+VIP