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

Conclusion: The 2014 Wilson Research Group Functional Verification Study

Conclusion: The 2014 Wilson Research Group Functional Verification Study

Impact of Design Size on First Silicon Success This blog is a continuation of a series of blogs related 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…

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

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

[Preface: everywhere it refers to automobiles in this post, you can also swap in “X-Ray machine”, “pacemaker”, and “aircraft”] The…

Part 9: The 2014 Wilson Research Group Functional Verification Study

Part 9: The 2014 Wilson Research Group Functional Verification Study

ASIC/IC Verification Technology Adoption Trends This blog is a continuation of a series of blogs related to the 2014 Wilson…

NEW Formal & CDC Courses on Verification Academy

NEW Formal & CDC Courses on Verification Academy

Do you have a really tough verification problem – one that takes seemingly forever for a testbench simulation to solve…

Part 5: The 2014 Wilson Research Group Functional Verification Study

Part 5: The 2014 Wilson Research Group Functional Verification Study

FPGA Verification Technology Adoption Trends This blog is a continuation of a series of blogs related to the 2014 Wilson…

Verification Academy: The Place to Meet at DAC

Verification Academy: The Place to Meet at DAC

For all things verification, you will want to stop by the Verification Academy booth #2408 at DAC to interact with…

Do Formal Apps Help D&V Engineers Cross the Chasm Into Direct Formal Property Checking? This Oracle Case Study Suggests They Do (Part 2 of 2)

Do Formal Apps Help D&V Engineers Cross the Chasm Into Direct Formal Property Checking? This Oracle Case Study Suggests They Do (Part 2 of 2)

Do automated formal apps really help D&V engineers “cross the chasm” and start using formal verification directly? In Part 1…