專利名稱：具有結(jié)構(gòu)化模型的集成電路設(shè)計(jì)驗(yàn)證方法
技術(shù)領(lǐng)域：
本發(fā)明涉及大規(guī)模數(shù)字集成電路設(shè)計(jì)與驗(yàn)證領(lǐng)域，尤其涉及一種具有 結(jié)構(gòu)化模型的集成電路設(shè)計(jì)驗(yàn)證方法。具體的說，本發(fā)明涉及一種數(shù)字集成電路設(shè)計(jì)結(jié)構(gòu) 化資源分析、記錄、檢查、提取，并映射到結(jié)構(gòu)化驗(yàn)證環(huán)境的功能驗(yàn)證方法。
技術(shù)背景隨著集成電路技術(shù)的發(fā)展，電路設(shè)計(jì)的規(guī)模越來越大，功能越來越復(fù) 雜。保證芯片設(shè)計(jì)按照預(yù)想的功能正常工作，已經(jīng)成為集成電路發(fā)展的一個(gè)瓶頸。隨著設(shè) 計(jì)的復(fù)雜度不斷提高，芯片功能驗(yàn)證需要的時(shí)間和資源也在不斷的增加。上市時(shí)間是一個(gè) 芯片能否取得商業(yè)成功的關(guān)鍵因素。因此芯片設(shè)計(jì)的競爭力很大程度上都體現(xiàn)在驗(yàn)證的效 率和質(zhì)量上?，F(xiàn)有技術(shù)中IC芯片設(shè)計(jì)的一般流程如圖1中的實(shí)線部分所示，首先，從需求書/ 設(shè)計(jì)規(guī)格書的分析開始，然后劃分模塊并分配任務(wù)，接著分析測點(diǎn)，然后就是搭建(編寫) 驗(yàn)證環(huán)境，進(jìn)行仿真驗(yàn)證，最后是回歸測試。在仿真測試和回歸測試的過程中，得到測點(diǎn)覆 蓋率的統(tǒng)計(jì)，會(huì)反饋到測點(diǎn)的分析過程中，直到覆蓋率達(dá)到規(guī)定的項(xiàng)目信心度為止。目前需求書/設(shè)計(jì)規(guī)格書和測點(diǎn)的分析還沒有統(tǒng)一的方法，都是基于驗(yàn)證工程師 自己對設(shè)計(jì)的理解。分析的過程很困難，而分析的結(jié)果在項(xiàng)目后續(xù)的發(fā)展中很難用得上，特 別是驗(yàn)證環(huán)境的搭建難度大，驗(yàn)證環(huán)境部件不能重復(fù)使用造成了資源的浪費(fèi)。而且由于分 析的結(jié)果因人而異，顯得很零散，不完整。進(jìn)一步的，模塊劃分后，項(xiàng)目的進(jìn)展就開始發(fā)散，如何保證劃分的模塊最后能整合 在一起，無縫連接，目前還沒有一個(gè)很好的方法，對項(xiàng)目風(fēng)險(xiǎn)來講，在項(xiàng)目后期由于模塊整 合消耗的資源會(huì)影響信心度。從資源的角度分析這個(gè)現(xiàn)有技術(shù)中IC芯片的一般設(shè)計(jì)流程，整個(gè)流程最終得到 的資源如圖2所示，在測試平臺(tái)上包括項(xiàng)目管理資源(schedule resource) 201，設(shè)計(jì)規(guī)格 書/需求書(specification/requirement) 202，以及項(xiàng)目管理資源和設(shè)計(jì)規(guī)格書/需求書 兩者之間的關(guān)聯(lián)資源203。Schedule resource 201包括一些項(xiàng)目管理的信息，比如測點(diǎn)、 優(yōu)先級(jí)、測點(diǎn)覆蓋狀態(tài)等一些結(jié)論性的、本專業(yè)一般工程師都理解的資源。對項(xiàng)目工程而言，現(xiàn)有技術(shù)中的IC芯片設(shè)計(jì)流程有三個(gè)方面的問題1.在項(xiàng)目開始階段不能有效衡量風(fēng)險(xiǎn)，要直到測點(diǎn)分析完成后才知道項(xiàng)目風(fēng)險(xiǎn)。 風(fēng)險(xiǎn)評估的時(shí)間有點(diǎn)晚，對整個(gè)項(xiàng)目的完成是非常危險(xiǎn)的。2.驗(yàn)證環(huán)境不靈活。如果想產(chǎn)生新的測試用例進(jìn)行測試，以提高信心度，就需要修 改驗(yàn)證環(huán)境，成本很高。因?yàn)闇y試用例只能適應(yīng)于當(dāng)前驗(yàn)證環(huán)境，項(xiàng)目的信心度在驗(yàn)證環(huán)境 搭建完成后很難再有提高。3.搭建驗(yàn)證環(huán)境成本太高。由于設(shè)計(jì)的復(fù)雜性導(dǎo)致搭建驗(yàn)證環(huán)境非常耗費(fèi)時(shí)間， 同時(shí)占用大部分的資源。搭建驗(yàn)證環(huán)境成為功能驗(yàn)證的重點(diǎn)和難點(diǎn)，和以覆蓋率為目標(biāo)的 功能驗(yàn)證相矛盾。我們都知道覆蓋率是功能驗(yàn)證的主要目標(biāo)。為了提高編寫驗(yàn)證環(huán)境的效率，目前數(shù)字IC設(shè)計(jì)驗(yàn)證發(fā)展了很多的高級(jí)驗(yàn)證方 法，比如AVM (高級(jí)驗(yàn)證方法學(xué)Advanced Verification Methodology), OVM(開放的驗(yàn)證 方法學(xué) Open Verification Methodology)，VMM(驗(yàn)證方法學(xué) Verification MethodologyManual)等。這些高級(jí)驗(yàn)證方法采用面向?qū)ο蟮募夹g(shù)，把一些常用的驗(yàn)證環(huán)境組件做成基本 的類。把這些類做成庫，然后集成在仿真工具中，比如modelsim、vcs等業(yè)界常用的仿真工 具。通過類的例化和繼承，實(shí)現(xiàn)驗(yàn)證部件的復(fù)用和層次化。這些高級(jí)驗(yàn)證方法能夠幫助驗(yàn) 證工程師更方便的搭建驗(yàn)證平臺(tái)，提供更加完善的測試激勵(lì)。但這些方法都存在一個(gè)問題， 那就是這些驗(yàn)證方法只是提供構(gòu)成驗(yàn)證環(huán)境組件的基本類，現(xiàn)實(shí)組件的實(shí)質(zhì)內(nèi)容還需要驗(yàn) 證工程師自己手動(dòng)搭建。驗(yàn)證方法只是在搭建驗(yàn)證平臺(tái)上提供便利，對驗(yàn)證團(tuán)隊(duì)內(nèi)部以及 驗(yàn)證團(tuán)隊(duì)和設(shè)計(jì)團(tuán)隊(duì)之間的思路交流沒有提供一個(gè)有效的平臺(tái)，因?yàn)檫@些方法學(xué)只是在軟 件語言上的一個(gè)抽象和提高，還是停留在可運(yùn)行的代碼層次。在思路分析層次，它們顯得很 無助和無奈。有些EDA公司提供了一些管理項(xiàng)目風(fēng)險(xiǎn)的工具，比如Synopsys公司的VCS工具提 供了一個(gè)叫VMM planner的項(xiàng)目管理工具。這種工具可以對測點(diǎn)和項(xiàng)目的進(jìn)展情況(測點(diǎn) 完成情況)進(jìn)行統(tǒng)計(jì)，進(jìn)而來管理和評估項(xiàng)目的風(fēng)險(xiǎn)和上市時(shí)間。但這類工具也僅僅就是 一個(gè)統(tǒng)計(jì)工具。它提供了這樣一個(gè)管理的功能，并沒有一個(gè)機(jī)制保證測點(diǎn)的完整性，也沒有 提供如何分析得到統(tǒng)計(jì)信息的方法。驗(yàn)證自動(dòng)化是指驗(yàn)證平臺(tái)自動(dòng)搭建，雖然EDA公司提供的工具可以做到提供驗(yàn)證 方法學(xué)的代碼框架，但這和具體的設(shè)計(jì)要搭建的環(huán)境是有很大的差別的。目前IC功能驗(yàn)證 的自動(dòng)化程度不高，還沒有一個(gè)從分析設(shè)計(jì)完成后就能映射出對應(yīng)驗(yàn)證環(huán)境的方法。驗(yàn)證 自動(dòng)化能提高驗(yàn)證的效率，節(jié)省很多重復(fù)性的工作，使得驗(yàn)證工程師只要專注去分析設(shè)計(jì)， 得到完整的測點(diǎn)，而不用花大量的精力去搭建驗(yàn)證平臺(tái)。如何從分析設(shè)計(jì)到自動(dòng)映射出驗(yàn) 證平臺(tái)，這是本專利要解決的問題。
發(fā)明內(nèi)容本發(fā)明的目的在于提供一種具有結(jié)構(gòu)化模型的集成電路設(shè)計(jì)驗(yàn)證方 法，在項(xiàng)目早期就能對功能測點(diǎn)進(jìn)行全面完整的分析，提高功能驗(yàn)證的自動(dòng)化程度，管理好 項(xiàng)目風(fēng)險(xiǎn)。本發(fā)明公開了一種具有結(jié)構(gòu)化模型的集成電路設(shè)計(jì)驗(yàn)證方法，包括如下步驟第一步，把多份對設(shè)計(jì)規(guī)格書/需求書分別進(jìn)行獨(dú)立結(jié)構(gòu)化分析得到的結(jié)構(gòu)化資 源記錄使用海圖覆蓋模型的方法整合，獲得覆蓋所述設(shè)計(jì)規(guī)格書/需求書的完整結(jié)構(gòu)化資 源；第二步，檢查所述完整結(jié)構(gòu)化資源，并刪除其中重復(fù)的部分；同時(shí)還利用測點(diǎn)狀 態(tài)統(tǒng)計(jì)模型檢查所有測點(diǎn)對應(yīng)的測試激勵(lì)能否產(chǎn)生，如果不能夠產(chǎn)生，則提供覆蓋測試方 案；第三步，對所述完整結(jié)構(gòu)化資源進(jìn)行資源提取映射計(jì)算，產(chǎn)生結(jié)構(gòu)化的驗(yàn)證平臺(tái)， 所述驗(yàn)證平臺(tái)進(jìn)行驗(yàn)證。本發(fā)明公開的所述的驗(yàn)證方法，還包括如下從屬技術(shù)特征在所述第一步中分別記錄所述結(jié)構(gòu)化資源記錄和所述完整結(jié)構(gòu)化資源中的敏感 資源和關(guān)系資源；并且分別記錄所述敏感資源中的輸入敏感資源、輸出敏感資源和中間變 量敏感資源。在所述第一步中還分別記錄所述敏感資源中的信號(hào)級(jí)敏感資源、事務(wù)級(jí)敏感資源 和結(jié)構(gòu)化資源級(jí)敏感資源。在所述第一步中記錄所述完整結(jié)構(gòu)化資源中的敏感資源和關(guān)系資源的方法是建立結(jié)構(gòu)化資源庫建立包括項(xiàng)目管理資源、技術(shù)規(guī)格書/需求書的索引和結(jié)構(gòu)化分析資源 的名稱、優(yōu)先級(jí)、檢查記錄以及覆蓋狀態(tài)的表格；以及分別建立與每一個(gè)所述結(jié)構(gòu)化分析資 源的名稱對應(yīng)的包括所述敏感資源和關(guān)系資源的表格。在所述第二步中還利用連接性模型將所述結(jié)構(gòu)化資源庫中所有的結(jié)構(gòu)化資源進(jìn) 行敏感資源的連接并進(jìn)行記錄組成一個(gè)系統(tǒng)架構(gòu)圖，報(bào)告并修復(fù)不能連接的敏感資源。在所述第二步中通過對所述敏感資源中的信號(hào)級(jí)敏感資源、事務(wù)級(jí)敏感資源和結(jié) 構(gòu)化資源級(jí)敏感資源進(jìn)行二維的關(guān)系分析，得到所述關(guān)系資源。在所述第二步中，還形成報(bào)告文件，用于記錄不能連接的結(jié)構(gòu)化資源及其相應(yīng)的 敏感資源，連接成功的結(jié)構(gòu)化資源，和被重復(fù)記錄的結(jié)構(gòu)化資源；并將所述報(bào)告文件反饋到 所述結(jié)構(gòu)化資源庫，用于修改和完善所述結(jié)構(gòu)化資源庫。所述第三步中對所述完整結(jié)構(gòu)化資源進(jìn)行的資源提取映射計(jì)算包括首先把所述 結(jié)構(gòu)化資源庫中的信息提取出來，再映射到結(jié)構(gòu)化驗(yàn)證環(huán)境組件。本發(fā)明公開的一種具有結(jié)構(gòu)化模型的集成電路設(shè)計(jì)驗(yàn)證方法中，對設(shè)計(jì)規(guī)格書/ 需求書(Specification/requirement)的功能點(diǎn)進(jìn)行結(jié)構(gòu)化分析，把分析得到的資源記錄 下來，對記錄下來的資源進(jìn)行有效的檢查，使得記錄的資源是完整正確 的。本發(fā)明利用連接 性模型來檢查結(jié)構(gòu)化資源的連接性，檢查是否重復(fù)記錄。它把所有的結(jié)構(gòu)化資源進(jìn)行敏感 資源的連接，組成一個(gè)系統(tǒng)架構(gòu)圖，保證所有記錄的結(jié)構(gòu)化資源都在系統(tǒng)結(jié)構(gòu)化框架圖上， 而且連接正確，這樣就能保證在項(xiàng)目發(fā)散后有一個(gè)收斂的過程。根據(jù)最終記錄的資源，利用 資源提取和映射算法產(chǎn)生結(jié)構(gòu)化的驗(yàn)證環(huán)境的組件。在思路級(jí)把測點(diǎn)和功能點(diǎn)梳理清晰， 能很好的管理項(xiàng)目風(fēng)險(xiǎn)，縮短搭建驗(yàn)證環(huán)境的時(shí)間，使項(xiàng)目平穩(wěn)收斂的發(fā)展。


