Breaking the Bottleneck: A Smarter Approach to Semiconductor Verification

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

Accellera Sessions at DVCon U.S. 2025

As one of Accellera’s Global Sponsors, Siemens EDA is happy to help shape the Accellera sessions at DVCon U.S and…

osmosis 2024

osmosis 2024 – pushing the boundaries of formal verification

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

Ensuring robust reset integrity in complex SoC designs through advanced reset tree checks

One of the foundational steps in the reset domain crossing (RDC) verification process is determining the structure of the reset…

Unlocking Performance: How Computational Storage Transforms Data Processing

Computational storage devices (CSD) represent a paradigm shift in how data processing and storage are handled in modern data centers,…

Unlocking the Future of High Bandwidth Memory with Siemens and Rambus

In a recent webinar, Siemens partnered with Rambus to delve into the transformative world of High Bandwidth Memory (HBM), focusing…

Celebrating the Approval of Portable Test and Stimulus Standard (PSS) 3.0

Accellera Systems Initiative has recently announced the approval of the Portable Test and Stimulus Standard (PSS) 3.0, marking a significant milestone in…

Transforming AI with HBM: Siemens’ Avery VIP powers Rambus’ Industry-First HBM4 Memory Controller

The semiconductor industry is entering a new era, driven by advancements in memory technology and the growing influence of artificial…

Exploring essential concepts in Formal Verification

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