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

• 作者: 张保宁 罗春 钟锐
• 来源期刊: 今日电子
• 关键词: 功能验证 E语言 OVL库 断言验证
• 年，卷（期）: 2004,（12）
• 所属期刊栏目: EDA技术
• 页码范围: 77-80
• 页数: 4页
• 字数: 4125字
• 语种: 中文
• DOI: 10.3969/j.issn.1004-9606.2004.12.021

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	钟锐	东南大学国家专用集成电路系统工程技术研究中心	54	211	8.0	12.0
2	罗春	东南大学国家专用集成电路系统工程技术研究中心	12	135	7.0	11.0
3	张保宁	东南大学国家专用集成电路系统工程技术研究中心	1	0	0.0	0.0