Latest posts

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…

Debug Data API Released for First Review

Debug Data API Released for First Review

Join us to review the first public review of the Debug Data API specification! At DAC 2015 we introduced Verification…