圖1為本發(fā)明相關(guān)的IC芯片設(shè)計(jì)的一般步驟流程圖。圖2為現(xiàn)有IC芯片設(shè)計(jì)流程中獲得的資源的示意圖。圖3為本發(fā)明的IC芯片設(shè)計(jì)流程中獲得的資源的示意圖。圖4為本發(fā)明的結(jié)構(gòu)化思路分析模型示意圖。圖5為本發(fā)明的結(jié)構(gòu)化資源整合方式示意圖。圖6為本發(fā)明的結(jié)構(gòu)化模型驗(yàn)證方法流程圖。圖7為本發(fā)明的一個(gè)實(shí)施例中結(jié)構(gòu)化資源的類型的二維分析示意圖。圖8為本發(fā)明的結(jié)構(gòu)化資源的檢查流程示意圖。圖9為本發(fā)明的測點(diǎn)狀態(tài)統(tǒng)計(jì)模型示意圖。圖10為本發(fā)明的結(jié)構(gòu)化資源的提取和映射流程示意圖。
具體實(shí)施方式
下面結(jié)合附圖和具體實(shí)施方式
對本發(fā)明作進(jìn)一步詳細(xì)說明。如圖1所示是本發(fā)明IC芯片設(shè)計(jì)的一般步驟流程圖，就是在現(xiàn)有技術(shù)的一般步驟 中，在分析測點(diǎn)和搭建驗(yàn)證環(huán)境的步驟之間增加結(jié)構(gòu)化思路分析的步驟。(1)這里的結(jié)構(gòu)化思路分析主要是利用結(jié)構(gòu)化思路分析模型，對設(shè)計(jì)規(guī)格書/需求書 (specification/requirement)進(jìn)行結(jié)構(gòu)化分析，并把分析得到的結(jié)構(gòu)化資源記錄下來，再 利用海圖方法覆蓋模型，使記錄的結(jié)構(gòu)化資源逐漸逼近并覆蓋設(shè)計(jì)規(guī)格書。本發(fā)明方法還 檢查分析得到的資源，以確保結(jié)構(gòu)化的資源(structuredchecklist)能夠連接，還要保證記錄的資源沒有重復(fù)。分析得到的完整正確的資源，再通過資源提取映射算法，產(chǎn)生結(jié)構(gòu)化 的驗(yàn)證平臺(tái)。(2)如圖3所示為本發(fā)明的IC芯片設(shè)計(jì)流程中獲得的資源的示意圖，在測試平臺(tái)上， 不僅包括項(xiàng)目管理資源(schedule resource)和設(shè)計(jì)規(guī)格書/需求書(specification/ requirement),還包括結(jié)構(gòu)化資源(structured checklist resource),以及上述三者之間 的關(guān)聯(lián)資源；圖中301是項(xiàng)目管理資源和結(jié)構(gòu)化資源的關(guān)聯(lián)資源，302是項(xiàng)目管理資源和設(shè) 計(jì)規(guī)格書/需求書的關(guān)聯(lián)資源，303是設(shè)計(jì)規(guī)格書/需求書和結(jié)構(gòu)化分析資源的關(guān)聯(lián)資源。 (3)項(xiàng)目管理資源、技術(shù)規(guī)格書/需求書和結(jié)構(gòu)化分析資源的關(guān)聯(lián)都是結(jié)構(gòu)化資源的 名稱(structured checklist id)。(4)本發(fā)明的結(jié)構(gòu)化思路分析模型，是一種數(shù)學(xué)關(guān)系模型。結(jié)構(gòu)化的資源包括敏感資 源(輸入敏感資源、輸出敏感資源、中間變量敏感資源)和關(guān)系資源。其中關(guān)系資源的敏感 列表就是敏感資源。所述的關(guān)系就是輸入敏感資源和中間變量敏感資源如何影響輸出敏感 資源和中間變量敏感資源。這是一種非常簡單數(shù)學(xué)關(guān)系模型。同時(shí)也是非常實(shí)用和嚴(yán)謹(jǐn)?shù)?關(guān)系模型。(5)如圖4所示是本發(fā)明的結(jié)構(gòu)化思路分析模型示意圖，作為本發(fā)明的一個(gè)實(shí)施例， 項(xiàng)目管理資源(schedule resource)、技術(shù)規(guī)格書 / 需求書(specification/requirement) 和結(jié)構(gòu)化分析資源(structured checklist resource)這三種資源的記錄是利用一個(gè)關(guān)聯(lián) 的表格來實(shí)施的。參考圖4中的表格1和表格2，表格1的列屬性是項(xiàng)目管理資源、技術(shù)規(guī) 格書/需求書的索引和結(jié)構(gòu)化分析資源的名稱、優(yōu)先級(jí)、檢查記錄和覆蓋狀態(tài)等信息。表格 2是每個(gè)結(jié)構(gòu)化分析資源的具體信息。兩個(gè)表格用結(jié)構(gòu)化資源的名稱來關(guān)聯(lián)。結(jié)構(gòu)化資源 的名稱是結(jié)構(gòu)化資源的唯一標(biāo)識(shí)。每個(gè)結(jié)構(gòu)化資源的名稱對應(yīng)一個(gè)表格2，表中包括對該名 稱所對應(yīng)的結(jié)構(gòu)化資源的輸入敏感資源、輸出敏感資源、中間敏感資源和關(guān)系的分別描述。 (6)所述的海圖方法覆蓋模型是一種逼近模型。其主要思想是根據(jù)多個(gè)船隊(duì)出海的實(shí) 際經(jīng)驗(yàn)，由他們各自畫出的航海圖組合在一起，構(gòu)成一張近似接近實(shí)際的海洋實(shí)際情況的 海圖。衛(wèi)星圖像也是通過這種辦法對一個(gè)區(qū)域形成清晰的圖像。要形成清晰的圖像，需要 很多張衛(wèi)星拍攝的圖片進(jìn)行覆蓋整合才能得到。本發(fā)明方法利用這種海圖模型的逼近思 想，對記錄的結(jié)構(gòu)化資源進(jìn)行不斷調(diào)整，保證記錄的結(jié)構(gòu)化資源逼近設(shè)計(jì)，最終得到完整的 結(jié)構(gòu)化資源，達(dá)到項(xiàng)目規(guī)定的信心度。(7)如圖5所示為本發(fā)明的結(jié)構(gòu)化資源整合示意圖，圖中每種顏色代表一份記錄的結(jié) 構(gòu)化資源。根據(jù)多份記錄的結(jié)構(gòu)化資源，連接在一起，逼近并覆蓋設(shè)計(jì)。圖5中501，502， 503分別代表一份結(jié)構(gòu)化資源，504是代表圖5中的云形圖，表示一個(gè)設(shè)計(jì)包括的資源。一份 結(jié)構(gòu)化資源可以是一個(gè)工程師獨(dú)立記錄的，這樣多個(gè)工程師記錄的結(jié)構(gòu)化資源，整合在一 起就逐漸逼近整體設(shè)計(jì)了。一份結(jié)構(gòu)化資源也可以是一個(gè)工程師對自己負(fù)責(zé)的模塊在不同 階段記錄的結(jié)構(gòu)化資源，不同階段的結(jié)構(gòu)化資源整合在一起，逐漸逼近負(fù)責(zé)模塊的設(shè)計(jì)了。 (8)如圖6所示是本發(fā)明的結(jié)構(gòu)化模型驗(yàn)證方法流程圖，圖中601是結(jié)構(gòu)化資源分析，602是結(jié)構(gòu)化資源檢查，603是資源映射，604是設(shè)計(jì)規(guī)格書/需求書，605是結(jié)構(gòu)化資源，606是資源檢查模型，607是結(jié)構(gòu)化的驗(yàn)證環(huán)境。如圖6所示，首先對設(shè)計(jì)規(guī)格書/需求書 604做結(jié)構(gòu)化分析601，獲得結(jié)構(gòu)化資源605，再對結(jié)構(gòu)化資源605進(jìn)行結(jié)構(gòu)化資源檢查602 得到資源檢查模型606，對結(jié)構(gòu)化資源605進(jìn)行資源映射603得到結(jié)構(gòu)化的驗(yàn)證環(huán)境607。 以下分別詳細(xì)描述各個(gè)步驟(9)1.結(jié)構(gòu)化分析601 對設(shè)計(jì)規(guī)格書/需求書(specification/requirement) 604的功能點(diǎn)利用結(jié)構(gòu)化 思路分析模型進(jìn)行結(jié)構(gòu)化分析，得到結(jié)構(gòu)化資源605，結(jié)構(gòu)化資源605按照圖4中的關(guān)聯(lián)表 格來記錄。通過對結(jié)構(gòu)化資源605的分析，可以把一些反饋信息傳遞給設(shè)計(jì)規(guī)格書/需求 書(specification/requirement) 604，這個(gè)過程反復(fù)循環(huán)幾次，讓結(jié)構(gòu)化資源605和設(shè)計(jì) 規(guī)格書/需求書(specification/requirement) (604)在信息量上達(dá)到完整一致。(10)2.結(jié)構(gòu)化資源檢查602檢查步驟是根據(jù)資源檢查模型606來檢查結(jié)構(gòu)化資源605能否連接上，是否完整 正確。資源檢查模型606的驗(yàn)證模型主要包括兩個(gè)部分連接性模型和測點(diǎn)狀態(tài)統(tǒng)計(jì)模型。 在圖1所示的現(xiàn)有技術(shù)中的一般流程中，模塊劃分和任務(wù)分配后，項(xiàng)目發(fā)展呈發(fā)散態(tài)勢，如 何收斂，是項(xiàng)目風(fēng)險(xiǎn)評估和信心度提高都非常重視的問題。而本發(fā)明利用連接性模型來檢 查結(jié)構(gòu)化資源的連接性，檢查是否重復(fù)記錄。它把所有的結(jié)構(gòu)化資源進(jìn)行敏感資源的連接， 組成一個(gè)系統(tǒng)架構(gòu)圖，保證所有記錄的結(jié)構(gòu)化資源都在系統(tǒng)結(jié)構(gòu)化框架圖上，而且連接正 確，這樣就能保證在項(xiàng)目發(fā)散后有一個(gè)收斂的過程。測點(diǎn)狀態(tài)統(tǒng)計(jì)模型是檢查所有的測點(diǎn) 的狀態(tài)，是覆蓋到了還是沒有覆蓋到。這里說的覆蓋是指能構(gòu)造相應(yīng)的測試用例。同時(shí)可 以根據(jù)測點(diǎn)的優(yōu)先級(jí)，提供一個(gè)未覆蓋測點(diǎn)的測試方案。(11)3.資源映射603這里資源映射的步驟主要是把記錄的完整正確的結(jié)構(gòu)化資源605，利用資源提取 映射算法，產(chǎn)生結(jié)構(gòu)化的驗(yàn)證環(huán)境607。(12)本發(fā)明方法指導(dǎo)項(xiàng)目從代碼級(jí)功能驗(yàn)證轉(zhuǎn)變到思路級(jí)功能驗(yàn)證。主要是通過結(jié)構(gòu) 化的思路分析模型來分析設(shè)計(jì)規(guī)格書/需求書(specification/requirement)，記錄分析 得到的結(jié)構(gòu)化資源(structured checklist)，同時(shí)檢查結(jié)構(gòu)化資源的完整性和正確性，利 用最終完整正確的結(jié)構(gòu)化資源，產(chǎn)生結(jié)構(gòu)化的驗(yàn)證環(huán)境。(13)下面描述本發(fā)明的具體實(shí)施方案設(shè)計(jì)規(guī)格書/需求的分析利用結(jié)構(gòu)化的思路分析模型分析設(shè)計(jì)規(guī)格書/需求書，記錄相應(yīng)的結(jié)構(gòu)化資源。 根據(jù)結(jié)構(gòu)化思路分析模型的結(jié)構(gòu)和結(jié)構(gòu)化資源的需求，把獲得的敏感資源分為三個(gè)層級(jí)， 信號(hào)級(jí)、事務(wù)級(jí)、結(jié)構(gòu)化資源級(jí)。如圖7所示是本發(fā)明的結(jié)構(gòu)化分析與分析得到的結(jié)構(gòu)化資 源的關(guān)系示意圖。這是結(jié)構(gòu)化資源的類型的一個(gè)二維分析。從三種敏感資源出發(fā)，兩兩之 間的關(guān)系就是我們需要的關(guān)系資源。結(jié)構(gòu)化資源包括關(guān)系資源和對應(yīng)相關(guān)的敏感資源。信號(hào)級(jí)敏感資源是一些信號(hào)，例如控制信號(hào)。事務(wù)級(jí)敏感資源是一些完整的事務(wù)。事務(wù)是一個(gè)基本的概念，指的是從開始事件 到結(jié)束事件中間的過程。作為本專業(yè)人員，對事務(wù)是很清楚的。結(jié)構(gòu)化資源級(jí)敏感資源是一些已經(jīng)分析好的結(jié)構(gòu)化資源。這是已經(jīng)分析好的結(jié)構(gòu) 化資源的結(jié)構(gòu)化復(fù)用。
這三個(gè)層次的敏感資源之間進(jìn)行結(jié)構(gòu)化思路分析，就能得到相應(yīng)類型的結(jié)構(gòu)化資 源。分析的模型就是圖4中的表格2所示的結(jié)構(gòu)化思路分析模型。對結(jié)構(gòu)化資源的記錄，本發(fā)明方法的發(fā)明內(nèi)容中提供了一種方案，如圖4，這是一 種表格記錄模型，在這個(gè)模型中，把項(xiàng)目管理上的資源和結(jié)構(gòu)化資源關(guān)聯(lián)在一起。結(jié)構(gòu)化資源的檢查結(jié)構(gòu)化資源的檢查是保證分析記錄的結(jié)構(gòu)化資源之間的連接性，同時(shí)保證結(jié)構(gòu)化 資源沒有重復(fù)記錄。如圖8所示是本發(fā)明的結(jié)構(gòu)化資源的檢查流程示意圖，檢查流程中主 要包括連接性模型802、結(jié)構(gòu)化資源庫801、結(jié)構(gòu)化框架圖803、報(bào)告文件系統(tǒng)804。結(jié)構(gòu)化資源庫801是用來存儲(chǔ)所有分析得到的結(jié)構(gòu)化資源。連接性模型802是根據(jù)結(jié)構(gòu)化資源的敏感資源，將所有的結(jié)構(gòu)化資源進(jìn)行敏感資 源的連接，檢查不能連接上的敏感資源，確保所有的敏感資源都有出處和去處，保證分析得 到的結(jié)構(gòu)化資源在數(shù)學(xué)上保持一致性和完整性。結(jié)構(gòu)化框架圖803是根據(jù)連接性模型，把所有結(jié)構(gòu)性資源連接后形成的系統(tǒng)框架 圖。在系統(tǒng)框架圖上更加直觀的分析和檢查結(jié)構(gòu)化資源的完整性和正確性，在項(xiàng)目過程中 也是一個(gè)收斂的過程。讓所有的結(jié)構(gòu)化資源都收斂到系統(tǒng)結(jié)構(gòu)化框架圖803上。對不能收 斂的結(jié)構(gòu)化資源進(jìn)行敏感資源檢查，將這些信息反饋到結(jié)構(gòu)化資源庫，對其中的結(jié)構(gòu)化資 源進(jìn)行完善和修正。報(bào)告文件系統(tǒng)804是將連接性模型檢查結(jié)構(gòu)化資源的結(jié)果，形成報(bào)告文件，文件 反映的是連接不上的結(jié)構(gòu)化資源及其相應(yīng)的敏感資源，連接成功的結(jié)構(gòu)化資源，重復(fù)記錄 的結(jié)構(gòu)化資源等信息，并將這些信息反饋到結(jié)構(gòu)化資源庫，對其中連接不上和重復(fù)記錄的 結(jié)構(gòu)化資源進(jìn)行完善和修改。測點(diǎn)狀態(tài)統(tǒng)計(jì)模型測點(diǎn)狀態(tài)統(tǒng)計(jì)模型是對測點(diǎn)的覆蓋率進(jìn)行統(tǒng)計(jì)，對未覆蓋的測點(diǎn)提供覆蓋測試方 案。這里的測點(diǎn)覆蓋率統(tǒng)計(jì)指的不是經(jīng)過EDA仿真工具后的代碼覆蓋率的統(tǒng)計(jì)，而是指與 測點(diǎn)對應(yīng)的測試激勵(lì)能否產(chǎn)生的統(tǒng)計(jì)。如果能夠產(chǎn)生測試激勵(lì)，那么本發(fā)明方法就認(rèn)為相 應(yīng)測點(diǎn)覆蓋到了。這是一個(gè)預(yù)仿真模型。如圖9所示是本發(fā)明的測點(diǎn)狀態(tài)統(tǒng)計(jì)模型示意圖，包括如下幾個(gè)部分項(xiàng)目進(jìn)程 管理關(guān)聯(lián)資源庫901、測點(diǎn)狀態(tài)統(tǒng)計(jì)模型902、和統(tǒng)計(jì)文件系統(tǒng)，統(tǒng)計(jì)文件系統(tǒng)又包括統(tǒng)計(jì) 文件系統(tǒng)的測試管理信息903，和統(tǒng)計(jì)文件系統(tǒng)的統(tǒng)計(jì)結(jié)果信息904。項(xiàng)目進(jìn)程管理關(guān)聯(lián)資源庫901是指項(xiàng)目管理資源(schedule resource)、 技術(shù)規(guī)格書/需求書(specification/requirement)和結(jié)構(gòu)化資源(structured checklistresource)經(jīng)過結(jié)構(gòu)化分析相互關(guān)聯(lián)后形成的資源。測點(diǎn)狀態(tài)統(tǒng)計(jì)模型902是對項(xiàng)目進(jìn)程管理關(guān)聯(lián)資源庫中的資源進(jìn)行統(tǒng)計(jì)。把測點(diǎn) 的覆蓋狀態(tài)、對應(yīng)的結(jié)構(gòu)化資源和技術(shù)規(guī)格書/需求關(guān)聯(lián)起來統(tǒng)計(jì)。也就是把每個(gè)測點(diǎn)的 覆蓋狀態(tài)統(tǒng)計(jì)同時(shí)把與測點(diǎn)相對應(yīng)的結(jié)構(gòu)化資源和技術(shù)規(guī)格書/需求統(tǒng)計(jì)出來。把與每個(gè) 結(jié)構(gòu)化資源相對應(yīng)的測點(diǎn)的狀態(tài)進(jìn)行統(tǒng)計(jì)。對未覆蓋的測點(diǎn)，根據(jù)測點(diǎn)優(yōu)先級(jí)，進(jìn)行測試管理。統(tǒng)計(jì)文件系統(tǒng)是根據(jù)測點(diǎn)狀態(tài)統(tǒng)計(jì)模型，把統(tǒng)計(jì)出來的結(jié)果形成的文件系統(tǒng)。統(tǒng) 計(jì)文件系統(tǒng)主要包括兩大類信息，一類是統(tǒng)計(jì)結(jié)果信息904，一類是測試管理信息903。統(tǒng)計(jì)結(jié)果信息904主要包括測點(diǎn)的覆蓋狀態(tài)與對應(yīng)的結(jié)構(gòu)化資源，結(jié)構(gòu)化資源與對應(yīng)的測點(diǎn) 的覆蓋狀態(tài)。測試管理信息903主要包括未覆蓋的測點(diǎn)測試管理方案和與測點(diǎn)對應(yīng)的結(jié)構(gòu) 化資源。結(jié)構(gòu)化資源的提取和映射本過程是根據(jù)分析記錄的完整結(jié)構(gòu)化資源，采用資源提取和映射算法，把有效信 息提取出來，并映射到驗(yàn)證環(huán)境組件，形成驗(yàn)證驗(yàn)證環(huán)境。如圖10所示是本發(fā)明的結(jié)構(gòu)化資源的提取和映射流程示意圖，包括如下幾個(gè)部 分完整結(jié)構(gòu)化資源庫1001，資源提取和映射算法模型1002，和結(jié)構(gòu)化驗(yàn)證環(huán)境1003。
完整結(jié)構(gòu)化資源庫1001指的是經(jīng)過前面幾個(gè)步驟后，得到的覆蓋了設(shè)計(jì)的完整 結(jié)構(gòu)化資源。資源提取和映射算法模型1002是根據(jù)結(jié)構(gòu)化資源的信息，把測點(diǎn)、數(shù)據(jù)、關(guān)系資 源等信息提取出來，映射到結(jié)合結(jié)構(gòu)化驗(yàn)證環(huán)境組件。結(jié)構(gòu)化驗(yàn)證環(huán)境1003是基于事務(wù)的驗(yàn)證環(huán)境，主要包括覆蓋率、參考模型、事務(wù) 產(chǎn)生器、事務(wù)驅(qū)動(dòng)器、斷言、隨機(jī)等驗(yàn)證環(huán)境組件。以上所述，僅是本發(fā)明的較佳實(shí)施例而已，并非對本發(fā)明作任何形式上的限制約 束，雖然本發(fā)明已以較佳實(shí)施例揭露如上所述，然而并非用以限定本發(fā)明，任何熟悉本專業(yè) 的技術(shù)人員，在不脫離本發(fā)明技術(shù)方案范圍內(nèi)，當(dāng)可利用上述揭示的方法及技術(shù)內(nèi)容做出 些許的更動(dòng)或修飾為等同變化的等效實(shí)施例，但是凡是未脫離本發(fā)明技術(shù)方案的內(nèi)容，依 據(jù)本發(fā)明的技術(shù)實(shí)質(zhì)對以上實(shí)施例所作的任何簡單修改、等同變化與修飾，均仍屬于本發(fā) 明技術(shù)方案的范圍。盡管本專利提供的驗(yàn)證方法是IC驗(yàn)證方法，它同樣也適用于其他領(lǐng)域的驗(yàn)證測 試，比如軟件測試。
權(quán)利要求
具有結(jié)構(gòu)化模型的集成電路設(shè)計(jì)驗(yàn)證方法，其特征在于，包括如下步驟第一步，把多份對設(shè)計(jì)規(guī)格書/需求書分別進(jìn)行獨(dú)立結(jié)構(gòu)化分析得到的結(jié)構(gòu)化資源記錄使用海圖覆蓋模型的方法整合，獲得覆蓋所述設(shè)計(jì)規(guī)格書/需求書的完整結(jié)構(gòu)化資源；第二步，檢查所述完整結(jié)構(gòu)化資源，并刪除其中重復(fù)的部分；同時(shí)還利用測點(diǎn)狀態(tài)統(tǒng)計(jì)模型檢查所有測點(diǎn)對應(yīng)的測試激勵(lì)能否產(chǎn)生，如果不能夠產(chǎn)生，則提供覆蓋測試方案；第三步，對所述完整結(jié)構(gòu)化資源進(jìn)行資源提取映射計(jì)算，產(chǎn)生結(jié)構(gòu)化的驗(yàn)證平臺(tái)，所述驗(yàn)證平臺(tái)進(jìn)行驗(yàn)證。
2.如權(quán)利要求1所述的驗(yàn)證方法，其特征在于，在所述第一步中分別記錄所述結(jié)構(gòu)化 資源記錄和所述完整結(jié)構(gòu)化資源中的敏感資源和關(guān)系資源；并且分別記錄所述敏感資源中 的輸入敏感資源、輸出敏感資源和中間變量敏感資源。
3.如權(quán)利要求2所述的驗(yàn)證方法，其特征在于，在所述第一步中還分別記錄所述敏感 資源中的信號(hào)級(jí)敏感資源、事務(wù)級(jí)敏感資源和結(jié)構(gòu)化資源級(jí)敏感資源。
4.如權(quán)利要求3所述的驗(yàn)證方法，其特征在于，在所述第一步中記錄所述完整結(jié)構(gòu)化 資源中的敏感資源和關(guān)系資源的方法是建立結(jié)構(gòu)化資源庫建立包括項(xiàng)目管理資源、技術(shù) 規(guī)格書/需求書的索引和結(jié)構(gòu)化分析資源的名稱、優(yōu)先級(jí)、檢查記錄以及覆蓋狀態(tài)的表格； 以及分別建立與每一個(gè)所述結(jié)構(gòu)化分析資源的名稱對應(yīng)的包括所述敏感資源和關(guān)系資源 的表格。
5.如權(quán)利要求4所述的驗(yàn)證方法，其特征在于，在所述第二步中還利用連接性模型將 所述結(jié)構(gòu)化資源庫中所有的結(jié)構(gòu)化資源進(jìn)行敏感資源的連接并進(jìn)行記錄組成一個(gè)系統(tǒng)架 構(gòu)圖，報(bào)告并修復(fù)不能連接的敏感資源。
6.如權(quán)利要求5所述的驗(yàn)證方法，其特征在于，在所述第二步中通過對所述敏感資源 中的信號(hào)級(jí)敏感資源、事務(wù)級(jí)敏感資源和結(jié)構(gòu)化資源級(jí)敏感資源進(jìn)行二維的關(guān)系分析，得 到所述關(guān)系資源。
7.如權(quán)利要求5所述的驗(yàn)證方法，其特征在于，在所述第二步中，還形成報(bào)告文件，用 于記錄不能連接的結(jié)構(gòu)化資源及其相應(yīng)的敏感資源，連接成功的結(jié)構(gòu)化資源，和被重復(fù)記 錄的結(jié)構(gòu)化資源；并將所述報(bào)告文件反饋到所述結(jié)構(gòu)化資源庫，用于修改和完善所述結(jié)構(gòu) 化資源庫。
8.如權(quán)利要求7所述的驗(yàn)證方法，其特征在于，所述第三步中對所述完整結(jié)構(gòu)化資源 進(jìn)行的資源提取映射計(jì)算包括首先把所述結(jié)構(gòu)化資源庫中的信息提取出來，再映射到結(jié) 構(gòu)化驗(yàn)證環(huán)境組件。
全文摘要
本發(fā)明涉及一種具有結(jié)構(gòu)化模型的集成電路設(shè)計(jì)驗(yàn)證方法，包括把多份對設(shè)計(jì)規(guī)格書分別進(jìn)行獨(dú)立結(jié)構(gòu)化分析得到的結(jié)構(gòu)化資源記錄使用海圖覆蓋模型的方法整合，獲得覆蓋所述設(shè)計(jì)規(guī)格書的完整結(jié)構(gòu)化資源；檢查其是否全部能夠連接，并報(bào)告和修復(fù)其中不能連接的部分；還檢查完整結(jié)構(gòu)化資源中各部分之間是否有重復(fù)，并刪除其中重復(fù)的部分；同時(shí)還利用測點(diǎn)狀態(tài)統(tǒng)計(jì)模型檢查所有測點(diǎn)對應(yīng)的測試激勵(lì)能否產(chǎn)生，如果不能夠產(chǎn)生，則提供覆蓋測試方案；再對所述完整結(jié)構(gòu)化資源進(jìn)行資源提取映射計(jì)算，產(chǎn)生結(jié)構(gòu)化的驗(yàn)證平臺(tái)，驗(yàn)證平臺(tái)進(jìn)行驗(yàn)證。本發(fā)明從分析設(shè)計(jì)得出的結(jié)構(gòu)化資源自動(dòng)映射出驗(yàn)證平臺(tái)，能提高驗(yàn)證效率，節(jié)省重復(fù)性的工作，實(shí)現(xiàn)了驗(yàn)證自動(dòng)化。
文檔編號(hào)G06F17/50GK101840450SQ20101014915
公開日2010年9月22日 申請日期2010年4月7日 優(yōu)先權(quán)日2010年4月7日
發(fā)明者劉芳, 張國棟, 楊偉才, 蘇世祥, 謝崢, 連志斌, 黃瑞華 申請人:連志斌