Filter by:

Latest Posts

November Issue of Verification Horizons is Out!

Now that we’re well into autumn, it’s time for our November issue of Verification Horizons….

Prologue: The 2020 Wilson Research Group Functional Verification Study

This is the first in a sequence of blogs that presents the findings from our…

UVM Transaction Coding Style

How to write a UVM transaction class? There has been a split in UVM –…

Formal Level 6: Property-Driven Development

I’ve made it to the end of my formal property checking journey. The final lesson…

Join us for Accellera Day India 2020

Accellera Day India 2020 brings focus to the pressing design and verification challenges you have…

It’s obviously a good thing to include X-propagation analysis in your constrained-random simulation testbench flow.

Reducing Area and Power Consumption while Increasing Performance with Formal-based ‘X’ Verification

[Preface: on October 15 at 8am Pacific, Product Engineer Ping Yeung will be delivering a…

How AMC 20-152A affects your DO-254 program?

The European Union Aviation Safety Agency (EASA) recently released new guidance in the development of…

Your First Step Into Formal Property Checking

I’ve been big on unit testing for a little over 10 years. In fact, I…

Watch Accellera’s DAC 2020 Functional Safety Panel

Accellera’s 57th Design Automation Conference luncheon (virtual of course!) focused attention on its Functional Safety…