In a recent blog for EE Times, Mike Bartley (founder and CEO) discussed Design for Verification. A short abstract of the article is outlined below.
After years of innovation in verification of increasingly complex designs, should we now turn our attention to the design process itself? He considers better collaboration between design and verification through techniques such as “assertion-driven design” and “design mutation”.
This topic will be taken up by Bryan Dickman, director of design assurance at ARM, at Verification Futures in the UK (or by remote access) on Thursday, Feb 5.