Product: Questa Formal

Filter by:

Industrial-Grade AI in EDA: From Promise to Practice — A Siemens Panel at DAC 2025

June 17, 2025

Industrial-Grade AI in EDA

By Harry Foster
2 MIN READ

Generative AI: The Hype, The Hope, The Hard Truths — And the Debate at DAC

June 17, 2025

The semiconductor industry is no stranger to bold claims. But few topics today spark more debate — or more genuine…

By Harry Foster
2 MIN READ

From Rule-Based Beginnings to AI-Driven Design: Tracing the Evolution of AI in EDA

June 3, 2025

As we gear up for the 62nd Design Automation Conference (DAC) in San Francisco, one of the most anticipated events…

By Harry Foster
3 MIN READ
User2User

Closing the Gap in Software Skills for Verification Engineers

April 17, 2025

I’m excited to announce next month’s U2U (User-to-User) meeting, followed by a crucial technical training session that no hardware verification…

By Dave Rich
2 MIN READ

GOMACTech 2025 Preview: FPGA Safety and Security Policy Compliance via HDL-to-Bitstream Equivalence Checking (Session 43.5)

March 4, 2025

Security and safety policies across domains such as embedded security, defense safety, and automotive safety have been updated to require…

By Joe Hupcey III
3 MIN READ

DVCon 2025: A must for hardware design and verification engineers

February 12, 2025

I’ve attended every DVCon US conference since its inception, over 30 years ago. I’ve also given keynotes at DVCon India….

By Dave Rich
2 MIN READ

Siemens at DVCon 2025: Don’t Miss the Luncheon and More!

February 11, 2025

The latest trends in verification are in—and they’re more than just surprising. They’re alarming. Join Siemens EDA at DVCon 2025 for an exclusive luncheon…

By Harry Foster
< 1 MIN READ

Breaking the Bottleneck: A Smarter Approach to Semiconductor Verification

February 5, 2025

The semiconductor industry is facing a new reality: traditional verification methods can no longer keep pace with the rapid evolution…

By Harry Foster
< 1 MIN READ
osmosis 2024

osmosis 2024 – pushing the boundaries of formal verification

December 11, 2024

Thank you for making osmosis 2024 a success! The annual osmosis 2024 event has once again proved to be a…

By Nicolae Tusinschi
< 1 MIN READ