通用CPU设计验证中的等价性检验方法
文献类型：期刊论文
| 作者 | 李光辉; 邵明; 李晓维 |
| 刊名 | 计算机辅助设计与图形学学报
 |
| 出版日期 | 2005 |
| 卷号 | 17期号:2 |
| 关键词 | 形式验证 模拟 等价性检验 比较点匹配 |
| 英文摘要 | 针对传统的模拟验证方法需要大量的时间且难以获得完全的覆盖率的局限性,提出了目前应用最广泛的一种形式验证方法--等价性检验在一款通用CPU设计验证中的应用方案,包括寄存器传输级(RTL)设计与门级网表、门级网表与门级网表、RTL设计与RTL设计之间的功能等价性验证.此外,给出了验证过程中一些常见问题的解决办法.验证结果表明了该方法的可行性,显著地减少了门级模拟的时间. |
| 语种 | 中文 |
| 公开日期 | 2010-11-23 |
| 源URL | [http://ictir.ict.ac.cn/handle/311040/931]  |
| 专题 | 中国科学院计算技术研究所期刊论文_2005年中文 |
| 推荐引用方式 GB/T 7714 | 李光辉,邵明,李晓维. 通用CPU设计验证中的等价性检验方法[J]. 计算机辅助设计与图形学学报,2005,17(2). |
| APA | 李光辉,邵明,&李晓维.(2005).通用CPU设计验证中的等价性检验方法.计算机辅助设计与图形学学报,17(2). |
| MLA | 李光辉,et al."通用CPU设计验证中的等价性检验方法".计算机辅助设计与图形学学报 17.2(2005). |
入库方式： OAI收割
来源：计算技术研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。