With eight papers in two separate sessions focused exclusively on formal verification, one could assert (pun intended) that this year’s…
On the short list of positive things to come out of the past year are the formal verification-focused conference papers…
Before we get started here, I’ll assure you it’s not as it sounds. I’m not talking about the end of…
Between 2006 and 2014, the average number of IPs integrated into an advanced SoC increased from about 30 to over…
The UCIS Story There is no secret as design sizes grow it is doubly burdensome for verification. Two factors that…
Verification Academy Adds Major New Technical Resource The Verification Academy adds another major methodology cookbook to focus on effective coverage…
Live & In-Person at DAC 2012! Verification Academy, the brain child of Harry Foster, Chief Verification Scientist at Mentor Graphics,…