10.3969/j.issn.1008-0570.2007.12.080
基于E语言和C参考模型的IP功能验证方案
提出并实现了一种基于E语言和C参考模型的IP功能验证方案.该方案能够自动生成验证向量并自动完成仿真结果的正确性判断,可以解决验证的充分性和验证时间之间的矛盾.使用这种方案可以有效地提高功能验证效率和质量.缩短设计周期,降低设计成本.
功能验证、E语言、C参考模型
23
TN43;TN407(微电子学、集成电路(IC))
国家重点工程型号项目
2007-06-18(万方平台首次上网日期,不代表论文的发表时间)
共3页
202-203,218