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
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
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.
Continue Reading...
Posted in Connectivity Verification, Formal Methodology, Introduction, Property Verification
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.
Continue Reading...
Posted in Formal Methodology