Part 5: The 2014 Wilson Research Group Functional Verification Study

Part 5: The 2014 Wilson Research Group Functional Verification Study

FPGA Verification Technology Adoption Trends This blog is a continuation of a series of blogs related to the 2014 Wilson…

Verification Academy: The Place to Meet at DAC

Verification Academy: The Place to Meet at DAC

For all things verification, you will want to stop by the Verification Academy booth #2408 at DAC to interact with…

Do Formal Apps Help D&V Engineers Cross the Chasm Into Direct Formal Property Checking? This Oracle Case Study Suggests They Do (Part 2 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 2 of 2)

Do automated formal apps really help D&V engineers “cross the chasm” and start using formal verification directly? In Part 1…

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…