GMAC橋協(xié)議轉(zhuǎn)換電路的功能驗(yàn)證及激勵(lì)自動(dòng)生成方法研究.pdf

1、隨著集成電路規(guī)模以及功能復(fù)雜度的快速發(fā)展，人們?cè)絹?lái)越關(guān)注集成電路功能驗(yàn)證的效率和可靠性。本文設(shè)計(jì)完成了FT-X DSP芯片中的GMAC橋部件，并對(duì)其功能進(jìn)行了充分驗(yàn)證。針對(duì)總線(xiàn)接口類(lèi)電路，提出了一種功能規(guī)范建模方法，形成了功能規(guī)范描述語(yǔ)言?；谒鶚?gòu)建功能規(guī)范模型，提出了測(cè)試激勵(lì)自動(dòng)生成算法，并使用基于System Verilog的UVM驗(yàn)證方法學(xué)進(jìn)行了設(shè)計(jì)實(shí)現(xiàn)。為所設(shè)計(jì)的GMAC橋部件搭建驗(yàn)證平臺(tái)，并為其功能規(guī)范建模，從而自動(dòng)生成測(cè)試激

2、勵(lì)，實(shí)驗(yàn)結(jié)果證明這種方法可以有效地提高功能驗(yàn)證的時(shí)間效率和功能覆蓋率。
　　本文的主要工作包括有以下五點(diǎn)內(nèi)容：
　　1）完成FT-X DSP芯片內(nèi)部互連結(jié)構(gòu)中GMAC橋的設(shè)計(jì)實(shí)現(xiàn)工作，對(duì)其設(shè)計(jì)方法進(jìn)行總結(jié)。通過(guò)電路設(shè)計(jì)有限自動(dòng)機(jī)，分析GMAC橋電路數(shù)據(jù)傳輸過(guò)程的控制開(kāi)銷(xiāo)，并對(duì)GMAC橋電路的數(shù)據(jù)傳輸效率進(jìn)行了系統(tǒng)級(jí)環(huán)境下的實(shí)驗(yàn)驗(yàn)證，證明可以高效完成協(xié)議轉(zhuǎn)換及數(shù)據(jù)傳輸；
　　2）針對(duì)總線(xiàn)接口類(lèi)電路的功能特點(diǎn)，對(duì)其功能規(guī)范

3、的特點(diǎn)和組成成分進(jìn)行研究。在此基礎(chǔ)上，對(duì)總線(xiàn)接口類(lèi)電路的功能屬性進(jìn)行分類(lèi)，并對(duì)其功能特性進(jìn)行抽象整合，進(jìn)而建立基于功能規(guī)范的總線(xiàn)接口類(lèi)電路功能驗(yàn)證方法；
　　3）使用高階邏輯設(shè)計(jì)功能規(guī)范描述語(yǔ)言，設(shè)計(jì)信號(hào)時(shí)序關(guān)系的邏輯化表達(dá)方式，并通過(guò)BNF范式建立描述語(yǔ)言語(yǔ)法規(guī)則，建立總線(xiàn)接口類(lèi)電路功能規(guī)范點(diǎn)的形式化描述?；谛问交磉_(dá)的集成電路功能規(guī)范點(diǎn)，建立功能規(guī)范模型；
　　4）以功能規(guī)范模型為基礎(chǔ)，設(shè)計(jì)有效測(cè)試向量的生成方法，實(shí)現(xiàn)

4、總線(xiàn)接口類(lèi)電路測(cè)試向量的生成。采用功能覆蓋率驅(qū)動(dòng)的方法，結(jié)合模擬退火算法思想，自動(dòng)判斷是否采納測(cè)試向量為激勵(lì)，產(chǎn)生高效的測(cè)試激勵(lì)并保證驗(yàn)證過(guò)程的完備性；實(shí)現(xiàn)多個(gè)電路功能點(diǎn)的并行交叉驗(yàn)證，緩解了對(duì)多個(gè)功能點(diǎn)進(jìn)行驗(yàn)證時(shí)的組合爆炸問(wèn)題；使用基于System Verilog的UVM驗(yàn)證方法學(xué)，設(shè)計(jì)驗(yàn)證組件，實(shí)現(xiàn)測(cè)試激勵(lì)自動(dòng)生成算法，完成基于功能規(guī)范模型的功能驗(yàn)證系統(tǒng)設(shè)計(jì)，并完成驗(yàn)證系統(tǒng)的測(cè)試、調(diào)試工作；
　　5）對(duì)GMAC橋電路進(jìn)行功能規(guī)