Posted by Ravindra Aneja on November 20th, 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.
Posted by Ravindra Aneja on July 16th, 2020
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.
Posted by Sean Safarpour on April 20th, 2020
As much of world is practicing “social distancing” or some version of it, I would venture to guess that many are getting “cabin fever” from the extended isolation. For me this condition has led to a blurred line between work and home and more interestingly news coverage and formal applications.
Posted by Sai Karthik Madabhushi on January 21st, 2020
It was a beautiful sunny day and traffic on the M40 was light making it a wonderful drive to the Wirral. My wife was browsing on Spotify, I was busy changing lanes and a call comes through. As my wife took the call, the display on my car flickered and then froze! I soon realised that every electrical system except the accelerator and the brakes had failed. At 70 mph on the motorway a cold sweat of fear and panic gripped me as I changed lanes cautiously and nursed the car another ten miles to the nearest service station. True story! Thankfully nothing untoward happened in the end. The car returned to normal after we did a “reboot” of the car’s operating system.
Posted by Iain Singleton on November 18th, 2019
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.
Posted by Sean Safarpour on July 8th, 2019
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.
Posted by Ravindra Aneja on April 30th, 2019
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.
Posted by Nitin Mhaske on January 29th, 2019
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?
Posted by Iain Singleton on September 24th, 2018
Power consumption has been an important consideration for IC designs for a while now. Mobile devices today are more powerful than they’ve ever been. I can stream movies, order food, get turn by turn directions and take incredible quality photos and videos using a single device in my pocket… So long as I can make it to the end of the day without the battery running flat. Nobody wants to be in the middle of an important email when the screen suddenly goes black and I’m pretty sure I’m not the only one who’s gone diving into a coffee shop seeking power outlets because of it! These days, we all live with a small amount of power anxiety and 6th sense for hunting down USB sockets and power sources. Combine this with the huge number of servers out there burning power and it’s no surprise that most modern designers are always looking to find that delicate balance of power and performance.
Posted by Sean Safarpour on August 29th, 2018
Just over a year ago I wrote a blog about the impact of machine learning (ML) algorithms to boost Formal Verification performance . The data for that blog was firsthand experience on a set of complex benchmarks. The data was amazing and quite convincing, but when I wrote that blog the reader needed to “trust” me as the data could not be shared publicly.
Our global team of experts share their insights about the latest technologies, trends, and solutions in formal verification.