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 ……

What’s Going On With My SystemVerilog Queue?

What’s Going On With My SystemVerilog Queue?

I want my MTV! And while I’m at it, I’m also curious about what’s going on with my SystemVerilog queues….

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…

ISO 26262 fault analysis – worst case is really the worst

ISO 26262 fault analysis – worst case is really the worst

Worst case analysis is often a self-fulfilling prophecy: By preparing for the worst you actually make it happen. In our…

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…

No to Know VIP – Part 3

No to Know VIP – Part 3

Thus far we have talked about the importance of having a VIP which is easy to connect to the DUT…

Modeling CPU Instruction Sets with a Portable Stimulus Specification

Modeling CPU Instruction Sets with a Portable Stimulus Specification

Portable Stimulus Specification tends to bring to mind applications where a given verification scenario needs to be reused across multiple…

Getting ISO 26262 faults straight

Getting ISO 26262 faults straight

Random hardware faults – i.e. individual gates going nuts and driving a value they’re not supposed to – are practically…