基于功能信息的驗(yàn)證工程學(xué)及若干驗(yàn)證技術(shù)研究.pdf

1、　　隨著集成電路設(shè)計(jì)規(guī)模的不斷增長(zhǎng)和設(shè)計(jì)復(fù)雜度的不斷提高，基于重用的設(shè)計(jì)方法成為主流的設(shè)計(jì)方法，功能驗(yàn)證成為制約設(shè)計(jì)效率提升的瓶頸。問(wèn)題的解決不但需要在技術(shù)方法上取得突破，還依賴于對(duì)整個(gè)功能驗(yàn)證領(lǐng)域內(nèi)的所有資源的有效組織和運(yùn)用，以功能驗(yàn)證為中心目標(biāo)，研究驗(yàn)證工程學(xué)是集成電路設(shè)計(jì)深入發(fā)展的必然要求。由于工程學(xué)是一門博大精深的學(xué)科，本文只重點(diǎn)研究了基于功能信息的驗(yàn)證工程學(xué)(FIVE)的體系和過(guò)程，并在FIVE的指導(dǎo)下，研究了若干驗(yàn)證支持技術(shù)

2、?！　”疚闹饕谝韵驴蒲许?xiàng)目撰寫(xiě)：(1)國(guó)家自然科學(xué)基金資助項(xiàng)目“基于平臺(tái)的SoC設(shè)計(jì)方法及其關(guān)鍵技術(shù)研究”(項(xiàng)目編號(hào)：60373076);(2)國(guó)家教育部項(xiàng)目“SOC軟硬件集成協(xié)同設(shè)計(jì)和驗(yàn)證優(yōu)化理論和方法研究”。論文的主要工作和取得的成果如下：　　1.介紹了功能驗(yàn)證的基本方法和當(dāng)前研究的進(jìn)展情況，在此基礎(chǔ)上，總結(jié)了功能驗(yàn)證方法的發(fā)展方向原則——形式化原則和抽象化原則，并從理論上論證了發(fā)展方向原則的合理性與正確性?！　?.以FI

3、VE為指導(dǎo)，研究了基于指令模板的測(cè)試激勵(lì)自動(dòng)生成方法。提出了指令模板綜合方法，使指令模板描述和指令模板實(shí)現(xiàn)完全分離，這使得模板描述可以用一種規(guī)范化的方法進(jìn)行，從而降低了描述的復(fù)雜度，增加了指令模板描述作為功能信息的可重用性?！　?.研究了基于屬性斷言的監(jiān)視器模塊自動(dòng)生成方法。在已有的設(shè)計(jì)屬性描述方法的基礎(chǔ)上，定義了一個(gè)監(jiān)視器屬性斷言子集。它是Stanford的簡(jiǎn)單斷言和PSL屬性描述語(yǔ)言在表達(dá)能力和簡(jiǎn)潔度之間的一種高效折中。定義了監(jiān)視