Formal Analysis - Verification Horizons

2026 Siemens EDA & Wilson Research Group Functional Verification Study

Are We Looking Beyond the Numbers in the 2026 Functional Verification Study?

October 28, 2026

The 2026 Functional Verification Study reveals troubling trends in first-silicon success and project schedules. But the bigger story may be how the nature of verification complexity is changing. Join Harry Foster as he explores what the findings mean for building confidence in today’s increasingly interconnected SoCs.

By Harry Foster

2 MIN READ

Siemens at DVCon India 2025: Driving the Future of Design and Verification

August 26, 2025

DVCon India 2025, taking place on September 10–11 at the Radisson Blu, Marathahalli, Bengaluru, will mark a special milestone—its 10th anniversary. Over the past decade, DVCon India has grown into one of the region’s most influential conferences for design and verification professionals. Siemens will be prominently featured across vision talks, technical papers, posters, and workshops, showcasing its leadership in AI-driven EDA, hardware-assisted verification, and formal methodologies.

By Dennis Brophy

2 MIN READ

Exploring essential concepts in Formal Verification

September 18, 2024

What is a witness? is it the same as a counterexample? A witness is a sequence of inputs that demonstrates…

By Nicolae Tusinschi

3 MIN READ

Assertions and benefits of abstractions in Formal Verification

September 11, 2024

How are assertions specified? Assertions are typically specified using languages like SystemVerilog Assertions (SVA) or Property Specification Language (PSL). These…

By Nicolae Tusinschi

3 MIN READ

Understanding Formal Verification

September 5, 2024

What is formal verification? Formal verification is a method to ensure that a hardware design behaves as intended by using…

By Nicolae Tusinschi

2 MIN READ

Accellera Day at DVCon U.S. 2024

February 19, 2024

DVCon U.S. 2024 will be a week packed with paper sessions, tutorials, panels, keynotes and more on the latest in…

By Dennis Brophy

2 MIN READ

Pro Tip: Planning to Land Your Spacecraft on Mars? You Will Need CDC, RDC, and Formal Property Checking

May 19, 2022

If you are an engineer at one of the growing number of entities looking to land a spacecraft on Mars…

By Joe Hupcey III

4 MIN READ

How to Reduce the Complexity of Formal Analysis – Part 5 – Memory Abstraction

October 23, 2018

When big counters and memories are in the active logic cone of an assertion that keeps coming up as “inconclusive”,…

By Joe Hupcey III

4 MIN READ

How to Reduce the Complexity of Formal Analysis – Part 4 – Counter Abstraction

September 28, 2018

When big counters and memories are in the active logic cone of an assertion that keeps coming up as “inconclusive”,…

By Joe Hupcey III

4 MIN READ