Do Formal Apps Help D&V Engineers Cross the Chasm Into Direct Formal Property Checking? This Oracle Case Study Suggests They Do (Part 1 of 2)

Do Formal Apps Help D&V Engineers Cross the Chasm Into Direct Formal Property Checking? This Oracle Case Study Suggests They Do (Part 1 of 2)

One of the biggest developments in the formal verification world in the past several years has been the industry-wide growth…

March 2015 Edition of Verification Horizons Available Online!

March 2015 Edition of Verification Horizons Available Online!

With a name like “Fitzpatrick,” you knew I’d be celebrating today, right? Well, there’s no better way to celebrate this…

ARM® Techcon Paper Report: How Microsoft Saved 4 Man-Months Meeting Their Coverage Closure Goals Using Automated Verification Management & Formal Apps

ARM® Techcon Paper Report: How Microsoft Saved 4 Man-Months Meeting Their Coverage Closure Goals Using Automated Verification Management & Formal Apps

Few verification tasks are more challenging than trying to achieve code coverage goals for a complex system that, by design,…

Preparing for the Perfect Storm with New-School Verification Techniques

Preparing for the Perfect Storm with New-School Verification Techniques

Between 2006 and 2014, the average number of IPs integrated into an advanced SoC increased from about 30 to over…

More DVCon–More Mentor Tutorials!

More DVCon–More Mentor Tutorials!

As DVCon expands, we at Mentor Graphics have grown our sponsored sessions as well.  Would you expect less? In DVCon’s…

Happy Halloween from ARM  TechCon

Happy Halloween from ARM TechCon

MENTOR GRAPHICS AT ARM TECHCON This week ARM® TechCon® 2013 is being held at the Santa Clara Convention Center from…

Part 11: The 2012 Wilson Research Group Functional Verification Study

Part 11: The 2012 Wilson Research Group Functional Verification Study

Verification Techniques & Technologies Adoption Trends (Continued) This blog is a continuation of a series of blogs that present the…

Part 7: The 2012 Wilson Research Group Functional Verification Study

Part 7: The 2012 Wilson Research Group Functional Verification Study

Testbench Characteristics and Simulation Strategies This blog is a continuation of a series of blogs that present the highlights from…

Part 6: The 2012 Wilson Research Group Functional Verification Study

Part 6: The 2012 Wilson Research Group Functional Verification Study

Effort Spent On Verification (Continued) This blog is a continuation of a series of blogs that present the highlights from…