信息流分析法在集成電路設(shè)計(jì)中的應(yīng)用研究.pdf

1、信專業(yè)學(xué)位碩士學(xué)位論文ApplicationofInformationFlowAnalysisinICDesign學(xué)41109130DalianUniversityofTechnology大連理工大學(xué)專業(yè)學(xué)位碩士學(xué)位論文摘要目前隨著計(jì)算機(jī)技術(shù)、電子技術(shù)和微米技術(shù)等現(xiàn)代科技的發(fā)展，電路的發(fā)展也日趨復(fù)雜，集成度逐漸提高，由此引起的集成電路的復(fù)雜性也顯著提高。而現(xiàn)代生活中電子產(chǎn)品設(shè)備已廣泛深入應(yīng)用到人們生活的很多方面，尤其是集成電路是各種電子

2、設(shè)備的主要部件，在設(shè)計(jì)、制造和應(yīng)用方面，要求集成電路設(shè)計(jì)、生產(chǎn)有更高的穩(wěn)定性和可靠性以及越來越高的安全性和經(jīng)濟(jì)性，因此如何保證集成電路能夠準(zhǔn)確可靠的工作，同時(shí)又具有較低的測(cè)試成本和較高的安全性，這不僅關(guān)系到電路的設(shè)計(jì)，而且還涉及到電路測(cè)試，驗(yàn)證和檢測(cè)等。本文從信息流控制的理論知識(shí)入手，定義和證明了信息流分析法的幾個(gè)相關(guān)性質(zhì)，闡述了信息流分析邏輯生成方法，側(cè)重于討論信息流分析研究方法在集成電路設(shè)計(jì)中的應(yīng)用。所做的主要工作表現(xiàn)在以下三個(gè)方面

3、：1提出信息流分析法的基本概念，定義信息流分析邏輯函數(shù)IFA(InformationFlowAnalysis)邏輯函數(shù)，討論IFA邏輯的基本性質(zhì)，并予以證明。通過基本門(與門，或門，異或)邏輯與形式化描述的信息流分析，分析出信息流分析邏輯潛在的不確定性，并以兩輸入多路復(fù)用選擇器(MUX2)為例進(jìn)行分析。完成對(duì)信息流分析邏輯不精確性根源的分析與證明，并以ISCAS和IWLS測(cè)試基準(zhǔn)來顯示采用不同方法生成的IFA邏輯在精確性上的差異。2進(jìn)行

4、信息流分析邏輯生成方法的研究，提出有效的IFA邏輯生成算法，并對(duì)所提出算法的復(fù)雜度與精確性進(jìn)行分析和證明。3討論了門級(jí)信息流分析的基本原理和靜態(tài)和動(dòng)態(tài)信息流的安全驗(yàn)證以及信息流分析的兩種應(yīng)用模式的應(yīng)用，結(jié)合具體實(shí)例闡述對(duì)IFA不同應(yīng)用模式下的設(shè)計(jì)方法和流程，并從靜態(tài)邏輯冒險(xiǎn)分析、錯(cuò)誤效應(yīng)傳播分析、測(cè)試向量自動(dòng)生成以及可控性與可觀測(cè)性分析等幾個(gè)方面展開討論信息流分析方法在開關(guān)電路設(shè)計(jì)中的應(yīng)用。關(guān)鍵詞：集成電路；邏輯函數(shù)；信息流分析；錯(cuò)誤效