CSpace  > 系统科学研究所
集成电路验证技术
刘卓军1; 吴尽昭2
2007
Source Publication中国基础科学
ISSN1009-2412
Volume000Issue:003Pages:11
Abstract  1994年,Intel开发的奔腾586处理器被发现在执行某个特定的浮点运算时出现错误.这种错误发生的几率虽然很小,27 000年才可能出现一次,但Intel还是不得不为此付出4.75亿美元的巨额代价,召回了有缺陷的奔腾处理器.1996年6月4日,欧洲航天局研制的阿里亚娜5号火箭在发射后不到40s爆炸.事后调查研究发现,问题是在当一个很大的64位浮点数转换为16位带符号整数时出现了错误.细微的错误,使得10年的努力毁于一旦.……
Language英语
Document Type期刊论文
Identifierhttp://ir.amss.ac.cn/handle/2S8OKBNM/46878
Collection系统科学研究所
Affiliation1.中国科学院数学与系统科学研究院
2.中科院成都信息技术股份有限公司
Recommended Citation
GB/T 7714
刘卓军,吴尽昭. 集成电路验证技术[J]. 中国基础科学,2007,000(003):11.
APA 刘卓军,&吴尽昭.(2007).集成电路验证技术.中国基础科学,000(003),11.
MLA 刘卓军,et al."集成电路验证技术".中国基础科学 000.003(2007):11.
Files in This Item:
There are no files associated with this item.
Related Services
Recommend this item
Bookmark
Usage statistics
Export to Endnote
Google Scholar
Similar articles in Google Scholar
[刘卓军]'s Articles
[吴尽昭]'s Articles
Baidu academic
Similar articles in Baidu academic
[刘卓军]'s Articles
[吴尽昭]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[刘卓军]'s Articles
[吴尽昭]'s Articles
Terms of Use
No data!
Social Bookmark/Share
All comments (0)
No comment.
 

Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.