| 基于E语言和C参考模型的IP功能验证方案 |
| |
| 引用本文： | 吴向宇,李建成,王飞雪. 基于E语言和C参考模型的IP功能验证方案[J]. 微计算机信息, 2007, 23(12): 202-203 |
| |
| 作者姓名： | 吴向宇 李建成 王飞雪 |
| |
| 作者单位： | 410073,湖南长沙,国防科技大学电子科学与工程学院卫星导航研发中心 |
| |
| 摘 要： | 提出并实现了一种基于E语言和C参考模型的IP功能验证方案。该方案能够自动生成验证向量并自动完成仿真结果的正确性判断,可以解决验证的充分性和验证时间之间的矛盾。使用这种方案可以有效地提高功能验证效率和质量,缩短设计周期,降低设计成本。
|
| 关 键 词： | 功能验证 E语言 C参考模型 |
| 文章编号： | 1008-0570(2007)04-3-0202-02 |
| 修稿时间： | 2007-03-03 |
A Scheme of IP Functional Verification Based on E Language and C Reference Model |
| |
| WU XIANGYU,LI JIANCHENG,WANG FEIXUE. A Scheme of IP Functional Verification Based on E Language and C Reference Model[J]. Control & Automation, 2007, 23(12): 202-203 |
| |
| Authors: | WU XIANGYU LI JIANCHENG WANG FEIXUE |
| |
| Abstract: | A scheme of IP functional verification based on E language and C reference model is proposed and implemented. This scheme can generate verification vectors and check the correctness of the simulation results automatically. The contradiction between verification sufficiency and time can be solved. With this scheme, the efficiency and quality of functional verification can be improved effectively, then the design time can be shortened and the design cost can be reduced. |
| |
| Keywords: | functional verification E language C reference model |
| 本文献已被 万方数据 等数据库收录！ |
