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

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

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

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

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