Latest posts

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…

UVM Forum 2015 LIVE!

UVM Forum 2015 LIVE!

Verification Academy Brings “UVM Live” to the Santa Clara Convention Center For everyone involved in the functional verification of electronic…