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

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

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)工作，對其設(shè)計(jì)方法進(jìn)行總結(jié)。通過電路設(shè)計(jì)有限自動(dòng)機(jī)，分析GMAC橋電路數(shù)據(jù)傳輸過程的控制開銷，并對GMAC橋電路的數(shù)據(jù)傳輸效率進(jìn)行了系統(tǒng)級環(huán)境下的實(shí)驗(yàn)驗(yàn)證，證明可以高效完成協(xié)議轉(zhuǎn)換及數(shù)據(jù)傳輸；
　　2）針對總線接口類電路的功能特點(diǎn)，對其功能規(guī)范

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

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