No one ever said that functional verification was easy. In fact, from a computer science theoretical perspective verification is considered…
At the recent DVCon in Shanghai, China, my colleague Jin Hou delivered the tutorial “Back to Basics: Doing Formal the…
Deeper Dive into First Silicon Success and Safety Critical Designs This blog is a continuation of a series of blogs…
While internet connected vehicles remain a popular target for hackers, the new breed of “smart” devices have the potential to…
ASIC/IC Language and Library Adoption Trends This blog is a continuation of a series of blogs related to the 2016…
FPGA Verification Technology Adoption Trends This blog is a continuation of a series of blogs related to the 2016 Wilson…
This is the first in a series of blogs that presents the findings from our new 2016 Wilson Research Group…
A few weeks ago I had the honor of presenting a paper related to my prior Verification Horizons blog posts…
If you were wondering whether formal verification is becoming a cornerstone of mainstream verification flows, several events at the recent…
