基于E语言和C参考模型的IP功能验证方案

• 作者: 吴向宇 李建成 王飞雪
• 来源期刊: 科技与创新
• 关键词: 功能验证 E语言 C参考模型
• 年，卷（期）: 2007,（12）
• 所属期刊栏目: 软件时空
• 页码范围: 202-203,218
• 页数: 3页
• 分类号: TN43|TN407
• 语种: 中文
• DOI: 10.3969/j.issn.1008-0570.2007.12.080

摘要

提出并实现了一种基于E语言和C参考模型的IP功能验证方案.该方案能够自动生成验证向量并自动完成仿真结果的正确性判断,可以解决验证的充分性和验证时间之间的矛盾.使用这种方案可以有效地提高功能验证效率和质量.缩短设计周期,降低设计成本.