Do automated formal apps really help D&V engineers “cross the chasm” and start using formal verification directly? In Part 1…
One of the biggest developments in the formal verification world in the past several years has been the industry-wide growth…
With a name like “Fitzpatrick,” you knew I’d be celebrating today, right? Well, there’s no better way to celebrate this…
Few verification tasks are more challenging than trying to achieve code coverage goals for a complex system that, by design,…
Between 2006 and 2014, the average number of IPs integrated into an advanced SoC increased from about 30 to over…
As DVCon expands, we at Mentor Graphics have grown our sponsored sessions as well. Would you expect less? In DVCon’s…
MENTOR GRAPHICS AT ARM TECHCON This week ARM® TechCon® 2013 is being held at the Santa Clara Convention Center from…
Verification Techniques & Technologies Adoption Trends (Continued) This blog is a continuation of a series of blogs that present the…
Testbench Characteristics and Simulation Strategies This blog is a continuation of a series of blogs that present the highlights from…
