随着设计复杂性的跃升,以覆盖为导向的验证已经从高端解决方案转变成主力军。虽然整个EDA产业正倾向于覆盖为导向的验证,追求通用性覆盖数据库,并享用这种“新”技术带来的好处,但有个问题也应运而生:你能充分利用当前已有的所有衡量标准吗? 予以正确实现并以覆盖为导向的验证是一种用于自动创建测试代码和客观地跟踪过程的理想工具。它是以衡量标准为导向的一个验证例子。以衡量标准为导向的验证可以被宽泛地定义为任何验证过程,该过程可通过客观、自动采集的过程数据跟踪和实现自动化。下面是以衡量标准为导向的其它策略性和战术性验证方法,目前已有可用的过程数据支持这些方法,它们是:代码覆盖、功能覆盖和版本控制信息。