How to Avoid Metastability on Reset Signal Networks, a/k/a Reset Check is the New CDC

How to Avoid Metastability on Reset Signal Networks, a/k/a Reset Check is the New CDC

It’s axiomatic that digital circuitry must initialize properly before it’s used. Once upon a time, verifying a design’s reset signaling…

5 Things I Learned at the 2016 SAE World Congress

5 Things I Learned at the 2016 SAE World Congress

A few weeks ago I had the honor of presenting a paper related to my prior Verification Horizons blog posts…

DVCon USA 2016: Heralding Formal’s New Wave

DVCon USA 2016: Heralding Formal’s New Wave

If you were wondering whether formal verification is becoming a cornerstone of mainstream verification flows, several events at the recent…

Goal posts Aren’t Only for Football – Use Them in Formal Analysis Too!

Goal posts Aren’t Only for Football – Use Them in Formal Analysis Too!

With both DVCon and the annual Super Bowl championship football game coming up, one can’t help but think of ……

R2-D2 and Ultra Low Power Design & Verification

R2-D2 and Ultra Low Power Design & Verification

[SPOILER ALERT] I suspect virtually all Verification Horizons blog readers have seen Star Wars: The Force Awakens by now, but…

Are You Struggling to Reach Timing Closure with Your Low Power Design – You May Have CDC Problems!

Are You Struggling to Reach Timing Closure with Your Low Power Design – You May Have CDC Problems!

First, if you were brought here by a desperate Google search for “timing closure tricks STA RTL” as your tape…

Formal Tech Tip: How Good Properties Can be Over-constrained and How to Fix It

Formal Tech Tip: How Good Properties Can be Over-constrained and How to Fix It

Given the dramatic increase in the scalability of formal engines over the past 5 years, “formal testbenches” have grown to…

Back to School: How to Educate Yourself and Your Colleagues About Formal and CDC Verification

Back to School: How to Educate Yourself and Your Colleagues About Formal and CDC Verification

Now that summer is over and the kids are settled into their classrooms, it’s a great time for grown-ups to…

How Formal Techniques Can Keep Hackers from Driving You into a Ditch, Part 2 of 2

How Formal Techniques Can Keep Hackers from Driving You into a Ditch, Part 2 of 2

In Part 1 of this series, inspired by security researchers that were able take over a new Jeep and drive…