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

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…

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…

Happy Halloween from ARM TechCon

MENTOR GRAPHICS AT ARM TECHCON This week ARM® TechCon® 2013 is being held at the…

IEEE Standards Association Symposium on EDA Interoperability

Low Power Flow Kicks-off Symposium In the world of electronic design automation, as an idea…

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…

IoT: Internet of Things

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

Verification Academy: Up Close & Personal

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

Instant Replay for Debugging SoC Level Simulations

Instant Replay Offers Multiple Views at Any Speed If you’ve watched any professional sporting event…