專利名稱:對(duì)電路原理圖進(jìn)行審查的方法
技術(shù)領(lǐng)域:
本發(fā)明涉及通信領(lǐng)域,尤其涉及一種對(duì)電路原理圖進(jìn)行審查的方法。
背景技術(shù):
電路原理圖的繪制是硬件設(shè)計(jì)前期過程中的一個(gè)重要環(huán)節(jié),目前工業(yè)上普遍使用EDA(電子自動(dòng)化)工具來完成電路原理圖的設(shè)計(jì)。為保證設(shè)計(jì)的可靠性,電路原理圖的設(shè)計(jì)通常需要遵循一定的設(shè)計(jì)規(guī)范,同時(shí)由于受到電路規(guī)模、電路復(fù)雜程度以及設(shè)計(jì)人員的能力和經(jīng)驗(yàn)的影響,在電路原理圖的設(shè)計(jì)過程中難免會(huì)出現(xiàn)一些錯(cuò)誤。如果這些錯(cuò)誤延續(xù)到設(shè)計(jì)后期甚至延續(xù)到實(shí)現(xiàn)和測(cè)試階段,將會(huì)給硬件的整個(gè)開發(fā)過程造成巨大的代價(jià)。因此,在電路原理圖的設(shè)計(jì)階段就應(yīng)該采取一定的措施,比如,對(duì)電路原理圖進(jìn)行自動(dòng)審查,用來盡早地發(fā)現(xiàn)設(shè)計(jì)中存在的缺陷和錯(cuò)誤,以保證設(shè)計(jì)質(zhì)量,縮短設(shè)計(jì)周期和節(jié)省設(shè)計(jì)成本。
電路原理圖的審查主要包括繪圖規(guī)范檢查(如繪圖過程器件符號(hào)不能互相重疊)、器件連接錯(cuò)誤檢查(如器件管腳是否懸空,是否存在輸入輸出沖突等)、設(shè)計(jì)邏輯錯(cuò)誤檢查(根據(jù)經(jīng)驗(yàn)來完成)等工作。
現(xiàn)有技術(shù)中一種電路原理圖的審查方法為采用人工審圖。即硬件設(shè)計(jì)者根據(jù)自己的經(jīng)驗(yàn)對(duì)電路原理圖進(jìn)行審查。該方法主要依靠硬件設(shè)計(jì)者的能力和經(jīng)驗(yàn),可以有效地利用硬件設(shè)計(jì)者的個(gè)人經(jīng)驗(yàn)積累。
該方法的缺點(diǎn)為該方法采用人工審圖,是一種非自動(dòng)化的審查方式,在實(shí)際應(yīng)用過程中,該方法的使用效果將受到硬件設(shè)計(jì)者的能力、經(jīng)驗(yàn)甚至是工作狀態(tài)的影響。因此,該方法的可靠性差、效率低和代價(jià)高,無法適應(yīng)大規(guī)模的設(shè)計(jì)工作。另外,由于硬件設(shè)計(jì)者的經(jīng)驗(yàn)積累僅限于個(gè)人,因此,該方法的推廣傳播效果也較差。
現(xiàn)有技術(shù)中另一種電路原理圖的審查方法為使用EDA(電子設(shè)計(jì)自動(dòng)化)工具內(nèi)嵌的自動(dòng)審圖功能完成電路原理圖的審查。目前常使用的EDA工具,如Protel、ViewDraw、Concept等,都帶有由EDA工具提供商提供的原理圖審查功能。該方法可以在電路原理圖的繪圖過程中方便快捷地發(fā)現(xiàn)原理圖中的錯(cuò)誤。該方法的原理示意圖如圖1所示。
該方法的缺點(diǎn)為由于EDA工具內(nèi)嵌的審查功能通常都比較有限,因此,該方法只能檢查出一些繪圖規(guī)范性錯(cuò)誤和一些簡(jiǎn)單器件物理連接錯(cuò)誤。無法檢查出一些比較復(fù)雜的邏輯設(shè)計(jì)錯(cuò)誤。同時(shí)由于EDA的審查功能是內(nèi)嵌于工具中的,只能支持一些固定功能的審查,無法根據(jù)用戶的需求進(jìn)行擴(kuò)展,也無法將用戶的設(shè)計(jì)經(jīng)驗(yàn)保存、積累和傳播,因此,該方法的推廣效果較差。
現(xiàn)有技術(shù)中另一種電路原理圖的審查方法為針對(duì)一些特定的EDA工具,設(shè)計(jì)一些原理圖審查軟件對(duì)該特定的EDA工具的功能進(jìn)行擴(kuò)展。審查軟件以插件或獨(dú)立軟件的形式存在。審查軟件通過讀取、分析EDA工具生成的原理圖數(shù)據(jù)文件獲取原理圖信息,或通過EDA工具提供的擴(kuò)展接口來獲取原理圖信息,進(jìn)而根據(jù)獲取的原理圖信息對(duì)原理圖的正確性進(jìn)行檢查。該方法可以根據(jù)用戶的需求和經(jīng)驗(yàn)定制、開發(fā)電路原理圖的審查規(guī)則,可以對(duì)原理圖實(shí)施一些復(fù)雜的邏輯設(shè)計(jì)錯(cuò)誤檢查,大大增強(qiáng)了EDA工具的審查能力。該方法的原理示意圖如圖2所示。
該方法的缺點(diǎn)為該方法中的審查軟件是根據(jù)特定的EDA工具開發(fā)的,該審查軟件必須使用該特定的EDA工具的擴(kuò)展接口,或者該審查軟件只能識(shí)別該特定的EDA工具的數(shù)據(jù)文件格式,因此,該審查軟件不能用于其它的EDA工具;在該方法中,審查規(guī)則是由程序代碼實(shí)現(xiàn)的,使用者只能通過重新編寫程序代碼對(duì)該審查規(guī)則做進(jìn)一步的定制、添加或修改,實(shí)現(xiàn)起來比較困難。因此,該方法這不利于資源的共享、經(jīng)驗(yàn)的積累和傳播。
現(xiàn)有技術(shù)中另一種電路原理圖的審查方法為開發(fā)一個(gè)獨(dú)立于EDA工具的通用審查平臺(tái)。該方法采用了將原理圖數(shù)據(jù)文件、規(guī)則執(zhí)行器、審查規(guī)則互相分離的技術(shù),該方法的原理示意圖如圖3所示,具體處理過程如下通過數(shù)據(jù)格式轉(zhuǎn)換工具將不同的EDA工具生成的原理圖數(shù)據(jù)文件轉(zhuǎn)換為統(tǒng)一的通用數(shù)據(jù)結(jié)構(gòu)文件。將規(guī)則執(zhí)行器的一組完備的基本操作使用TCL(命令工具語言)命令封裝后,提供給規(guī)則制定者,規(guī)則制定者使用這些TCL命令構(gòu)造審查規(guī)則,并將審查規(guī)則存于數(shù)據(jù)庫中。在開始對(duì)電路原理圖進(jìn)行審查時(shí),審查人員從數(shù)據(jù)庫中下載所需要的審查規(guī)則,規(guī)則執(zhí)行器根據(jù)下載的審查規(guī)則,完成對(duì)原理圖的審查工作。在該方法中,原理圖設(shè)計(jì)、審查規(guī)則的制定和審查執(zhí)行分別獨(dú)立的進(jìn)行,而且采用數(shù)據(jù)庫方式存儲(chǔ)審查規(guī)則,因此,該方法具有靈活、易于擴(kuò)展、利于資源的共享、利于經(jīng)驗(yàn)的積累和傳播等優(yōu)點(diǎn)。
該方法的缺點(diǎn)為在該方法中,審查規(guī)則是通過工具命令語言描述和錄入的,審查規(guī)則的執(zhí)行是由規(guī)則命令控制的,因此,該方法的最大的缺點(diǎn)就是不直觀,規(guī)則錄入過程比較麻煩,當(dāng)規(guī)則比較復(fù)雜時(shí),規(guī)則描述文本必然會(huì)變得比較冗長(zhǎng)、易出錯(cuò)和可讀性不好。
發(fā)明內(nèi)容
鑒于上述現(xiàn)有技術(shù)所存在的問題,本發(fā)明的目的是提供一種對(duì)電路原理圖進(jìn)行審查的方法,從而可以實(shí)現(xiàn)基于模式電路對(duì)電路原理圖進(jìn)行自動(dòng)審查。
本發(fā)明的目的是通過以下技術(shù)方案實(shí)現(xiàn)的一種模式電路的匹配方法,包括A、在待審電路原理圖中查找模式電路的特征器件和特征網(wǎng)絡(luò);B、根據(jù)所述查找到的特征器件和特征網(wǎng)絡(luò),在待審電路原理圖和模式電路之間進(jìn)行匹配。
所述的步驟A進(jìn)一步包括A1、在待審電路原理圖中查找模式電路的核心器件,如果查找到該核心器件,則執(zhí)行步驟A2;否則,模式電路的匹配流程結(jié)束;A2、在待審電路原理圖中以核心器件為中心,按寬度優(yōu)先策略由里及外查找模式電路的特征器件和特征網(wǎng)絡(luò)。
所述的步驟A2具體包括A21、將所述待審電路原理圖中查找到的核心器件和模式電路中的核心器件建立關(guān)聯(lián),還將該兩個(gè)核心器件所連接的所有網(wǎng)絡(luò)及該所有網(wǎng)絡(luò)上的器件進(jìn)行匹配,在匹配成功的器件之間建立關(guān)聯(lián);A22、檢查模式電路的特征器件和特征網(wǎng)絡(luò)中的所有器件和網(wǎng)絡(luò)在待審電路原理圖中是否均有相應(yīng)的關(guān)聯(lián),如果是,則在待審電路原理圖中查找并獲得特征器件和特征網(wǎng)絡(luò),否則,確定在待審電路原理圖中沒有查找到特征器件和特征網(wǎng)絡(luò)。
所述的步驟A21還包括依次將所述兩個(gè)核心器件所連接的所有網(wǎng)絡(luò)上的器件作為新的核心器件,將該新的核心器件所連接的所有網(wǎng)絡(luò)及該所有網(wǎng)絡(luò)上的器件進(jìn)行匹配,在匹配成功的器件之間建立關(guān)聯(lián),直到所述兩個(gè)核心器件所連接的所有網(wǎng)絡(luò)上包含的所有網(wǎng)絡(luò)和器件都進(jìn)行了匹配,并建立了關(guān)聯(lián)。
所述的步驟A21具體包括在所述器件的匹配過程中,如果模式電路中某個(gè)器件,在待審電路原理圖中只有一個(gè)器件與之匹配,則直接將該器件和所述模式電路中的某個(gè)器件建立關(guān)聯(lián);如果有一組器件與之匹配,則從該一組器件中選出一個(gè)器件和所述模式電路中的某個(gè)器件建立關(guān)聯(lián)。
所述的步驟A21具體包括按照指定的最大搜索深度,計(jì)算所述一組器件中的每個(gè)器件與模式電路中相應(yīng)器件的匹配度,從中選擇匹配度最大的一個(gè)器件和模式電路中的相應(yīng)器件建立關(guān)聯(lián)。
所述的步驟A21具體包括所述器件的匹配度等于器件的每個(gè)管腳的匹配度之和除以器件的管腳數(shù)目。
所述的步驟A21具體包括若當(dāng)前搜索深度記錄為0,管腳的匹配度等于管腳所連接的網(wǎng)絡(luò)連接的器件中存在匹配的器件數(shù)除以管腳所連接的網(wǎng)絡(luò)連接的器件數(shù);若當(dāng)前搜索深度記錄大于1,則將搜索深度減1,遞歸調(diào)用所述器件匹配度算法,計(jì)算管腳所連接的網(wǎng)絡(luò)連接的器件中存在匹配的器件的匹配度,管腳的匹配度等于管腳所連接的網(wǎng)絡(luò)連接的器件中存在匹配的器件的匹配度之和除以管腳所連接的網(wǎng)絡(luò)連接的器件數(shù)。
所述的步驟B具體包括B1、當(dāng)確認(rèn)在待審電路原理圖中查找到模式電路的特征器件和特征網(wǎng)絡(luò)后,則確認(rèn)待審電路原理圖中存在該模式電路;B2、將該模式電路中除特征器件和特征網(wǎng)絡(luò)外的所有器件和網(wǎng)絡(luò),和待審電路原理圖中相應(yīng)器件和網(wǎng)絡(luò)一一進(jìn)行匹配,在匹配成功的器件和網(wǎng)絡(luò)之間建立關(guān)聯(lián)。
一種對(duì)電路原理圖進(jìn)行審查的方法,包括C、將各種模式電路的規(guī)則存入規(guī)則數(shù)據(jù)庫中;
D、使用所述模式電路的匹配方法,在待審電路原理圖中匹配相應(yīng)的模式電路,并根據(jù)所述存入規(guī)則數(shù)據(jù)庫中的模式電路的規(guī)則,對(duì)待審電路原理圖進(jìn)行審查。
所述的步驟C具體包括C1、建立模式電路的通用數(shù)據(jù)格式描述文件;C2、使用所述模式電路的通用數(shù)據(jù)格式描述文件描述模式電路規(guī)則的核心部分,使用工具命令語言描述模式電路規(guī)則的其它輔助部分,并將生成的通用格式數(shù)據(jù)文件和規(guī)則描述腳本錄入規(guī)則數(shù)據(jù)庫中。
所述的步驟C1具體包括C11、在電子設(shè)計(jì)自動(dòng)化EDA工具中繪制模式電路的原理圖;C12、使用轉(zhuǎn)換工具,將EDA工具生成的模式電路的原理圖轉(zhuǎn)換為一種與EDA工具無關(guān)的通用數(shù)據(jù)格式描述文件。
所述的步驟C2具體包括使用工具命令語言描述模式電路規(guī)則的輔助信息,該輔助信息包括模式電路規(guī)則的名稱信息、模式電路的核心器件信息和特征器件和特征網(wǎng)絡(luò)信息。
所述的步驟C2具體包括使用工具命令語言給模式電路中的每個(gè)器件和網(wǎng)絡(luò)附加一個(gè)約束屬性,該約束屬性對(duì)應(yīng)一段工具命令語言腳本。
所述的步驟D具體包括D1、確定需要和待審電路原理圖進(jìn)行匹配處理的各種模式電路,從所述規(guī)則數(shù)據(jù)庫中下載該各種模式電路的模式電路規(guī)則;D2、使用所述模式電路的匹配方法,在待審電路原理圖中分別匹配所述各種模式電路,記錄在匹配過程中發(fā)現(xiàn)的待審電路原理圖中的錯(cuò)誤,并根據(jù)所述下載的模式電路規(guī)則,對(duì)待審電路原理圖進(jìn)行審查。
所述的步驟D2具體包括在所述下載的模式電路規(guī)則中,取出在待審電路原理圖和模式電路之間相匹配的器件和網(wǎng)絡(luò)的約束屬性對(duì)應(yīng)的工具命令語言腳本,執(zhí)行該工具命令語言腳本,根據(jù)執(zhí)行結(jié)果完成對(duì)該器件和網(wǎng)絡(luò)的屬性檢查。
所述的步驟D還包括在EDA工具中繪制待審電路原理圖,使用EDA工具自帶的審查功能對(duì)待審電路原理圖進(jìn)行初步審查,并將待審電路原理圖文件轉(zhuǎn)換為一種獨(dú)立于EDA工具的通用格式數(shù)據(jù)文件。
由上述本發(fā)明提供的技術(shù)方案可以看出,本發(fā)明和現(xiàn)有技術(shù)相比,具有如下優(yōu)點(diǎn)1、模式電路規(guī)則描述簡(jiǎn)單,直接使用模式電路的通用格式數(shù)據(jù)文件描述模式電路規(guī)則的核心部分。
2、按模式定位、模式確認(rèn)和連接匹配的步驟,由粗到細(xì)地在模式電路和待審電路原理圖之間進(jìn)行匹配,可以有效地減少模式電路匹配過程中的開銷。
3、基于模式電路規(guī)則的描述方法和模式電路的匹配方法,可以有效、快速地根據(jù)模式電路對(duì)待審電路原理圖進(jìn)行審查。
圖1為使用EDA工具內(nèi)嵌的自動(dòng)審圖功能對(duì)電路原理圖進(jìn)行審查的原理示意圖;圖2為使用審查軟件對(duì)電路原理圖進(jìn)行審查的原理示意圖;圖3為使用通用審查平臺(tái)對(duì)電路原理圖進(jìn)行審查的原理示意圖;圖4為本發(fā)明所述模式電路的匹配方法的具體處理流程圖;圖5為搜索深度和匹配關(guān)系的示意圖;
圖6為本發(fā)明所述模式電路規(guī)則的描述方法的具體處理流程圖;圖7為本發(fā)明所述對(duì)電路原理圖進(jìn)行審查的方法的原理示意圖;圖8為本發(fā)明所述對(duì)電路原理圖進(jìn)行審查的方法的具體處理流程圖。
具體實(shí)施例方式
本發(fā)明提供了一種對(duì)電路原理圖進(jìn)行審查的方法,本發(fā)明的核心為直接使用模式電路的通用格式數(shù)據(jù)文件描述模式電路規(guī)則的核心部分,采用電路原理-規(guī)則執(zhí)行器-審查規(guī)則分離的模式,基于模式電路匹配對(duì)電路原理圖進(jìn)行自動(dòng)審查。
為了更好地描述本發(fā)明,我們先簡(jiǎn)單介紹一下模式電路。
模式電路是一種符合設(shè)計(jì)規(guī)范的常用電路片斷。在電路圖的設(shè)計(jì)過程中,往往存在著一些實(shí)現(xiàn)特定功能的電路片斷,該電路片斷中包含一些器件之間有著固定的連接、每個(gè)器件具有固定的屬性的特定器件,這些特定器件的連接關(guān)系和屬性配置是來自于實(shí)踐經(jīng)驗(yàn)并已被驗(yàn)證是正確的。該電路片斷就是電路圖中的一種模式電路,或稱標(biāo)準(zhǔn)電路圖。
下面結(jié)合附圖來詳細(xì)描述本發(fā)明所述方法,本發(fā)明首先提出了一種模式電路的匹配方法,該方法的具體處理流程圖如圖4所示,包括如下步驟步驟4-1確定待審電路原理圖和相應(yīng)的模式電路。
模式電路的匹配就是要在待審查電路原理圖上尋找與模式電路匹配的電路片斷,并建立模式電路與待審查電路的對(duì)應(yīng)的器件和連接關(guān)系的聯(lián)系。
首先需要確定待審查電路原理圖,然后確定相應(yīng)的需要匹配的模式電路。該相應(yīng)的模式電路來自以往設(shè)計(jì)的一些經(jīng)驗(yàn)積累,是直接從以往設(shè)計(jì)的原理圖中摘錄下的具有典型應(yīng)用的規(guī)范電路片斷或者根據(jù)這些規(guī)范電路片斷重新繪制的電路原理圖。
步驟4-2在待審電路原理圖中查找模式電路的核心器件。
模式電路的核心器件是模式電路中最有代表性的器件,如果待審電路原理圖中出現(xiàn)該器件,則其存在該模式電路的可能性將比較大。于是,在待審電路原理圖查找模式電路的核心器件,如果查找到,則執(zhí)行步驟4-3;否則,執(zhí)行步驟4-3。
步驟4-3將待審電路原理圖和模式電路中的核心器件建立關(guān)聯(lián),匹配該器件所連接的所有網(wǎng)絡(luò)及網(wǎng)絡(luò)上的器件。
如果在待審電路原理圖中查找到模式電路的核心器件,則在待審電路原理圖中以核心器件為中心,按寬度優(yōu)先策略由里及外搜索模式電路的特征器件和特征網(wǎng)絡(luò)。特征器件和特征網(wǎng)絡(luò)是模式電路的標(biāo)識(shí),如果在待審電路原理圖中存在與特征網(wǎng)絡(luò)和特征器件匹配的電路片斷,則認(rèn)為該圖存在與模式電路匹配的電路;如果不存在與特征網(wǎng)絡(luò)和特征器件匹配的電路片斷,則認(rèn)為該模式電路在待審電路原理圖中不存在。特征網(wǎng)絡(luò)和特征器件的具體搜索過程如下將模式電路中核心器件與待審電路原理圖中相應(yīng)的器件建立關(guān)聯(lián),即在待審電路原理圖和模式電路中相應(yīng)的器件對(duì)象和網(wǎng)絡(luò)對(duì)象的數(shù)據(jù)結(jié)構(gòu)中加入一個(gè)關(guān)聯(lián)屬性,該關(guān)聯(lián)屬性的屬性值為對(duì)象指針,將待審電路原理圖的關(guān)聯(lián)對(duì)象指針指向模式電路的相應(yīng)對(duì)象,同時(shí)將模式電路的關(guān)聯(lián)對(duì)象指針指向待審電路原理圖的相應(yīng)對(duì)象。
將待審電路原理圖中相應(yīng)的器件加入單匹配器件列表。單匹配器件是指模式電路中某個(gè)網(wǎng)絡(luò)連接的某個(gè)器件,在待審電路原理圖中匹配網(wǎng)絡(luò)所連接的器件中只有一個(gè)器件與之匹配。如果有多個(gè)器件與之匹配,則稱為多匹配器件。
從單匹配器件列表中取出第一個(gè)器件,即取出所述待審電路原理圖中相應(yīng)的器件,在模式電路和待審電路原理圖之間匹配該器件所連接的所有網(wǎng)絡(luò),并將該所有網(wǎng)絡(luò)都建立關(guān)聯(lián),同時(shí)對(duì)于其中的每個(gè)網(wǎng)絡(luò),匹配網(wǎng)絡(luò)所連接的所有器件并建立關(guān)聯(lián),如果是單匹配器件,則將器件加入單匹配器件列表;否則將電路原理圖中與模式電路中器件匹配的器件組加入多匹配列表。
步驟4-4在待審電路原理圖中不存在該模式電路。
如果在待審電路原理圖中沒有查找到模式電路的核心器件,則認(rèn)為在待審電路原理圖中不存在該模式電路,模式電路的匹配流程結(jié)束。
步驟4-5將網(wǎng)絡(luò)上的所有器件加入單匹配器件列表或多匹配器件列表,匹配單匹配器件列表或多匹配器件列表中的器件所連接的所有網(wǎng)絡(luò)及網(wǎng)絡(luò)上的器件。
從單匹配器件列表中逐個(gè)依次取出所有器件,在模式電路和待審電路原理圖之間匹配并建立關(guān)聯(lián)該器件所連接的所有網(wǎng)絡(luò),同時(shí),匹配并建立關(guān)聯(lián)該所有網(wǎng)絡(luò)上的器件,將其中的單匹配器件加入單匹配器件列表,將其中的多匹配器件加入多匹配器件列表。
再從單匹配器件列表中逐個(gè)依次取出所有器件,進(jìn)行同樣的匹配和建立關(guān)聯(lián)的操作,直到單匹配器件列表為空。
在單匹配器件列表為空后,指定一個(gè)最大搜索深度,搜索深度是指在匹配過程以核心器件為中心離核心器件最遠(yuǎn)的器件與核心器件連接經(jīng)過的中間器件個(gè)數(shù),該參數(shù)在審查開始時(shí)由用戶來指定,用來控制匹配的準(zhǔn)確程度,搜索深度越大,匹配越準(zhǔn)確,但需要的時(shí)間越長(zhǎng),可以權(quán)衡時(shí)間和精度的關(guān)系選擇一個(gè)適當(dāng)?shù)闹?。比如,在圖5所示的搜索深度和匹配關(guān)系的示意圖中c0為核心器件,模式電路和待審電路原理圖中的器件的匹配關(guān)聯(lián)為C0匹配c0,C1匹配c1,C2匹配c2,C3匹配c3,C4匹配c4,C5匹配c5。當(dāng)搜索深度指定為1時(shí),搜索到的匹配器件為c1、c2、c3。當(dāng)搜索深度指定為2時(shí),搜索到的匹配器件為c4、c5。
從多匹配器件列表中取第一個(gè)器件組,按照指定的最大搜索深度,計(jì)算器件組中每個(gè)器件與模式電路中相應(yīng)器件的匹配度,計(jì)算器件匹配度的過程如下1、首先計(jì)算器件的每個(gè)管腳的匹配度。
管腳匹配度定義為管腳所連接的網(wǎng)絡(luò)的匹配度,按如下過程計(jì)算在待審電路原理圖中匹配模式電路中網(wǎng)絡(luò)連接的所有器件。
若當(dāng)前搜索深度記錄為0,則網(wǎng)絡(luò)匹配度=網(wǎng)絡(luò)連接的器件中存在匹配的器件數(shù)/網(wǎng)絡(luò)連接的器件數(shù);若當(dāng)前搜索深度記錄大于1,則將搜索深度減1,遞歸調(diào)用器件匹配度算法,計(jì)算網(wǎng)絡(luò)連接的器件中存在匹配的器件的匹配度。網(wǎng)絡(luò)匹配度=網(wǎng)絡(luò)連接的器件中存在匹配的器件的匹配度之和/網(wǎng)絡(luò)連接的器件數(shù)。
上述計(jì)算出來的網(wǎng)絡(luò)匹配度即為管腳的匹配度。
2、計(jì)算器件匹配度。
器件匹配度=管腳匹配度之和/管腳數(shù)目。
在計(jì)算出來了器件匹配度之后,從中選擇匹配度最大的一個(gè)器件與模式電路中的相應(yīng)器件建立關(guān)聯(lián),并將器件加入單匹配器件列表中,再從單匹配器件列表中取出該器件,進(jìn)行上面所述的匹配和建立關(guān)聯(lián)的操作,然后,從多匹配器件列表中取第二個(gè)器件組,按照指定的最大搜索深度,進(jìn)行上面所述的匹配和建立關(guān)聯(lián)的操作。直到多匹配器件列表為空,匹配和建立關(guān)聯(lián)的過程結(jié)束。
步驟4-6判斷待審電路原理圖中是否存在特征器件和特征網(wǎng)絡(luò)。
檢查模式電路中的特征器件和特征網(wǎng)絡(luò),如果特征器件和特征網(wǎng)絡(luò)中的所有器件和網(wǎng)絡(luò)在待審電路原理圖中均有相應(yīng)的關(guān)聯(lián),則表明待審電路原理圖中存在特征器件和特征網(wǎng)絡(luò),執(zhí)行步驟4-7;否則,執(zhí)行步驟4-4。
步驟4-7將待審電路原理圖中除特征器件和特征網(wǎng)絡(luò)外的器件和網(wǎng)絡(luò)與模式電路中的相應(yīng)器件和網(wǎng)絡(luò)一一匹配,建立關(guān)聯(lián)。
當(dāng)確認(rèn)待審電路原理圖中存在特征器件和特征網(wǎng)絡(luò)后,則確認(rèn)待審電路原理圖中存在該模式電路。于是,將待審電路原理圖中除特征器件和特征網(wǎng)絡(luò)外的器件和網(wǎng)絡(luò)與模式電路中的相應(yīng)器件和網(wǎng)絡(luò)一一匹配,建立關(guān)聯(lián)。
匹配的具體過程和步驟4-3和步驟4-5所述的匹配過程相同。如果待審電路原理圖中除特征器件和特征網(wǎng)絡(luò)外的器件和網(wǎng)絡(luò)與模式電路中的相應(yīng)器件和網(wǎng)絡(luò)不能完全匹配,則說明待審電路原理圖中存在設(shè)計(jì)錯(cuò)誤。
本發(fā)明還提出了一種模式電路規(guī)則的描述方法,該方法的具體處理流程如圖6所示,包括如下步驟步驟6-1、在EDA工具中繪制模式電路。
該方法首先需要在EDA工具中繪制模式電路的原理圖。
步驟6-2、將模式電路轉(zhuǎn)換為一種通用數(shù)據(jù)格式描述文件。
使用一定的轉(zhuǎn)換工具,將EDA工具生成的模式電路的原理圖轉(zhuǎn)換為一種與EDA工具無關(guān)的通用數(shù)據(jù)格式描述文件。
步驟6-3、使用模式電路的通用數(shù)據(jù)格式描述文件描述模式電路規(guī)則的核心部分。
使用上述轉(zhuǎn)換生成的通用數(shù)據(jù)格式描述文件,描述模式電路規(guī)則的核心部分。
步驟6-4、使用工具命令語言描述模式電路規(guī)則的輔助信息。
在描述了模式電路規(guī)則的核心部分后,使用工具命令語言描述模式電路規(guī)則的輔助信息。其中包括模式電路規(guī)則的名稱、模式電路對(duì)應(yīng)的通用格式數(shù)據(jù)文件、模式電路的核心器件、特征器件和特征網(wǎng)絡(luò)等信息。
步驟6-5、使用工具命令語言描述模式電路中器件和網(wǎng)絡(luò)的屬性檢查。
對(duì)于模式電路中的每個(gè)器件和網(wǎng)絡(luò),使用工具命令語言附加一個(gè)約束屬性。該約束屬性對(duì)應(yīng)一段工具命令語言腳本,該工具命令語言腳本用于描述對(duì)該器件的各種屬性約束。
基于上面所述的模式電路的匹配方法和模式電路規(guī)則的描述方法,本發(fā)明最后提出了一種電路原理圖的審查方法,該方法采用電路原理一規(guī)則執(zhí)行器-審查規(guī)則分離的模式,其原理示意圖如圖7所示,該方法的具體處理流程如圖8所示,包括如下步驟步驟8-1、將模式電路規(guī)則錄入數(shù)據(jù)庫。
按照上面所述的模式電路規(guī)則的描述方法,生成各種模式電路的通用格式數(shù)據(jù)文件和規(guī)則描述腳本,將該通用格式數(shù)據(jù)文件和規(guī)則描述腳本錄入規(guī)則數(shù)據(jù)庫中。
步驟8-2、使用EDA工具對(duì)待審電路原理圖進(jìn)行初步審查。
在EDA工具中繪制待審電路原理圖,繪制完成后,使用EDA工具攜帶的審查工具對(duì)待審電路原理圖進(jìn)行初步審查,記錄審查中發(fā)現(xiàn)的錯(cuò)誤,并保存為文件。然后,使用數(shù)據(jù)轉(zhuǎn)換工具將待審電路原理圖文件轉(zhuǎn)換為一種獨(dú)立于EDA工具的通用格式數(shù)據(jù)文件。
步驟8-3、從數(shù)據(jù)庫中下載所需要的模式電路規(guī)則。
根據(jù)繪制的待審電路原理圖,確定相應(yīng)的需要進(jìn)行匹配處理的模式電路,然后,從規(guī)則數(shù)據(jù)庫中下載該模式電路所對(duì)應(yīng)的模式電路規(guī)則。
步驟8-4、使用模式電路的匹配方法在待審電路原理圖中匹配模式電路。
根據(jù)確定的需要進(jìn)行匹配處理的模式電路,使用上面所述的模式電路的匹配方法,在繪制的待審電路原理圖中匹配該模式電路。
如果在匹配過程中,在待審電路原理圖中沒有發(fā)現(xiàn)該模式電路的核心器件、特征器件和特征網(wǎng)絡(luò),則針對(duì)該模式電路的審查結(jié)束。執(zhí)行步驟8-6。
如果在匹配過程中,在待審電路原理圖中發(fā)現(xiàn)了模式電路的核心器件、特征器件和特征網(wǎng)絡(luò),則確定在待審電路原理圖有該模式電路。使用上面所述的模式電路的匹配方法,在待審電路原理圖和模式電路之間進(jìn)行匹配,并建立關(guān)聯(lián),執(zhí)行步驟8-5。
步驟8-5、報(bào)告匹配過程中發(fā)現(xiàn)的錯(cuò)誤,對(duì)于已匹配的每個(gè)器件和網(wǎng)絡(luò),執(zhí)行其約束屬性對(duì)應(yīng)的腳本。
記錄在匹配過程中發(fā)現(xiàn)的待審電路原理圖中的錯(cuò)誤。對(duì)于和模式電路已匹配的待審電路原理圖中每個(gè)器件和網(wǎng)絡(luò),取出按照上面所述的模式電路規(guī)則的描述方法,使用工具命令語言為該每個(gè)器件和網(wǎng)絡(luò)附加的約束屬性。執(zhí)行該約束屬性對(duì)應(yīng)的工具命令語言腳本,完成對(duì)該器件和網(wǎng)絡(luò)的屬性檢查,并給出檢查報(bào)告。針對(duì)該模式電路的審查結(jié)束。
步驟8-6、根據(jù)下一個(gè)模式電路,對(duì)待審電路原理圖繼續(xù)進(jìn)行審查。
根據(jù)確定的下一個(gè)需要進(jìn)行匹配處理的模式電路,和取出的該模式電路對(duì)應(yīng)的模式電路規(guī)則,繼續(xù)對(duì)待審電路原理圖進(jìn)行審查。直至待審電路中的所有模式電路片斷都已經(jīng)被審查。
然后,給出最終的待審電路原理圖的審查報(bào)告。
以上所述,僅為本發(fā)明較佳的具體實(shí)施方式
,但本發(fā)明的保護(hù)范圍并不局限于此,任何熟悉本技術(shù)領(lǐng)域的技術(shù)人員在本發(fā)明揭露的技術(shù)范圍內(nèi),可輕易想到的變化或替換,都應(yīng)涵蓋在本發(fā)明的保護(hù)范圍之內(nèi)。因此,本發(fā)明的保護(hù)范圍應(yīng)該以權(quán)利要求的保護(hù)范圍為準(zhǔn)。
權(quán)利要求
1.一種模式電路的匹配方法,其特征在于,包括A、在待審電路原理圖中查找模式電路的特征器件和特征網(wǎng)絡(luò);B、根據(jù)所述查找到的特征器件和特征網(wǎng)絡(luò),在待審電路原理圖和模式電路之間進(jìn)行匹配。
2.根據(jù)權(quán)利要求1所述模式電路的匹配方法,其特征在于,所述的步驟A進(jìn)一步包括A1、在待審電路原理圖中查找模式電路的核心器件,如果查找到該核心器件,則執(zhí)行步驟A2;否則,模式電路的匹配流程結(jié)束;A2、在待審電路原理圖中以核心器件為中心,按寬度優(yōu)先策略由里及外查找模式電路的特征器件和特征網(wǎng)絡(luò)。
3.根據(jù)權(quán)利要求2所述模式電路的匹配方法,其特征在于,所述的步驟A2具體包括A21、將所述待審電路原理圖中查找到的核心器件和模式電路中的核心器件建立關(guān)聯(lián),還將該兩個(gè)核心器件所連接的所有網(wǎng)絡(luò)及該所有網(wǎng)絡(luò)上的器件進(jìn)行匹配,在匹配成功的器件之間建立關(guān)聯(lián);A22、檢查模式電路的特征器件和特征網(wǎng)絡(luò)中的所有器件和網(wǎng)絡(luò)在待審電路原理圖中是否均有相應(yīng)的關(guān)聯(lián),如果是,則在待審電路原理圖中查找并獲得特征器件和特征網(wǎng)絡(luò),否則,確定在待審電路原理圖中沒有查找到特征器件和特征網(wǎng)絡(luò)。
4.根據(jù)權(quán)利要求3所述模式電路的匹配方法,其特征在于,所述的步驟A21還包括依次將所述兩個(gè)核心器件所連接的所有網(wǎng)絡(luò)上的器件作為新的核心器件,將該新的核心器件所連接的所有網(wǎng)絡(luò)及該所有網(wǎng)絡(luò)上的器件進(jìn)行匹配,在匹配成功的器件之間建立關(guān)聯(lián),直到所述兩個(gè)核心器件所連接的所有網(wǎng)絡(luò)上包含的所有網(wǎng)絡(luò)和器件都進(jìn)行了匹配,并建立了關(guān)聯(lián)。
5.根據(jù)權(quán)利要求4所述模式電路的匹配方法,其特征在于,所述的步驟A21具體包括在所述器件的匹配過程中,如果模式電路中某個(gè)器件,在待審電路原理圖中只有一個(gè)器件與之匹配,則直接將該器件和所述模式電路中的某個(gè)器件建立關(guān)聯(lián);如果有一組器件與之匹配,則從該一組器件中選出一個(gè)器件和所述模式電路中的某個(gè)器件建立關(guān)聯(lián)。
6.根據(jù)權(quán)利要求5所述模式電路的匹配方法,其特征在于,所述的步驟A21具體包括按照指定的最大搜索深度,計(jì)算所述一組器件中的每個(gè)器件與模式電路中相應(yīng)器件的匹配度,從中選擇匹配度最大的一個(gè)器件和模式電路中的相應(yīng)器件建立關(guān)聯(lián)。
7.根據(jù)權(quán)利要求6所述模式電路的匹配方法,其特征在于,所述的步驟A21具體包括所述器件的匹配度等于器件的每個(gè)管腳的匹配度之和除以器件的管腳數(shù)目。
8.根據(jù)權(quán)利要求7所述模式電路的匹配方法,其特征在于,所述的步驟A21具體包括若當(dāng)前搜索深度記錄為0,管腳的匹配度等于管腳所連接的網(wǎng)絡(luò)連接的器件中存在匹配的器件數(shù)除以管腳所連接的網(wǎng)絡(luò)連接的器件數(shù);若當(dāng)前搜索深度記錄大于1,則將搜索深度減1,遞歸調(diào)用所述器件匹配度算法,計(jì)算管腳所連接的網(wǎng)絡(luò)連接的器件中存在匹配的器件的匹配度,管腳的匹配度等于管腳所連接的網(wǎng)絡(luò)連接的器件中存在匹配的器件的匹配度之和除以管腳所連接的網(wǎng)絡(luò)連接的器件數(shù)。
9.根據(jù)權(quán)利要求1、2、3、4、5、6、7或8所述模式電路的匹配方法,其特征在于,所述的步驟B具體包括B1、當(dāng)確認(rèn)在待審電路原理圖中查找到模式電路的特征器件和特征網(wǎng)絡(luò)后,則確認(rèn)待審電路原理圖中存在該模式電路;B2、將該模式電路中除特征器件和特征網(wǎng)絡(luò)外的所有器件和網(wǎng)絡(luò),和待審電路原理圖中相應(yīng)器件和網(wǎng)絡(luò)一一進(jìn)行匹配,在匹配成功的器件和網(wǎng)絡(luò)之間建立關(guān)聯(lián)。
10.一種對(duì)電路原理圖進(jìn)行審查的方法,其特征在于,包括C、將各種模式電路的規(guī)則存入規(guī)則數(shù)據(jù)庫中;D、使用所述模式電路的匹配方法,在待審電路原理圖中匹配相應(yīng)的模式電路,并根據(jù)所述存入規(guī)則數(shù)據(jù)庫中的模式電路的規(guī)則,對(duì)待審電路原理圖進(jìn)行審查。
11.根據(jù)權(quán)利要求10所述對(duì)電路原理圖進(jìn)行審查的方法,其特征在于,所述的步驟C具體包括C1、建立模式電路的通用數(shù)據(jù)格式描述文件;C2、使用所述模式電路的通用數(shù)據(jù)格式描述文件描述模式電路規(guī)則的核心部分,使用工具命令語言描述模式電路規(guī)則的其它輔助部分,并將生成的通用格式數(shù)據(jù)文件和規(guī)則描述腳本錄入規(guī)則數(shù)據(jù)庫中。
12.根據(jù)權(quán)利要求11所述對(duì)電路原理圖進(jìn)行審查的方法,其特征在于,所述的步驟C1具體包括C11、在電子設(shè)計(jì)自動(dòng)化EDA工具中繪制模式電路的原理圖;C12、使用轉(zhuǎn)換工具,將EDA工具生成的模式電路的原理圖轉(zhuǎn)換為一種與EDA工具無關(guān)的通用數(shù)據(jù)格式描述文件。
13.根據(jù)權(quán)利要求12所述對(duì)電路原理圖進(jìn)行審查的方法,其特征在于,所述的步驟C2具體包括使用工具命令語言描述模式電路規(guī)則的輔助信息,該輔助信息包括模式電路規(guī)則的名稱信息、模式電路的核心器件信息和特征器件和特征網(wǎng)絡(luò)信息。
14.根據(jù)權(quán)利要求13所述對(duì)電路原理圖進(jìn)行審查的方法,其特征在于,所述的步驟C2具體包括使用工具命令語言給模式電路中的每個(gè)器件和網(wǎng)絡(luò)附加一個(gè)約束屬性,該約束屬性對(duì)應(yīng)一段工具命令語言腳本。
15.根據(jù)權(quán)利要求10、11、12、13或14所述對(duì)電路原理圖進(jìn)行審查的方法,其特征在于,所述的步驟D具體包括D1、確定需要和待審電路原理圖進(jìn)行匹配處理的各種模式電路,從所述規(guī)則數(shù)據(jù)庫中下載該各種模式電路的模式電路規(guī)則;D2、使用所述模式電路的匹配方法,在待審電路原理圖中分別匹配所述各種模式電路,記錄在匹配過程中發(fā)現(xiàn)的待審電路原理圖中的錯(cuò)誤,并根據(jù)所述下載的模式電路規(guī)則,對(duì)待審電路原理圖進(jìn)行審查。
16.根據(jù)權(quán)利要求15所述對(duì)電路原理圖進(jìn)行審查的方法,其特征在于,所述的步驟D2具體包括在所述下載的模式電路規(guī)則中,取出在待審電路原理圖和模式電路之間相匹配的器件和網(wǎng)絡(luò)的約束屬性對(duì)應(yīng)的工具命令語言腳本,執(zhí)行該工具命令語言腳本,根據(jù)執(zhí)行結(jié)果完成對(duì)該器件和網(wǎng)絡(luò)的屬性檢查。
17.根據(jù)權(quán)利要求15所述對(duì)電路原理圖進(jìn)行審查的方法,其特征在于,所述的步驟D還包括在EDA工具中繪制待審電路原理圖,使用EDA工具自帶的審查功能對(duì)待審電路原理圖進(jìn)行初步審查,并將待審電路原理圖文件轉(zhuǎn)換為一種獨(dú)立于EDA工具的通用格式數(shù)據(jù)文件。
全文摘要
本發(fā)明提供了一種對(duì)電路原理圖進(jìn)行審查的方法,該方法主要包括將各種模式電路的規(guī)則存入規(guī)則數(shù)據(jù)庫中;使用所述模式電路的匹配方法,在待審電路原理圖中匹配相應(yīng)的模式電路,并根據(jù)所述存入規(guī)則數(shù)據(jù)庫中的模式電路的規(guī)則,對(duì)待審電路原理圖進(jìn)行審查。利用本發(fā)明所述方法,可以實(shí)現(xiàn)基于模式電路對(duì)電路原理圖進(jìn)行自動(dòng)審查。
文檔編號(hào)G01R31/00GK1862267SQ20051010348
公開日2006年11月15日 申請(qǐng)日期2005年9月19日 優(yōu)先權(quán)日2005年9月19日
發(fā)明者趙寶華, 錢球, 屈玉貴, 林華輝, 田野, 周顥, 鄒斌, 吳強(qiáng) 申請(qǐng)人:華為技術(shù)有限公司, 中國(guó)科學(xué)技術(shù)大學(xué)