InFormal Chat

Archive for 2019

 

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