郵箱登錄 | 所務辦公 | 收藏本站 | English | 中國科學院
 
首頁 計算所概況 新聞動態 科研成果 研究隊伍 國際交流 技術轉移 研究生教育 學術出版物 黨群園地 科學傳播 信息公開
新聞動態
計算所新聞
媒體文摘
現在位置:首頁 > 新聞動態 > 媒體文摘
給芯片當“健康顧問”
2018-12-03 | 作者:科技日报 | 【 【打印】【關閉】

   

  3S綜合驗證平台

   

  CPU芯片是現代信息技術的引擎,是數據處理的核心。我們生活中用到的電腦、智能手機、電視機、電冰箱、汽車……其中都有芯片的身影,它的質量直接關系到千家萬戶的日常生活。

  如今,芯片使用量正在呈指數級增長,對其質量的要求也越來越高。驗證、測試和容錯技術則是芯片質量保障的三道技術關卡。

  中國科學院计算技术研究所,计算机体系结构国家重点实验室常务副主任李晓维研究员带领团队自2000年起,在科技部、国家自然科学基金委和北京市科委相关项目的资助下,紧密结合国产高性能CPU芯片的研制,实现了测试验证和片上容错设计关键技术的突破。系列研究成果曾获国家技术发明奖和国家科学技术进步奖,最新研究成果已在多款高性能CPU的设计验证、测试与容错设计中转化应用,并获得了2017年度北京市科学技术奖二等奖。

  芯片也有“生病煩惱”

  芯片雖然沒有生命,但也和其它生命體一樣面臨可靠性問題,通俗可以理解爲芯片的“健康”問題。

  修複軟件的故障(通常稱之爲Bug)可以通過修改源代碼來實現,但是芯片的故障就不那麽容易修複了。

  例如在芯片設計的過程中可能會由于考慮不周,導致制造出的芯片發生功能故障。制造的過程中也會遭受芯片缺陷,導致邏輯正確的芯片仍然不能成爲合格的産品,即便在服役期也會由于一些物理機理的作用産生老化等問題。

  就像我們通過體檢可以查驗出身體可能會出現的健康問題一樣,對于芯片來說,“體檢”也是十分有必要的。

  “簡單地說,設計過程中的問題需要通過驗證的方法來解決,制造過程中遭受的一些隨機雜質等因素造成的缺陷可以通過芯片測試來篩除,而服役期的可靠性則必須通過設置一定的容錯機制來保障了。”李曉維說。

  這在很多特殊的應用領域具有非常重要的意義,也對芯片設計正確性的驗證和制造缺陷的檢測提出了迫切的需求。例如飛行在深空的航天裝備中的芯片如果出了問題很難更換,所以對可靠性的要求尤其嚴苛。

  給芯片做“産檢”

  要想讓CPU芯片一出生就“健康茁壯”,在芯片的IC設計階段,就要通過設計驗證來檢驗設計方案是否符合規範,發現不同設計階段引入的設計Bug。

  “芯片作爲人類工業史上最複雜的産業之一,設計驗證是其設計流程中的瓶頸,複雜芯片設計驗證所投入的人員和時間都已超過設計本身。”李曉維說。

  測試和驗證是非常重要的環節。如果測試和驗證的環節有問題,將會導致有問題的處理器芯片組裝到系統裏,將可能造成巨大的經濟損失。

  例如,1994年Intel奔騰芯片的浮點除法錯誤,使Intel公司損失近5億美元,就是因爲芯片在投産前未能保證設計的正確性,事後又未能測試出該問題。

 
網站地圖 | 聯系我們 | 意見反饋 | 所長信箱
 
京ICP備05002829號 京公網安備1101080060號