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

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

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

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