| 基于覆盖率的功能验证方法 |
| |
| 引用本文： | 解咏梅,张珩,张福新,. 基于覆盖率的功能验证方法[J]. 计算机应用研究, 2005, 22(1): 23-24 |
| |
| 作者姓名： | 解咏梅 张珩 张福新 |
| |
| 作者单位： | 中国科学院,计算技术研究所,北京,100080;中国科学院,研究生院,北京,100039;中国科学院,计算技术研究所,北京,100080;中国科学院,研究生院,北京,100039;中国科学院,计算技术研究所,北京,100080;中国科学院,研究生院,北京,100039 |
| |
| 基金项目： | 国家“863”计划资助项目(2002AA1Z1040);国家自然科学基金资助项目(69896250-1) |
| |
| 摘 要： | 随着半导体技术的发展，验证已经逐渐成为大规模集成电路设计的主要瓶颈。首先介绍传统的功能验证方法并剖析其优缺点，然后引入传统方法的一种改进——基于覆盖率的验证方法，最后介绍了基于覆盖率的验证方法在一款通用微处理器功能验证中的实际应用。
|
| 关 键 词： | 功能验证 协同仿真 自测检验 基于覆盖率的方法 |
| 文章编号： | 1001-3695(2005)01-0023-02 |
Coverage-driven Approach in Functional Verification |
| |
| XIE Yong-mei,ZHANG Heng,ZHANG Fu-xin. Coverage-driven Approach in Functional Verification[J]. Application Research of Computers, 2005, 22(1): 23-24 |
| |
| Authors: | XIE Yong-mei ZHANG Heng ZHANG Fu-xin |
| |
| Abstract: | With the development of semiconductor technology, verification is becoming the major bottleneck of large scale integrated circuit design. This article introduces several conventional approaches in functional verification, then analyzes and compares all theses techniques' virtue and flaw. Base on an amelioration named coverage-driven approach is imported and it is practically applied in a general-purpose microprocessor functional verification design. |
| |
| Keywords: | Functional Verification Co-Simulation Self-checking Coverage-driven Approach |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机应用研究》浏览原始摘要信息 |
|
点击此处可从《计算机应用研究》下载全文 |
|
