納米級動態電路自動驗證方法研究

《納米級動態電路自動驗證方法研究》是依託中國人民解放軍國防科技大學，由李振濤擔任項目負責人的青年科學基金項目。

基本介紹

• 中文名：納米級動態電路自動驗證方法研究
• 項目類別：青年科學基金項目
• 項目負責人：李振濤
• 依託單位：中國人民解放軍國防科技大學

中文摘要

本項目針對納米級積體電路中噪聲、MIS效應和軟錯誤對動態電路的影響加劇，以及缺乏有效動態電路EDA驗證技術的現狀，對動態電路的時序、噪聲和軟錯誤驗證技術進行研究。基於混合時序分析方法深化動態電路時序驗證方法的研究，著重研究提高精度的測試波形生成算法和提高運行速度的關鍵技術。將混合時序分析方法套用於動態電路的噪聲分析，從噪聲對延時和動態電路穩定性的影響兩個方面展開研究。提出動態電路的軟錯誤率分析方法，對納米工藝下軟錯誤生成模型和動態電路中軟錯誤傳播分析技術展開研究。.本項目的研究，將為動態電路的時序、噪聲和軟錯誤敏感性驗證提供有效的方法，為進一步研究動態電路的自動綜合奠定基礎。在我國核心電子元器件和自主高性能微處理器的研製中，本項目的研究成果具有良好的套用前景。

結題摘要

動態電路是一種高性能的電路設計技術，在高性能微處理器和存儲器的設計中得到了廣泛套用，課題對動態電路的時序、噪聲和軟錯誤分析方法進行了研究。在時序分析方面，提出了考慮多個輸入同時翻轉的動態電路延時測試波形生成算法，採用多執行緒並行方法提高了混合時序分析的運行速度，開發了一個電晶體級時序分析工具SpiceTime；針對複雜的、規模較大的動態電路，提出了一種考慮噪聲對延時影響的自動時序驗證方法，並基於該方法實現了一個時序模型自動提取工具AutoLIB；基於二分法的思想實現了一種通用的時序模型提取方法，並完成了原型工具Dicho的設計；實現了一個電晶體級電路層次式功能模型提取工具Hfev，可用於動態電路的功能驗證。在噪聲分析方面，採用單位增益分析和噪聲容限分析方法，對多種結構的動態電路和SRAM單元進行了噪聲分析，並開發了一個噪聲分析原型工具NoiseSpy。在軟錯誤分析方面，研究並提出了納米工藝下軟錯誤生成模型和動態電路軟錯誤分析關鍵技術，開發了一個原型工具MMAT；研究了Pulse Quenching效應的距離模型，提出了一種快速軟錯誤率分析方法；基於DICE單元提出了SRAM位線SEU失效加固技術，研究了減小軟錯誤率的新型SRAM版圖加固技術；針對新型魚鰭型場效應電晶體，研究了單粒子瞬態的溫度及漏偏相關性，並對其單粒子瞬態的工藝參數相關性進行了研究。本課題在研究期間，取得了豐碩的學術成果，共發表論文27篇，其中SCI檢索論文8篇，EI檢索論文9篇；申請國家發明專利5項；培養博士研究生4名，培養碩士研究生17名。課題的多項研究成果，套用於多個軍品晶片和“核高基”項目的研製，效果顯著。