Featured posts

Latest posts

How to Reduce the Complexity of Formal Analysis – Part 2 – Reducing the Complexity of Your Assumptions

How to Reduce the Complexity of Formal Analysis – Part 2 – Reducing the Complexity of Your Assumptions

When using formal property checking, users often encounter “inconclusive” results; meaning the combined complexity of the design, assertions, and assumptions…

New UVM Cookbook Hot Off the Presses and In the Press

New UVM Cookbook Hot Off the Presses and In the Press

As you may know, we recently updated the online UVM Cookbook on Verification Academy. As you’ll see in “Updated UVM…

How to Reduce the Complexity of Formal Analysis – Part 1 – Finding Where Formal Got Stuck and Some Initial Corrective Steps to Take

How to Reduce the Complexity of Formal Analysis – Part 1 – Finding Where Formal Got Stuck and Some Initial Corrective Steps to Take

When using formal property checking, users often encounter “inconclusive” results; which means that the combined complexity of the design, assertions,…

Accellera Approves Portable Stimulus Standard – and more…

Accellera Approves Portable Stimulus Standard – and more…

Portable Stimulus Takes Center Stage at 2018 Design Automation Conference Accellera Systems Initiative technical teams have been busy the past…

Portable Stimulus (and Other Standards) at DAC

Portable Stimulus (and Other Standards) at DAC

We’re about to embark on my favorite (professional) time of the year! That’s right, the 55th Design Automation Conference is…

Siemens Acquires Austemper Design Systems

Siemens Acquires Austemper Design Systems

Breakthrough IC Functional Safety Technology Strengthens Mentor Product Offerings In today’s complex automotive, industrial, medical and aerospace systems, functional safety…

Applying Portable Stimulus at DAC

Applying Portable Stimulus at DAC

It’s that time of year once again – DAC is just around the corner! I’m very excited to be able…

Verification Academy’s DAC Must See Recommendations

Verification Academy’s DAC Must See Recommendations

This year the Verification Academy is celebrating two big events at DAC 2018. First, this is the Verification Academy’s tenth…

DAC 2018—No Man Ever Steps into the Same River Twice

DAC 2018—No Man Ever Steps into the Same River Twice

Perhaps it’s too early in the day to reference Greek philosophers, such as Heraclitus. I must admit that I haven’t…