1、信專業(yè)學位碩士學位論文ApplicationofInformationFlowAnalysisinICDesign學41109130DalianUniversityofTechnology大連理工大學專業(yè)學位碩士學位論文摘要目前隨著計算機技術(shù)、電子技術(shù)和微米技術(shù)等現(xiàn)代科技的發(fā)展，電路的發(fā)展也日趨復雜，集成度逐漸提高，由此引起的集成電路的復雜性也顯著提高。而現(xiàn)代生活中電子產(chǎn)品設備已廣泛深入應用到人們生活的很多方面，尤其是集成電路是各種電子
2、設備的主要部件，在設計、制造和應用方面，要求集成電路設計、生產(chǎn)有更高的穩(wěn)定性和可靠性以及越來越高的安全性和經(jīng)濟性，因此如何保證集成電路能夠準確可靠的工作，同時又具有較低的測試成本和較高的安全性，這不僅關(guān)系到電路的設計，而且還涉及到電路測試，驗證和檢測等。本文從信息流控制的理論知識入手，定義和證明了信息流分析法的幾個相關(guān)性質(zhì)，闡述了信息流分析邏輯生成方法，側(cè)重于討論信息流分析研究方法在集成電路設計中的應用。所做的主要工作表現(xiàn)在以下三個方面
3、：1提出信息流分析法的基本概念，定義信息流分析邏輯函數(shù)IFA(InformationFlowAnalysis)邏輯函數(shù)，討論IFA邏輯的基本性質(zhì)，并予以證明。通過基本門(與門，或門，異或)邏輯與形式化描述的信息流分析，分析出信息流分析邏輯潛在的不確定性，并以兩輸入多路復用選擇器(MUX2)為例進行分析。完成對信息流分析邏輯不精確性根源的分析與證明，并以ISCAS和IWLS測試基準來顯示采用不同方法生成的IFA邏輯在精確性上的差異。2進行
4、信息流分析邏輯生成方法的研究，提出有效的IFA邏輯生成算法，并對所提出算法的復雜度與精確性進行分析和證明。3討論了門級信息流分析的基本原理和靜態(tài)和動態(tài)信息流的安全驗證以及信息流分析的兩種應用模式的應用，結(jié)合具體實例闡述對IFA不同應用模式下的設計方法和流程，并從靜態(tài)邏輯冒險分析、錯誤效應傳播分析、測試向量自動生成以及可控性與可觀測性分析等幾個方面展開討論信息流分析方法在開關(guān)電路設計中的應用。關(guān)鍵詞：集成電路；邏輯函數(shù)；信息流分析；錯誤效