Easy Deadlock Verification and Debug with Advanced Formal

DAC 2020 Paper Report: Easy Deadlock Verification and Debug with Advanced Formal Verification

At this year’s Design Automation Conference (DAC), Formal verification was everywhere – in posters, papers, and panel discussions – where…

Part 1: The 2016 Wilson Research Group Functional Verification Study

Part 1: The 2016 Wilson Research Group Functional Verification Study

FPGA Design Trends In my previous blog, I introduced the 2016 Wilson Research Group Functional Verification Study (click here). The objective…

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,…

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…

IEEE Standards Association Symposium on EDA Interoperability

IEEE Standards Association Symposium on EDA Interoperability

Low Power Flow Kicks-off Symposium In the world of electronic design automation, as an idea takes hold and works its…

Part 2: The 2012 Wilson Research Group Functional Verification Study

Part 2: The 2012 Wilson Research Group Functional Verification Study

Design Trends (Continued) In Part 1 of this series of blogs, I focused on design trends (click here) as identified…

IoT: Internet of Things

IoT: Internet of Things

Ready for 100 billion “things” connected by the Internet? The IEEE Standards Association (SA) Corporate Advisory Group (CAG) has been…

Verification Academy: Up Close & Personal

Verification Academy: Up Close & Personal

Live & In-Person at DAC 2012! Verification Academy, the brain child of Harry Foster, Chief Verification Scientist at Mentor Graphics,…

Instant Replay for Debugging SoC Level Simulations

Instant Replay for Debugging SoC Level Simulations

Instant Replay Offers Multiple Views at Any Speed If you’ve watched any professional sporting event on television lately, you’ve seen…