基于E语言和OVL库的功能验证方案

摘要：

提出了一种基于E语言和OVL库的功能验证解决方案,此方案可以自动产生测试矢量并确定设计缺陷的位置和严重等级.使用这种方法可以有效地缩短设计周期、降低设计成本,提高验证效率和质量.

关键词：功能验证、E语言、OVL库、断言验证

分类号：TP309;TN918;TN407

在线出版日期：2005-03-03（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：77-80