集成电路验证技术 | |
刘卓军 ; 吴尽昭 | |
2015-03-16 ; 2015-03-16 | |
关键词 | 验证技术 设计验证 芯片测试 寄存器传输级 形式化验证 模型检测 定理证明器 模拟验证方法 形式化方法 测试向量 |
其他题名 | Verification Techniques for Integrated Circuits |
中文摘要 | 1994年,Intel开发的奔腾586处理器被发现在执行某个特定的浮点运算时出现错误.这种错误发生的几率虽然很小,27 000年才可能出现一次,但Intel还是不得不为此付出4.75亿美元的巨额代价,召回了有缺陷的奔腾处理器.1996年6月4日,欧洲航天局研制的阿里亚娜5号火箭在发射后不到40s爆炸.事后调查研究发现,问题是在当一个很大的64位浮点数转换为16位带符号整数时出现了错误.细微的错误,使得10年的努力毁于一旦. |
语种 | 中文 |
出版者 | 中国基础科学 |
其他责任者 | 中科院数学与系统科学研究院 ; 中科院成都计算机应用研究所 |
内容类型 | 期刊论文 |
源URL | [http://ir.calis.edu.cn/hdl/530500/4601] |
专题 | 广西民族大学 |
推荐引用方式 GB/T 7714 | 刘卓军,吴尽昭. 集成电路验证技术[J],2015, 2015. |
APA | 刘卓军,&吴尽昭.(2015).集成电路验证技术.. |
MLA | 刘卓军,et al."集成电路验证技术".(2015). |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论