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…

Engineering Tools

Clearing the Fog of ISO 26262 Tool Qualification

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

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…

Guidelines to a successful ISO 26262 Lifecycle

New business models continue to drive disrupting innovation into the automotive market. This includes everything from mobility as a service, to…

Getting your Safety Architecture just right

Introduction In a recent industry survey, roughly 40% of ASIC and FPGA project starts had functional safety part of their…

The configurability dilemma creating safe ICs

A traditional automobile today consists of multiple systems controlling everything from the interior atmosphere to drive train to more advanced…

The importance of effective Safety Analysis

In the recent Wilson research industry survey, semiconductor companies reporting have made it clear that functional safety activities consume a…

The Many Flavors of Equivalence Checking: Part 6, FPGA-focused Equivalency Checking Flows

With last year’s acquisition of OneSpin, we now have a valuable addition to the solutions I described in The Many…

Logging in pyuvm

Logging in pyuvm This is part of the Python for Verification series of blog posts. The IEEE UVM specification (1800.2-2020)…