專利名稱：一種電路功能自動(dòng)驗(yàn)證程序產(chǎn)品的制作方法
技術(shù)領(lǐng)域：
本發(fā)明屬于計(jì)算機(jī)仿真領(lǐng)域，具體涉及電路功能自動(dòng)驗(yàn)證程序產(chǎn)品。
背景技術(shù)：
集成電路的設(shè)計(jì)就是將各種庫單元電路進(jìn)行組合的過程。對(duì)各個(gè)庫單元電路或庫單元電路組合進(jìn)行驗(yàn)證是集成電路設(shè)計(jì)的重要環(huán)節(jié)。由于通過制造實(shí)際產(chǎn)品進(jìn)行驗(yàn)證既費(fèi)金錢又費(fèi)時(shí)間，所以采用計(jì)算機(jī)仿真是最行之有效的一種手段。目前使用的驗(yàn)證程序產(chǎn)品，如HSPICE、ModelSim等存在不足，主要表現(xiàn)在需自己編寫驗(yàn)證輸入代碼并逐一手工輸入，仿真后還需自己判斷仿真結(jié)果代碼的正確與錯(cuò)誤。以8個(gè)數(shù)據(jù)端的多路選擇器為例，其共有12個(gè)輸入端，也就是說有4096種輸入，如果再考慮‘0’、‘1’之外的取值‘X’和‘Z’，共有1678萬種輸入。由此可見此種驗(yàn)證不僅枯燥易錯(cuò)，且對(duì)于大型電路來說本身是一件不可完成的任務(wù)。

發(fā)明內(nèi)容
本發(fā)明就是為了避免以上不足，提供一種能夠自動(dòng)生成驗(yàn)證輸入代碼并自動(dòng)輸入，同時(shí)將仿真結(jié)果代碼同驗(yàn)證結(jié)果代碼進(jìn)行自動(dòng)判斷的電路功能自動(dòng)驗(yàn)證程序產(chǎn)品。
本發(fā)明的發(fā)明目的可以通過以下技術(shù)手段得以實(shí)現(xiàn)一種電路功能自動(dòng)驗(yàn)證程序產(chǎn)品，包括自動(dòng)驗(yàn)證工具模塊和仿真工具模塊，其特征在于操作步驟如下1.向自動(dòng)驗(yàn)證工具模塊輸入庫單元電路描述和庫單元電路功能描述；2.自動(dòng)驗(yàn)證工具模塊根據(jù)庫單元電路描述和庫單元電路功能描述生成驗(yàn)證輸入代碼和驗(yàn)證結(jié)果代碼；3.自動(dòng)驗(yàn)證工具模塊調(diào)用仿真工具模塊，并向其輸入驗(yàn)證輸入代碼，得到仿真結(jié)果代碼；4.若選擇內(nèi)部檢測(cè)，則自動(dòng)驗(yàn)證工具模塊將仿真結(jié)果代碼同驗(yàn)證結(jié)果代碼進(jìn)行比較，若相同則生成正確報(bào)告，若不同則生成錯(cuò)誤報(bào)告；5.若選擇外部檢測(cè)，則自動(dòng)驗(yàn)證工具模塊將仿真結(jié)果代碼和驗(yàn)證結(jié)果代碼轉(zhuǎn)換成其它計(jì)算機(jī)語言，交由其它使用該轉(zhuǎn)換后語言的電路功能驗(yàn)證程序產(chǎn)品進(jìn)行分析判斷。
庫單元電路功能描述包括描述輸入輸出信號(hào)之間邏輯關(guān)系和時(shí)序關(guān)系的文件。
代碼包括各種波形。
使用本產(chǎn)品，只需輸入庫單元電路描述和庫單元電路功能描述，驗(yàn)證輸入代碼的生成與輸入以及仿真結(jié)果代碼的判斷完全由計(jì)算機(jī)自動(dòng)進(jìn)行，從而使工程師不必過多干預(yù)電路功能驗(yàn)證，而可以將注意力集中到錯(cuò)誤的分析和解決上，這樣將大大提高電路設(shè)計(jì)的效率。
說明書附圖附

