超大規(guī)模專用集成電路的功能仿真和驗(yàn)證.pdf

1、隨著集成電路的集成程度和功能復(fù)雜程度不斷提高,集成電路的功能驗(yàn)證難度也在不斷增加.目前,集成電路功能驗(yàn)證約占整個(gè)開發(fā)過(guò)程投入的60％-70％,是項(xiàng)目成功的關(guān)鍵.集成電路的功能驗(yàn)證需要有系統(tǒng)的方法加以支撐,并盡可能的做到自動(dòng)化,從而提高驗(yàn)證的效率.在對(duì)專用集成電路功能驗(yàn)證一般方法進(jìn)行分析后,本文以仿真驗(yàn)證流程為基礎(chǔ),提出了自動(dòng)化仿真驗(yàn)證平臺(tái)的思想,詳細(xì)閘述了該平臺(tái)的組織結(jié)構(gòu)和設(shè)計(jì)方法,并介紹了這種平臺(tái)在實(shí)際工程項(xiàng)目中的設(shè)計(jì)和應(yīng)用.首先,本

2、文介紹了集成電路功能驗(yàn)證面臨的問(wèn)題和挑戰(zhàn),然后詳細(xì)閘述了基于仿真的驗(yàn)證方法的流程,并以此為基礎(chǔ),提出了構(gòu)建自動(dòng)化功能驗(yàn)證平臺(tái)實(shí)現(xiàn)功能驗(yàn)證的設(shè)想.驗(yàn)證平臺(tái)的設(shè)計(jì)目標(biāo)是自動(dòng)化、模塊化、結(jié)構(gòu)化和多語(yǔ)言化.接著,文章對(duì)自動(dòng)化驗(yàn)證平臺(tái)的組織結(jié)構(gòu)和設(shè)計(jì)方法進(jìn)行了具體介紹.平臺(tái)主要由Testbench、參考模型、測(cè)試用例、控制腳本和仿真器等五部分構(gòu)成.Testbench和參考模型是其中的兩個(gè)重要部分.Testbench使用HDL語(yǔ)言編寫,采用層次化的

3、結(jié)構(gòu)設(shè)計(jì),由總線功能模型、嵌入式檢驗(yàn)器、harness模塊和測(cè)試層模塊等四個(gè)模塊構(gòu)成,主要任務(wù)是給RTL模型施加激勵(lì).參考模型采用C/C++等高級(jí)語(yǔ)言編寫,由測(cè)試向量生成模塊和硬件參考模塊構(gòu)成,主要任務(wù)是生成測(cè)試向最.硬件參考模塊模擬RTL模型的邏輯功能,在SystemC的基礎(chǔ)上開發(fā).測(cè)試用例使用TCL語(yǔ)言編寫,參考模型通過(guò)內(nèi)置TCL語(yǔ)言解釋器讀取測(cè)試用例文件,產(chǎn)生測(cè)試所要求的數(shù)據(jù).在UNIX系統(tǒng)環(huán)境下,Shell腳本對(duì)構(gòu)成平臺(tái)的各模塊