GOMACTech 2025 Preview: Improving Productivity with Parallel Simulation (Poster P.9)

Field Programmable Gate Arrays (FPGAs) continue to be a critical part of system designs, and their complexity grows as new…

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

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

osmosis 2024

The osmosis formal verification conference celebrates its 5th anniversary this October 17!

Calling all formal verification enthusiasts: We are excited to invite you to osmosis 2024, marking the 5th anniversary of this…

Learn About the Security-critical CMA/SPDM, DOE, IDE, and TDISP elements of the PCIe protocol at the 2024 PCI SIG DevCon

The Peripheral Component Interconnect Express (PCIe®) protocol is incredibly feature rich; so much so that even experienced engineers can struggle…

osmosis 2023

osmosis – our annual event for formal verification users – is coming-up on November 16!

Attention anyone interested in Formal Verification: We are thrilled to invite all formal verification enthusiasts to osmosis 2023, the premier…

3 Ways DVCon US 2023 is Going to be Different This Year

1 – The Tuesday keynote For the first F2F/IRL DVCon since 2020, the Steering Committee wanted a fresh alternative to…

osmosis 2022 - December 8, 2022 in Munich

Osmosis – our annual event for formal verification users – is back F2F this December 8, 2022!

Attention anyone interested in Formal Verification: after a hiatus due to you-know-what, osmosis is back in-person this coming December 8…

How to Mitigate the Impact of Security and Safety Flaws on Automotive ICs

Nearly 7 years ago security researchers uncovered how to remotely access and control the steering, cruise control, and braking system…

DAC 2022: The Digital Twin Reimagined – One Model To Rule Them All?

To many of us in the EDA world, using the term “digital twin” to describe how customers’ electronically model their…