| 集成电路验证技术 |
| |
| 引用本文： | 刘卓军,吴尽昭.集成电路验证技术[J].中国基础科学,2007,9(3):11-14. |
| |
| 作者姓名： | 刘卓军 吴尽昭 |
| |
| 作者单位： | 1. 中科院数学与系统科学研究院
2. 中科院成都计算机应用研究所 |
| |
| 摘 要： | 1994年,Intel开发的奔腾586处理器被发现在执行某个特定的浮点运算时出现错误。这种错误发生的几率虽然很小,27000年才可能出现一次,但Intel还是不得不为此付出4.75亿美元的巨额代价,召回了有缺陷的奔腾处理器。1996年6月4日,欧洲航天局研制的阿里亚娜5号火箭在发射后不到40s爆炸。事后调查研究发现,问题是在当一个很大的64位浮点数转换为16位带符号整数时出现了错误。细微的错误,使得10年的努力毁于一旦。上述两个事例表明,任何系统包括集成电路系统,设计的错误和缺陷一旦造成损失,结果常常是灾难性的。一、集成电路设计技术和产业现状全…
|
Verification Techniques for Integrated Circuits |
| |
| Liu Zhuojun,Wu Jinzhao.Verification Techniques for Integrated Circuits[J].China Basic Science,2007,9(3):11-14. |
| |
| Authors: | Liu Zhuojun Wu Jinzhao |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
