Latest posts

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…

Part 12: The 2014 Wilson Research Group Functional Verification Study

Part 12: The 2014 Wilson Research Group Functional Verification Study

ASIC/IC Verification Results This blog is a continuation of a series of blogs related to the 2014 Wilson Research Group…

Beating Design Complexity with VirtuaLAB

Beating Design Complexity with VirtuaLAB

Content delivery through the Internet gateway is ever changing and evolving. Today’s mechanism for delivery is more efficient, less power…

Part 11: The 2014 Wilson Research Group Functional Verification Study

Part 11: The 2014 Wilson Research Group Functional Verification Study

ASIC/IC Power Trends This blog is a continuation of a series of blogs related to the 2014 Wilson Research Group…

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…

UVM: The Next IEEE Standard (1800.2)

UVM: The Next IEEE Standard (1800.2)

Accellera Handoffs UVM to IEEE It has been a long path from Mentor’s AVM to IEEE P1800.2.  But the moment…

Verification Horizons: The DAC 2015 Issue

Verification Horizons: The DAC 2015 Issue

If you were not one of the 100’s of visitors to the Verification Academy booth at DAC 2015 and missed…

Part 10: The 2014 Wilson Research Group Functional Verification Study

Part 10: The 2014 Wilson Research Group Functional Verification Study

ASIC/IC Language and Library Adoption Trends This blog is a continuation of a series of blogs related to the 2014…