Latest Posts

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

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

Verilog & VHDL Debug & Weeding

A short exploration through using better debugging tools for better productivity.

Siemens EDA at the 59th Design Automation Conference

Mark your calendars for the upcoming 59th Design Automation Conference, and welcome back to the beautiful city by the bay—San…

Engineering Tools

Clearing the Fog of ISO 26262 Tool Qualification

Developing products to the ISO 26262 standard requires many activities across multiple disciplines. One of those activities is ensuring the…

RISC-V

Do You Know for Sure Your RISC-V RTL Doesn’t Contain Any Surprises?

Given the relative novelty and complexity of RISC-V RTL designs, whether you are buying a commercially supported core or downloading…

Automotive Safety Lifecycle Solutions

Key findings of a safety critical lifecycle evaluation

The demand for innovation continues to grow in safety-critical markets such as automotive, industrial, mil-aero, and medical. All Semiconductor companies…

ADAS_Empty_Cockpit

Navigating the Intersection of Safety and Security

Automotive IC safety and security continue to be hot topics across the industry, and one phrase you may often hear…

Growing Complexity of Automotive ASICs

I was recently asked to compile some data from our 2020 Wilson Research Group Functional Verification Study focused specifically on…

Meet Siemens at GOMACTech

See you at GOMACTech

Going to GOMACTech Siemens is going to GOMACTech, and I’ll be going as well as the Aerospace and Defense Solutions…