圖1為庫單元自動(dòng)仿真驗(yàn)證原理圖；附圖2為仿真庫單元過程示意圖；附圖3為進(jìn)行內(nèi)部檢測(cè)時(shí)的示意圖；附圖4為進(jìn)行外部檢測(cè)時(shí)的示意圖；具體實(shí)施方式
下面結(jié)合附圖對(duì)本發(fā)明作進(jìn)一步的說明。
參照?qǐng)D1和圖2，作為用戶的設(shè)計(jì)工程師將庫單元電路描述和庫單元電路功能描述提供給自動(dòng)驗(yàn)證工具模塊，自動(dòng)驗(yàn)證工具模塊根據(jù)功能描述生成測(cè)試波形并調(diào)用仿真工具模塊仿真得到仿真結(jié)果代碼，若仿真結(jié)果代碼與驗(yàn)證結(jié)果代碼不同，則生成錯(cuò)誤報(bào)告，供用戶分析和糾正錯(cuò)誤。
根據(jù)不同的仿真語言，庫單元功能仿真方法可以分為內(nèi)部檢測(cè)和外部檢測(cè)兩種。
依照?qǐng)D3的內(nèi)部檢測(cè)方法實(shí)施方式為1.自動(dòng)驗(yàn)證工具模塊利用庫單元電路功能描述生成輸入波形代碼。
2.自動(dòng)驗(yàn)證工具模塊調(diào)用仿真工具模塊，對(duì)庫單元電路和輸入波形進(jìn)行仿真。
3.自動(dòng)驗(yàn)證工具模塊比較仿真工具模塊產(chǎn)生的輸出波形和自動(dòng)驗(yàn)證工具模塊產(chǎn)生的驗(yàn)證結(jié)果波形是否一致，并產(chǎn)生相應(yīng)的報(bào)告。
依照?qǐng)D4的外部檢測(cè)方法實(shí)施方式為1.自動(dòng)驗(yàn)證工具模塊利用功能描述生成輸入波形代碼。
2.自動(dòng)驗(yàn)證工具模塊調(diào)用仿真工具模塊，對(duì)庫單元電路和輸入波形進(jìn)行仿真。
3.將各結(jié)果轉(zhuǎn)換成其他計(jì)算機(jī)語言，交由其它使用該轉(zhuǎn)換后語言的電路功能驗(yàn)證程序產(chǎn)品進(jìn)行分析判斷。
權(quán)利要求
1.一種電路功能自動(dòng)驗(yàn)證程序產(chǎn)品，包括自動(dòng)驗(yàn)證工具模塊和仿真工具模塊，其特征在于操作步驟如下(1)向自動(dòng)驗(yàn)證工具模塊輸入庫單元電路描述和庫單元電路功能描述；(2)自動(dòng)驗(yàn)證工具模塊根據(jù)庫單元電路描述和庫單元電路功能描述生成驗(yàn)證輸入代碼和驗(yàn)證結(jié)果代碼；(3)自動(dòng)驗(yàn)證工具模塊調(diào)用仿真工具模塊，并向其輸入驗(yàn)證輸入代碼，得到仿真結(jié)果代碼；(4)若選擇內(nèi)部檢測(cè)，則自動(dòng)驗(yàn)證工具模塊將仿真結(jié)果代碼同驗(yàn)證結(jié)果代碼進(jìn)行比較，若相同則生成正確報(bào)告，若不同則生成錯(cuò)誤報(bào)告；(5)若選擇外部檢測(cè)，則自動(dòng)驗(yàn)證工具模塊將仿真結(jié)果代碼和驗(yàn)證結(jié)果代碼轉(zhuǎn)換成其它計(jì)算機(jī)語言，交由其它使用該轉(zhuǎn)換后語言的電路功能驗(yàn)證程序產(chǎn)品進(jìn)行分析判斷。
2.如權(quán)利要求1所述的一種電路功能自動(dòng)驗(yàn)證程序產(chǎn)品，其特征在于所述庫單元電路功能描述包括描述輸入輸出信號(hào)之間邏輯關(guān)系和時(shí)序關(guān)系的文件。
3.如權(quán)利要求1所述的一種電路功能自動(dòng)驗(yàn)證程序產(chǎn)品，其特征在于所述代碼包括各種波形代碼。
全文摘要
一種包括自動(dòng)驗(yàn)證工具模塊和仿真工具模塊的電路功能自動(dòng)驗(yàn)證程序產(chǎn)品，操作步驟如下向自動(dòng)驗(yàn)證工具模塊輸入庫單元電路描述和庫單元電路功能描述，由其生成驗(yàn)證輸入代碼和驗(yàn)證結(jié)果代碼。自動(dòng)驗(yàn)證工具模塊調(diào)用仿真工具模塊，并向其輸入驗(yàn)證輸入代碼，得到仿真結(jié)果代碼。若選擇內(nèi)部檢測(cè)，則自動(dòng)驗(yàn)證工具模塊比較仿真結(jié)果代碼和驗(yàn)證結(jié)果代碼，若相同則生成正確報(bào)告，若不同則生成錯(cuò)誤報(bào)告；若選擇外部檢測(cè)，則自動(dòng)驗(yàn)證工具模塊將仿真結(jié)果代碼和驗(yàn)證結(jié)果代碼轉(zhuǎn)換成其它計(jì)算機(jī)語言，交由其它使用該轉(zhuǎn)換后語言的電路功能驗(yàn)證程序產(chǎn)品進(jìn)行分析判斷。庫單元電路功能描述包括描述輸入輸出信號(hào)之間邏輯關(guān)系和時(shí)序關(guān)系的文件；代碼包括各種波形代碼。
文檔編號(hào)G06F17/50GK101079077SQ20061002680
公開日2007年11月28日 申請(qǐng)日期2006年5月23日 優(yōu)先權(quán)日2006年5月23日
發(fā)明者姚海平, 潘日華 申請(qǐng)人:上海微電子設(shè)計(jì)有限公司