專利名稱：檢查電路的方法
電路、尤其是集成半導(dǎo)體電路或半導(dǎo)體芯片，在其制成之前就已經(jīng)被測試功能性，以避免制造帶有差錯(cuò)的電路或芯片。
為檢查電路而通常執(zhí)行電路仿真，其中仿真電路的電特性。電路仿真雖然可以被用來識(shí)別電路設(shè)計(jì)中的弱點(diǎn)，但它具有以下缺點(diǎn)，即只分別針對(duì)一個(gè)預(yù)定的激勵(lì)矢量或一個(gè)預(yù)定的輸入電壓和/或其它參數(shù)(例如溫度、電流等)激勵(lì)組來檢查電路特性。因此，只有當(dāng)每次所采用的激勵(lì)矢量或所采用的參數(shù)激勵(lì)組以某種方式要求該電路使得該電路中所含的設(shè)計(jì)差錯(cuò)出現(xiàn)并變得可識(shí)別時(shí)，電路中的差錯(cuò)才能被找到。
詳細(xì)的電路仿真的另一缺點(diǎn)在于較高的計(jì)算時(shí)間。
本發(fā)明所基于的任務(wù)在于，提供一種用于檢查電路的方法，其中不需要詳細(xì)的電路仿真但能可靠地識(shí)別電路差錯(cuò)。
根據(jù)本發(fā)明，該任務(wù)通過具有權(quán)利要求1所述的特征的方法來解決。本發(fā)明的優(yōu)選擴(kuò)展方案在從屬權(quán)利要求中被給出。
據(jù)此，根據(jù)本發(fā)明規(guī)定了一種用于產(chǎn)生標(biāo)記信號(hào)的方法，所述標(biāo)記信號(hào)給出了在電路的哪些部件中或在電路的哪些電路區(qū)域中可能出現(xiàn)至少通過電壓電位或邏輯態(tài)定義的預(yù)定電路狀態(tài)。在該方法中，通過以下方式根據(jù)一個(gè)描述所述電路的電路結(jié)構(gòu)的原始網(wǎng)絡(luò)列表形成一個(gè)被變換的網(wǎng)絡(luò)列表至少一個(gè)預(yù)定部件組或至少一個(gè)預(yù)定部件類的電路的所有電部件至少分別就一個(gè)端子對(duì)而被作為短路處理。經(jīng)一個(gè)或多個(gè)要被作為短路處理的部件相連的所有網(wǎng)絡(luò)節(jié)點(diǎn)(下面也簡稱為網(wǎng)絡(luò))分別被組合成一個(gè)等效類。在此，等效類應(yīng)被理解為一個(gè)“虛構(gòu)的”等效網(wǎng)絡(luò)，該等效網(wǎng)絡(luò)在進(jìn)一步仿真時(shí)替代所有所屬的網(wǎng)絡(luò)。在此，每個(gè)等效類分別被分配在所屬的網(wǎng)絡(luò)節(jié)點(diǎn)之一上可能出現(xiàn)的所有電壓電位或邏輯態(tài)。接下來通過考慮如此形成的等效類來確定是否和在哪些部件中或在所述電路的哪些電路區(qū)域中可能出現(xiàn)預(yù)定的電路狀態(tài)。產(chǎn)生一個(gè)信號(hào)作為所述標(biāo)記信號(hào)，該信號(hào)標(biāo)記了借助于所述被變換的網(wǎng)絡(luò)列表被識(shí)別的在所述原始網(wǎng)絡(luò)列表中的部件或電路區(qū)域，并由此使其能被識(shí)別。
本發(fā)明的主要優(yōu)點(diǎn)在于，它可以非常簡單地被實(shí)現(xiàn)，因?yàn)殡娐返臋z查是借助于“被變換的”或被簡化的網(wǎng)絡(luò)列表來執(zhí)行的。在此，通過以下方式來形成被變換的網(wǎng)絡(luò)列表，即網(wǎng)絡(luò)列表的單個(gè)或多個(gè)網(wǎng)絡(luò)節(jié)點(diǎn)被組合成一個(gè)等效類。顯然，一個(gè)等效類被看成為代表原始網(wǎng)絡(luò)列表的“被組合的”網(wǎng)絡(luò)節(jié)點(diǎn)或網(wǎng)絡(luò)的一個(gè)新的網(wǎng)絡(luò)或新的網(wǎng)絡(luò)節(jié)點(diǎn)。通過把網(wǎng)絡(luò)組合成等效類，原始網(wǎng)絡(luò)列表被簡化，因?yàn)樵谶M(jìn)一步的檢查中總共需要考慮更少的網(wǎng)絡(luò)或網(wǎng)絡(luò)節(jié)點(diǎn)。也即，換句話說，檢查是在一種被簡化的“等效電路”上執(zhí)行的。因此本發(fā)明的核心在于，借助于一個(gè)相對(duì)于原始網(wǎng)絡(luò)列表被簡化的被變換的網(wǎng)絡(luò)列表來檢查電路。
對(duì)此，本發(fā)明的另一主要優(yōu)點(diǎn)在于，被變換的網(wǎng)絡(luò)列表可以在不用大的花費(fèi)的情況下形成，因?yàn)楦鶕?jù)本發(fā)明簡單地把僅一個(gè)預(yù)定的“規(guī)則”應(yīng)用于原始網(wǎng)絡(luò)列表。在此，這種規(guī)則包括，至少一個(gè)預(yù)定部件組或至少一個(gè)預(yù)定部件類的所有電部件被作為短路處理。由此實(shí)現(xiàn)了通過相應(yīng)定義的部件相連的至少所有網(wǎng)絡(luò)節(jié)點(diǎn)可以被組合為一個(gè)等效類。
為了實(shí)現(xiàn)所述標(biāo)記信號(hào)以特別高的概率實(shí)際定義一個(gè)差錯(cuò)并且不表示“誤告警”，根據(jù)該方法的一種改進(jìn)方案被視為是有利的，即在形成標(biāo)記信號(hào)之后，借助于所述原始網(wǎng)絡(luò)列表再檢驗(yàn)或認(rèn)證所述預(yù)定的(例如緊急的)電路狀態(tài)是否可能在被該標(biāo)記信號(hào)所標(biāo)記的部件中或在被該標(biāo)記信號(hào)所標(biāo)記的電路區(qū)域中實(shí)際出現(xiàn)。這種認(rèn)證例如可以通過所述電路的子區(qū)域的詳細(xì)仿真來實(shí)現(xiàn)，方式是所述電路的被標(biāo)記的子區(qū)域本身被詳細(xì)地仿真。
如果在認(rèn)證時(shí)確定所述預(yù)定的電路狀態(tài)在被該標(biāo)記信號(hào)所標(biāo)記的部件中或電路區(qū)域中沒有出現(xiàn)，那么優(yōu)選地通過形成一個(gè)被校正的標(biāo)記信號(hào)來校正所述的標(biāo)記信號(hào)。
為了避免在形成標(biāo)記信號(hào)時(shí)的差錯(cuò)，被認(rèn)為有利的是，單獨(dú)地考慮所謂的“停止網(wǎng)絡(luò)”。在此，“停止網(wǎng)絡(luò)”被理解為被固定地分配了電壓電位、電流或邏輯態(tài)的電路網(wǎng)絡(luò)節(jié)點(diǎn)或連接引腳。這種停止網(wǎng)絡(luò)必須被排除納入到等效類中，因?yàn)椴辉试S在這種“停止網(wǎng)絡(luò)”中分配與所述被固定分配的電位或被固定分配的狀態(tài)不同的電位或狀態(tài)?！巴Ｖ咕W(wǎng)絡(luò)”例如可以通過電路的外部端子或外部引腳來形成，其被固定地施加了固定的電位、例如接地電位或供電電壓電位。但“停止網(wǎng)絡(luò)”另外也可以例如通過存在于電路中的電壓源或電流源來形成，其在電路內(nèi)在預(yù)定的網(wǎng)絡(luò)處預(yù)給定固定的電壓電位或電流。因?yàn)橥Ｖ咕W(wǎng)絡(luò)一直被分配固定的電位或狀態(tài)，所以它們不能被納入到等效類中。
如果在形成等效類時(shí)確定存在“停止網(wǎng)絡(luò)”，那么，每個(gè)“停止網(wǎng)絡(luò)”的電壓電位、電流或邏輯態(tài)被拷貝到與該“停止網(wǎng)絡(luò)”相連的每個(gè)等效類中。于是，只在一個(gè)方向上、也即在等效類的方向上拷貝“停止網(wǎng)絡(luò)”的電位或狀態(tài)。從等效類向“停止網(wǎng)絡(luò)”的反向拷貝是被排除的。
為了避免電路的電仿真，根據(jù)該方法的一種進(jìn)一步改進(jìn)是有利的，也即所述電路的所有部件被單獨(dú)地就部件的每個(gè)端子對(duì)而作為短路或非導(dǎo)電處理。在該方法的這種改進(jìn)中，僅僅還進(jìn)行電路的靜態(tài)“仿真”，因?yàn)殡娐返牟考辉俦辉敿?xì)地仿真，而只是還總體地被作為短路或非導(dǎo)通處理。在部件只有兩個(gè)端子或連接引腳的情況下，該部件僅僅被作為短路或非導(dǎo)通處理。在部件具有多個(gè)端子的情況下，所有可能的端子對(duì)之間的連接線路被定義例如在部件(例如晶體管)具有三個(gè)端子A1、A2和A3的情況下，由此針對(duì)各端子之間的連接A1-A2、A1-A3和A2-A3分別確定該連接線路是否應(yīng)被作為短路或非導(dǎo)通處理。也即，在三個(gè)端子時(shí)需要三次確定。相應(yīng)地，在部件(例如具有襯底端子的MOS晶體管、晶閘管)具有四個(gè)端子A1、A2、A3和A4的情況下，由此針對(duì)各端子之間的連接A1-A2、A1-A3、A1-A4、A2-A3、A2-A4和A3-A3分別確定該連接線路是否應(yīng)被作為短路或非導(dǎo)通處理。也即，在四個(gè)端子時(shí)需要六次確定。
優(yōu)選地，至少一個(gè)預(yù)定晶體管類的所有晶體管就其開關(guān)線路而被作為短路處理。在此，概念“開關(guān)線路”在場效應(yīng)晶體管的情況下被理解為源極-漏極-線路，在雙極性晶體管的情況下被理解為射極-集電極-線路。在該方法的該改進(jìn)方案中考慮了晶體管的開關(guān)線路通?？梢员唤油ǎ沟每梢哉J(rèn)為施加在開關(guān)線路的一個(gè)端子上的電位或狀態(tài)也可以分別到達(dá)該開關(guān)線路的另一個(gè)端子。通過在形成等效類時(shí)把該開關(guān)線路處理為“短路”而考慮了這種情況。
就電阻的處理而言，被認(rèn)為有利的是，電阻值低于一預(yù)定極限值的所有電阻被作為短路處理，以及電阻值高于該預(yù)定極限值的所有電阻被作為非導(dǎo)通處理。在該方案中考慮了在低歐姆電阻時(shí)，被施加在電阻的一個(gè)端子上的電位被近似“不衰減地”或不變地也到達(dá)該電阻的另一端子。但在高歐姆電阻時(shí)出現(xiàn)明顯的電壓降，使得被施加在電阻的一個(gè)端子上的電位不能毫無問題地到達(dá)另一端子。在這種情況下，電阻可以被簡化地作為“非導(dǎo)通”處理。
以相應(yīng)的方式，可以為電路的任意部件、也即還為奇異的“部件”或器件制定相應(yīng)的規(guī)則，它給出是否或在何種情況下，相應(yīng)部件的端子對(duì)應(yīng)該被作為短路或非導(dǎo)通處理。
優(yōu)選地，本發(fā)明的方法被用于為這樣的電路狀態(tài)產(chǎn)生標(biāo)記信號(hào)，該電路狀態(tài)是特別緊急的并且表現(xiàn)為電路差錯(cuò)。
電路設(shè)計(jì)中的差錯(cuò)例如可能在于，在預(yù)定的網(wǎng)絡(luò)節(jié)點(diǎn)上達(dá)到或低于/超過預(yù)定的極限電壓電位或預(yù)定的極限電流，或達(dá)到一個(gè)預(yù)定的邏輯態(tài)。與此相應(yīng)地，優(yōu)選地當(dāng)對(duì)于預(yù)定的網(wǎng)絡(luò)節(jié)點(diǎn)以及由此對(duì)于預(yù)定的等效類而達(dá)到或低于/超過分別預(yù)定的極限電壓電位時(shí)，或相應(yīng)的網(wǎng)絡(luò)節(jié)點(diǎn)達(dá)到分別預(yù)定的邏輯態(tài)時(shí)，便產(chǎn)生所述的標(biāo)記信號(hào)。
另外，當(dāng)給所選擇的部件施加一個(gè)達(dá)到或低于/超過一個(gè)為該部件單獨(dú)所預(yù)定的極限電壓的電壓時(shí)，電路設(shè)計(jì)中的差錯(cuò)也可能出現(xiàn)。相應(yīng)地，優(yōu)選地當(dāng)對(duì)于預(yù)定的部件而達(dá)到或低于/超過被規(guī)定為緊急的狀態(tài)時(shí)，便產(chǎn)生所述標(biāo)記信號(hào)。
在此，極限電壓和極限狀態(tài)的預(yù)給定可以單獨(dú)地針對(duì)每個(gè)部件而單個(gè)地產(chǎn)生；但作為替換方案，也可以為預(yù)定的部件類或部件類別的所有部件預(yù)給定相應(yīng)的極限電壓，然后為所屬的部件類或部件類別的所有以下部件產(chǎn)生標(biāo)記信號(hào)，即這些部件低于/超過了分別為該部件類或部件類別所預(yù)給定的極限值。
非常簡單并因此有利的是，可以利用一種數(shù)據(jù)處理設(shè)備來執(zhí)行所述的方法，其中向該數(shù)據(jù)處理設(shè)備輸入所述電路的電路結(jié)構(gòu)作為原始網(wǎng)絡(luò)列表。
另外，本發(fā)明所基于的任務(wù)還在于，提供一種在不需要詳細(xì)電路仿真的情況下可被用于檢查電路的設(shè)備，但應(yīng)該可靠地識(shí)別電路差錯(cuò)。
根據(jù)本發(fā)明，該任務(wù)通過具有權(quán)利要求14所述的特征的設(shè)備來解決。本發(fā)明設(shè)備的優(yōu)選擴(kuò)展方案在從屬權(quán)利要求中被給出。
就本發(fā)明設(shè)備的優(yōu)點(diǎn)而言，聯(lián)系本發(fā)明方法參考上述實(shí)施方案。
另外，設(shè)有以下程序的數(shù)據(jù)載體也被視為本發(fā)明，該程序被構(gòu)造使得數(shù)據(jù)處理設(shè)備在按照該程序之后執(zhí)行如權(quán)利要求1-13之一所述的方法步驟。
下面示例地借助五個(gè)電路來講述本發(fā)明。在此

圖1-7示出了沒有“停止網(wǎng)絡(luò)”的電路實(shí)施例，圖8-14示出了具有“停止網(wǎng)絡(luò)”的電路實(shí)施例，圖15和16示出了具有“停止網(wǎng)絡(luò)”的另一電路實(shí)施例，圖17示出了沒有“停止網(wǎng)絡(luò)”的另一電路實(shí)施例，以及圖18和19示出了具有“停止網(wǎng)絡(luò)”的第三電路實(shí)施例。
在下面所講述的本發(fā)明實(shí)施例中，利用一種網(wǎng)絡(luò)列表來描述電路。在此，該網(wǎng)絡(luò)列表原則上可以具有任意的數(shù)據(jù)結(jié)構(gòu)。這里在實(shí)施例范圍內(nèi)所采用的數(shù)據(jù)結(jié)構(gòu)具有以下格式typedef struct noderec /*在一個(gè)單元內(nèi)的網(wǎng)絡(luò)數(shù)據(jù)結(jié)構(gòu)*/{...
netPinSetArray pinTypeSet；/*網(wǎng)絡(luò)或等效網(wǎng)絡(luò)的引腳類型*/netPinSetArray origPinTypeSet；/*原始網(wǎng)絡(luò)列表中的引腳類型*/netPinSetArray eqPinTypeSet； /*暫時(shí)用于等效環(huán)中的引腳類型*/struct noderec *equivalent； /*等效節(jié)點(diǎn)通過短路裝置的環(huán)形鏈接*/equiMasterRefRec *equiMaster； /*不同實(shí)例化中的等效網(wǎng)絡(luò)的主網(wǎng)絡(luò)的列表*/equiMasterPinTypeRec *equiMasterPin；/*用于所有equiMaster… 用于等效網(wǎng)絡(luò)的引腳類型*/}typedef long netPinSetArray[PINSBT_SIZE]；/*可以存儲(chǔ)多個(gè)引腳類型(例如VDD，IN，OUT，...)或也可以存儲(chǔ)不同的電壓水平*//*在實(shí)例instId內(nèi)的主節(jié)點(diǎn)*/struct equiMasterRefRec{struct equiMasterRefRec *next；noderec *master；long instId；}；/*在實(shí)例instId內(nèi)的主管的所有等效網(wǎng)絡(luò)的引腳類型*/struct equiMasterPinTypeRec{struct equiMasterPinTypeRec *next；netPinSetArray equiPinTypeSet；long instId；}；在這種數(shù)據(jù)結(jié)構(gòu)中，每個(gè)網(wǎng)絡(luò)或每個(gè)網(wǎng)絡(luò)節(jié)點(diǎn)都具有一個(gè)用單詞“等效”標(biāo)明的指針。該指針“等效”被用于所有等效網(wǎng)絡(luò)(也即所有屬于一個(gè)等效類的網(wǎng)絡(luò))的暫時(shí)環(huán)形鏈接。如果形成了一個(gè)等效類，則在該類中選出一個(gè)網(wǎng)絡(luò)、即所謂的主管。因?yàn)樵趯?shí)例化與實(shí)例化之間，一個(gè)單元(cell)內(nèi)的等效類可能是不同的，所以每個(gè)網(wǎng)絡(luò)為一個(gè)單元的每次實(shí)例化而在列表內(nèi)存儲(chǔ)equiMaster指針，以指向網(wǎng)絡(luò)所屬的等效類的相應(yīng)主管。概念“等效環(huán)”和“等效類”在下面被同義地使用。
每個(gè)等效環(huán)的引腳類型被存儲(chǔ)在變量“equiMasterPin”中。等效環(huán)中的每個(gè)網(wǎng)絡(luò)都具有一個(gè)這樣的引腳類型“equiMasterPin”。
每個(gè)網(wǎng)絡(luò)的引腳類型被存放在原始網(wǎng)絡(luò)列表的變量“origPinTypeSet”中。變量“pinTypeSet”包含有分別在網(wǎng)絡(luò)列表的當(dāng)前狀態(tài)下(也即例如根據(jù)電路的哪些部件被視為短路或不導(dǎo)通)有效的網(wǎng)絡(luò)引腳類型。
以網(wǎng)絡(luò)列表的網(wǎng)絡(luò)的上述數(shù)據(jù)結(jié)構(gòu)為基礎(chǔ)，需要通過實(shí)例進(jìn)行兩個(gè)分開的循環(huán)的運(yùn)行。所述兩個(gè)循環(huán)運(yùn)行中的第一個(gè)在下面被稱為步驟I，所述兩個(gè)循環(huán)運(yùn)行中的第二個(gè)在下面被稱為步驟II。兩個(gè)循環(huán)運(yùn)行在這里是必需的，因?yàn)榫W(wǎng)絡(luò)特性必須通過網(wǎng)絡(luò)列表的層級(jí)來傳遞。
下面首先以一般的抽象形式來講述所述步驟。然后接著借助附圖來詳細(xì)講述如何使用該步驟。
在步驟I中，首先各個(gè)網(wǎng)絡(luò)的引腳類型“上-下”地從上向下被傳下來。接著，等效類“下-上”地被組合，并且引腳類型向上移動(dòng)。
在步驟II中，首先引腳類型“上-下”地從上向下被傳下來，其中這次已經(jīng)考慮了被修正過的網(wǎng)絡(luò)列表、也即等效類或等效環(huán)。接著，“下-上”地利用被修正的網(wǎng)絡(luò)列表執(zhí)行檢查。
步驟I和II詳細(xì)地如下被執(zhí)行步驟I步驟I包括循環(huán)地調(diào)用用于為所有實(shí)例產(chǎn)生等效的函數(shù)。在此，執(zhí)行以下的單個(gè)步驟I.1.在該步驟中，在按照下-上順序的層級(jí)下降之前逐個(gè)實(shí)例地執(zhí)行初始化。在此，網(wǎng)絡(luò)的引腳類型被傳下來。
I.2.在該步驟中，按照下-上順序依賴于實(shí)例建立等效類。在此，網(wǎng)絡(luò)列表通過鏈接等效環(huán)或等效類中的電路的被短路部件而被補(bǔ)充。原始的網(wǎng)絡(luò)列表不受此影響。只須基于原始的網(wǎng)絡(luò)列表執(zhí)行相應(yīng)的變換或在等效環(huán)上相應(yīng)地“行走”，以便能夠訪問被修正的網(wǎng)絡(luò)列表。作為替代方案，也可以用相應(yīng)的方式產(chǎn)生和存儲(chǔ)一個(gè)獨(dú)立的被修改的網(wǎng)絡(luò)列表。
I.2.1.當(dāng)所有在預(yù)定的規(guī)則文件中規(guī)定的電路部件應(yīng)該就其一個(gè)或多個(gè)端子對(duì)而被作為短路進(jìn)行處理時(shí)，所屬的網(wǎng)絡(luò)或網(wǎng)絡(luò)節(jié)點(diǎn)被設(shè)為等效和被鏈接。在此，這不僅涉及一個(gè)單元內(nèi)的部件，而且還涉及一個(gè)單元本身-在該單元中所屬的引腳被設(shè)為等效。在此，概念“設(shè)為等效”被理解為每個(gè)網(wǎng)絡(luò)節(jié)點(diǎn)分別被分配了所分配的等效類的所有其余網(wǎng)絡(luò)節(jié)點(diǎn)的所有狀態(tài)(電位、邏輯態(tài)、等等)。
如果在要被作為短路處理的部件處的網(wǎng)絡(luò)是一個(gè)停止網(wǎng)絡(luò)，則該網(wǎng)絡(luò)不被一起插入到等效環(huán)中。替而代之的是，該停止網(wǎng)絡(luò)的引腳類型被拷入到該等效環(huán)中；這是因?yàn)椋m然等效環(huán)中的網(wǎng)絡(luò)可以采取相應(yīng)的網(wǎng)絡(luò)特性，但它們不是無限制地繼續(xù)傳遞。通過考慮“停止網(wǎng)絡(luò)”，該方法變得依賴于實(shí)例。
接下來，例如在場效應(yīng)晶體管的情況下，開關(guān)線路(也即源極-漏極線路)被作為短路處理，以及在雙極性晶體管的情況下，基極-發(fā)射極線路被作為短路處理。電阻根據(jù)電阻值的大小被視為短路或被視為非導(dǎo)通。
I.2.2.在該步驟中，為每個(gè)等效類確定一個(gè)節(jié)點(diǎn)作為主管。在該主管中錄入等效環(huán)的所有引腳類型。優(yōu)選地選擇這樣的網(wǎng)絡(luò)作為主管，該網(wǎng)絡(luò)具有連接通往更高的單元中，也即例如連接到外部網(wǎng)或引腳。如果不存在這樣的網(wǎng)絡(luò)，則選擇等效環(huán)的任一網(wǎng)絡(luò)。
I.2.3.對(duì)于所有的主網(wǎng)絡(luò)，在該步驟中變量“equiMasterPin”被設(shè)立，并被占用了該主管的暫時(shí)設(shè)立的變量“equiPinTypeSet”。
I.2.4.父單元內(nèi)的通過局部等效環(huán)在當(dāng)前單元內(nèi)被連接的所有網(wǎng)絡(luò)在一個(gè)等效環(huán)內(nèi)被鏈接。子網(wǎng)絡(luò)的變量“equiPinTyperSet”被傳送給父單元中的相應(yīng)連接的網(wǎng)絡(luò)。
步驟II在步驟II中，通過層級(jí)執(zhí)行循環(huán)的運(yùn)行，以及對(duì)所有的實(shí)例執(zhí)行校驗(yàn)函數(shù)的調(diào)用。在此，每個(gè)實(shí)例地依次執(zhí)行以下單步驟II.1.等效類的引腳類型被“上-下”地向下傳到實(shí)例中。
II.2.1.通過從列表equiMaster裝載用于相應(yīng)實(shí)例的數(shù)據(jù)，對(duì)等效類進(jìn)行更新。
II.2.2.所有的檢查被“下-上”地在實(shí)例中啟動(dòng)。
以抽象的一般形式講述的方法步驟I和II現(xiàn)在詳細(xì)地借助于附圖所示的電路例子來講述。
在圖1中可以看到兩個(gè)單元A，其分別通過兩個(gè)串聯(lián)的晶體管構(gòu)成。在此，圖1中左邊的單元A構(gòu)成實(shí)例1(Inst1)，圖1中右邊的單元A構(gòu)成實(shí)例2(Inst2)。
正如可以從圖1得到的一樣，兩個(gè)實(shí)例1和2中的每一個(gè)或單元A具有三個(gè)網(wǎng)絡(luò)Net1、Net2和Net3。這些網(wǎng)絡(luò)Net1、Net2或Net3中的每一個(gè)都具有一個(gè)特性，其用E1、E2或E3表示。這種特性例如可以是諸如“VDD”(等于供電電壓)的引腳類型，或者是譬如2.8V的其它電壓。
單元A被兩次用作為單元B內(nèi)的實(shí)例Inst1和實(shí)例Inst2。此外，單元B具有一個(gè)被連接到網(wǎng)絡(luò)Net11和Net13上的晶體管10。此外，四個(gè)網(wǎng)絡(luò)Net11、Net12、Net13和Net14分別在單元A和C之間構(gòu)成了連接網(wǎng)絡(luò)。單元C具有網(wǎng)絡(luò)Net21、Net22、Net23和Net24，這些網(wǎng)絡(luò)把被裝在單元C中的單元B連接到單元C上。
在圖2中現(xiàn)在可以看出用于單元A的實(shí)例Inst1的步驟I。在此，按照下-上-順序執(zhí)行該步驟。在該步驟內(nèi)，與實(shí)例Inst1的單元A的兩個(gè)晶體管毗連的所有網(wǎng)絡(luò)被組合到一個(gè)等效環(huán)中(步驟I.2.1)，因?yàn)閱卧狝的兩個(gè)晶體管被作為短路進(jìn)行處理。網(wǎng)絡(luò)Net1、Net2和Net3的特性被分布到該等效環(huán)內(nèi)的所有網(wǎng)絡(luò)上。這意味著，三個(gè)網(wǎng)絡(luò)Net1、Net2和Net3中的每一個(gè)分別具有三個(gè)特性，也即特性E1、E2、E3。
在圖3中可以看出如何詳細(xì)地執(zhí)行步驟I.2.2。兩個(gè)網(wǎng)絡(luò)Net11和Net12在單元B內(nèi)與實(shí)例Inst1的單元A的等效環(huán)相連接。因此兩個(gè)網(wǎng)絡(luò)Net11和Net12進(jìn)入單元B中的等效環(huán)。實(shí)例Inst1的單元A的預(yù)先形成的等效環(huán)的網(wǎng)絡(luò)特性從網(wǎng)絡(luò)Net1被傳遞到網(wǎng)絡(luò)Net11；這是因?yàn)榫W(wǎng)絡(luò)Net1預(yù)先根據(jù)步驟I.2.2被選擇為主管。作為結(jié)果，網(wǎng)絡(luò)Net11現(xiàn)在具有特性E1、E2和E3。
在圖4中描述了為實(shí)例inst2的單元A執(zhí)行相應(yīng)的步驟。在該單元中，處理也是按照下-上-順序被執(zhí)行的。
在圖5中描述了用于單元B的步驟I?？梢钥闯?，網(wǎng)絡(luò)Net11、Net12、Net13和Net14被組合到一個(gè)等效環(huán)中，這與上面聯(lián)系步驟I.2.1所講述的是一樣的。在此，該網(wǎng)絡(luò)的網(wǎng)絡(luò)特性被傳遞到單元B的環(huán)中的所有網(wǎng)絡(luò)。
結(jié)果是可以確定網(wǎng)絡(luò)Net1、Net2和Net3以及網(wǎng)絡(luò)Net11、Net12、Net13和Net14現(xiàn)在分別可能具有所述的三個(gè)特性E1、E2和E3。
圖6示出了用于單元B的步驟I.2.4。網(wǎng)絡(luò)Net21、Net22、Net23和Net24通過單元B中的等效環(huán)相連接。在此，單元B中的等效環(huán)的網(wǎng)絡(luò)特性從根據(jù)步驟I.2.2已被選擇為主管的網(wǎng)絡(luò)Net11被傳遞到網(wǎng)絡(luò)Net21。網(wǎng)絡(luò)Net21現(xiàn)在具有特性E1、E2和E3。
在圖7中描述了通過傳遞網(wǎng)絡(luò)特性所形成的等效類的結(jié)果。單元C內(nèi)的所有網(wǎng)絡(luò)此時(shí)具有特性E1、E2和E3。通過等效類或通過等效環(huán)而形成的被變換的網(wǎng)絡(luò)列表現(xiàn)在可以按照檢查步驟II進(jìn)行檢查。在此，原始網(wǎng)絡(luò)列表繼續(xù)可供使用。
結(jié)果是由此可以確定通過圖1-7所示的從網(wǎng)絡(luò)特性到網(wǎng)絡(luò)的分配關(guān)系形成一個(gè)被變換的網(wǎng)絡(luò)列表，該網(wǎng)絡(luò)列表可以被考慮用于檢查的目的和用于產(chǎn)生一個(gè)標(biāo)記出現(xiàn)預(yù)定電路狀態(tài)的標(biāo)記信號(hào)。
在圖1-7所示的實(shí)施例中，可以給單元C的每個(gè)網(wǎng)絡(luò)分配每個(gè)特性，因?yàn)闆]有網(wǎng)絡(luò)構(gòu)成所謂的“停止網(wǎng)絡(luò)”?，F(xiàn)在聯(lián)系圖8-14來闡述如何能例如在電路中執(zhí)行用于產(chǎn)生標(biāo)記信號(hào)的方法，在其網(wǎng)絡(luò)列表中需要考慮所謂的“停止網(wǎng)絡(luò)”。
在圖8中示出了與圖1相同的初始電路。但圖8所示的電路與圖1所示的電路的區(qū)別在于，網(wǎng)絡(luò)Net23現(xiàn)在是一個(gè)“停止網(wǎng)絡(luò)”。這意味著，網(wǎng)絡(luò)Net23被固定地分配了一種網(wǎng)絡(luò)特性，例如電壓電位、電流或邏輯態(tài)。因此，網(wǎng)絡(luò)Net23不能具有不同于這些預(yù)定特性的特性。網(wǎng)絡(luò)Net23的網(wǎng)絡(luò)特性在下面被稱為“EX”。在步驟I中，網(wǎng)絡(luò)特性EX被拷貝到通過層級(jí)與該“停止網(wǎng)絡(luò)”Net23相連的網(wǎng)絡(luò)上。這在圖8中被示出；因此圖8示出了網(wǎng)絡(luò)特性EX被拷貝到與網(wǎng)絡(luò)Net23相連的位于單元B中的網(wǎng)絡(luò)和單元A的實(shí)例Inst2中的Net1。
在圖9和圖10中，按相應(yīng)的或等同的方式執(zhí)行已經(jīng)結(jié)合圖2和3在第一實(shí)施例中所講述的步驟。停止網(wǎng)絡(luò)Net13在該時(shí)刻還不起作用。也即可以看出，實(shí)例Inst1的單元A的網(wǎng)絡(luò)Net1、Net2和Net3分別被分配了網(wǎng)絡(luò)特性E1、E2和E3。此外，網(wǎng)絡(luò)Net1被選擇為主管。
在圖11中可以看到單元A的實(shí)例Isnt2用的步驟I。與實(shí)例Inst2的下方晶體管毗連的網(wǎng)絡(luò)Net2和Net3被組合到一個(gè)等效環(huán)中(參見步驟I.2.1)。網(wǎng)絡(luò)Net2和Net3的特性在該等效環(huán)內(nèi)被分布到該兩個(gè)網(wǎng)絡(luò)Net2和Net3。這意味著，兩個(gè)網(wǎng)絡(luò)Net2和Net3此時(shí)具有特性E1、E2、E3和EX。網(wǎng)絡(luò)Net1沒有被一同納入到等效環(huán)中，因?yàn)樗婕巴Ｖ咕W(wǎng)絡(luò)。但網(wǎng)絡(luò)Net1的網(wǎng)絡(luò)特性(這是特性E1和EX)被拷入到等效環(huán)中，以便也將其施加給兩個(gè)網(wǎng)絡(luò)Net2和Net3。
在圖12中描述了單元A的實(shí)例Isnt2用的步驟I.2.4。實(shí)例Isnt2的單元A的等效環(huán)的網(wǎng)絡(luò)特性從根據(jù)步驟I.2.2被選擇為主管的網(wǎng)絡(luò)Net3被傳遞到網(wǎng)絡(luò)Net14。網(wǎng)絡(luò)Net14現(xiàn)在具有特性E1、E2、E3和EX。同樣，主網(wǎng)絡(luò)Net1的網(wǎng)絡(luò)特性被傳遞到Net13。因?yàn)榫W(wǎng)絡(luò)Net13是一個(gè)“停止網(wǎng)絡(luò)”，所以該網(wǎng)絡(luò)Net13不被一同納入到等效環(huán)中；只有網(wǎng)絡(luò)Net13的網(wǎng)絡(luò)特性被轉(zhuǎn)用到網(wǎng)絡(luò)Net11。
在圖13中描述了形成等效的結(jié)果和網(wǎng)絡(luò)特性的傳遞。單元C的網(wǎng)絡(luò)Net21、Net22和Net24此時(shí)具有特性E1、E2、E3和EX。相反，停止網(wǎng)絡(luò)Net23只具有特性E1和EX。
在圖14中描述了形成等效的最終結(jié)果。與沒有停止網(wǎng)絡(luò)的第一實(shí)施例(特另參見圖7)相反，現(xiàn)在有三個(gè)主網(wǎng)絡(luò)，也即三個(gè)沒有彼此相連的新等效類或三個(gè)“新”網(wǎng)絡(luò)。停止網(wǎng)絡(luò)Net23和與之相連的網(wǎng)絡(luò)Net13和Net1沒有改變其原來的網(wǎng)絡(luò)特性。但網(wǎng)絡(luò)Net23將其特性EX轉(zhuǎn)交給其它網(wǎng)絡(luò)。
總之，聯(lián)系圖1-14所講述的方法因此在于，將原始網(wǎng)絡(luò)列表變換成被變換的網(wǎng)絡(luò)列表，其中該原始網(wǎng)絡(luò)列表仍被保留。仍保留原始網(wǎng)絡(luò)列表是重要的，因?yàn)樵阱e(cuò)誤輸出時(shí)應(yīng)該保留對(duì)原始網(wǎng)絡(luò)列表的參考或“交叉參考”。譬如需要該原始網(wǎng)絡(luò)列表用于圖形“探測”或“測試”。此外，出現(xiàn)緊急電路狀態(tài)的部件或網(wǎng)絡(luò)優(yōu)選地應(yīng)該總是在原始網(wǎng)絡(luò)列表中通告，因?yàn)橹挥性季W(wǎng)絡(luò)列表才具有對(duì)實(shí)際電路設(shè)計(jì)的直接參考。
在新形成的被修正或被變換的網(wǎng)絡(luò)列表中，接管了迄今為止的網(wǎng)絡(luò)的網(wǎng)絡(luò)特性。因?yàn)槎鄠€(gè)“老”網(wǎng)絡(luò)被轉(zhuǎn)化成一個(gè)“新”網(wǎng)絡(luò)，所以一個(gè)新網(wǎng)絡(luò)可以采取多個(gè)不同的網(wǎng)絡(luò)特性(例如多個(gè)電壓、多個(gè)邏輯態(tài)、等等)。通過形成上述等效類，網(wǎng)絡(luò)特性可以在電路的不同部件上進(jìn)行傳遞或拷貝。
因此所述方法的特征在于，通過應(yīng)被視為短路的電路部件相連接的所有網(wǎng)絡(luò)被組合到等效類中。每個(gè)等效類表示一個(gè)新的邏輯網(wǎng)絡(luò)或電網(wǎng)絡(luò)。在此，等效類的形成在相應(yīng)的電路層級(jí)上進(jìn)行。此時(shí)考慮沒有被一同納入到等效類中的“停止網(wǎng)絡(luò)”。取而代之的是，只是把停止網(wǎng)絡(luò)的引腳類型拷貝到相應(yīng)的等效類中，由此使所有毗連的“停止網(wǎng)絡(luò)”的引腳類型在該等效類中被已知。此外還考慮子網(wǎng)絡(luò)的等效類。由此，該方法是依賴于實(shí)例而不再依賴于單元。這譬如意味著，同一單元可以被布線在不同的實(shí)例中。如果這里涉及不能被一同納入到等效類中的停止網(wǎng)絡(luò)，則這在傳遞網(wǎng)絡(luò)特性時(shí)被考慮。
所講述的方法的優(yōu)點(diǎn)在于，網(wǎng)絡(luò)列表能夠根據(jù)一個(gè)單獨(dú)的“規(guī)則文件”中的要求被快速地變換成另一個(gè)網(wǎng)絡(luò)列表，而且該被變換的網(wǎng)絡(luò)列表能夠被用于靜態(tài)地檢查電特性。
如果在執(zhí)行本方法時(shí)(如結(jié)合圖1和14所示的例子所講述的)所有的部件都被視為短路或不導(dǎo)通，則可以借助于被變換的網(wǎng)絡(luò)列表對(duì)電路的電特性執(zhí)行完整的靜態(tài)的檢查。與在電路的動(dòng)態(tài)的詳細(xì)的電路仿真中的可能情況相比，電路的這種靜態(tài)檢查具有明顯更快的速度和明顯更好的測試覆蓋面。在此，由于對(duì)原始列表的“交叉參考”，仍然可以將發(fā)現(xiàn)的差錯(cuò)分別分配給電路的有關(guān)電路區(qū)域。所述的方法另外也可以應(yīng)用于層級(jí)的網(wǎng)絡(luò)列表。
現(xiàn)在聯(lián)系圖15-19來示例地講述如何能借助于被變換或被修正的網(wǎng)絡(luò)列表來產(chǎn)生標(biāo)記信號(hào)。
在圖15中可以看到五個(gè)MOS晶體管NMOS1、NMOS2、NMOS3、NMOS4和NMOS5。在此，晶體管NMOS5的一個(gè)開關(guān)線路端子(也即源極或漏極端子)被連接到標(biāo)號(hào)為P2的網(wǎng)絡(luò)節(jié)點(diǎn)或網(wǎng)絡(luò)上。晶體管NMOS5的另一端子與網(wǎng)絡(luò)B連接，在該網(wǎng)絡(luò)B上也連接了晶體管NMOS4的一個(gè)開關(guān)線路端子。晶體管NMOS4的另一開關(guān)線路端子與晶體管NMOS2的一個(gè)開關(guān)線路端子以及網(wǎng)絡(luò)A相連接。晶體管NMOS2的另一開關(guān)線路端子與晶體管NMOS1的一個(gè)開關(guān)線路端子以及網(wǎng)絡(luò)P1相連接。晶體管NMOS1的另一開關(guān)線路端子與晶體管NMOS3的一個(gè)開關(guān)線路端子以及網(wǎng)絡(luò)C電連接。晶體管NMOS3的另一開關(guān)線路端子形成網(wǎng)絡(luò)D。
兩個(gè)網(wǎng)絡(luò)或網(wǎng)絡(luò)節(jié)點(diǎn)P1、P2被分別固定地分配一個(gè)電狀態(tài)量，具體說就是網(wǎng)絡(luò)P1被分配了供電電壓VDD，網(wǎng)絡(luò)P2被分配了接地電位VSS。
此外，五個(gè)晶體管NMOS1至NMOS5被作為短路處理。兩個(gè)網(wǎng)絡(luò)P1和P2的電狀態(tài)量的固定分配以及晶體管NMOS1至NMOS5被作為短路的處理例如可以通過以下編程指令來實(shí)現(xiàn)ercDefines{defPins{pin″VSS″=″P2″pin″VDD″=″P1″}shortDevices {short″MOS″e(cuò)xcludingPinTypes″VSS″″VDD″}}通過把五個(gè)晶體管NMOS1至NMOS5作為短路處理，兩個(gè)網(wǎng)絡(luò)P1、P2上的電壓電位VDD、VSS此時(shí)可以被分配給通過這些晶體管與網(wǎng)絡(luò)P1、P2相連的所有網(wǎng)絡(luò)。
但這里應(yīng)考慮，所述兩個(gè)網(wǎng)絡(luò)P1和P2具有固定分配的電位、也即電位VDD和VSS，因此該兩個(gè)網(wǎng)絡(luò)P1和P2被理解為所謂的“停止網(wǎng)絡(luò)”。
這意味著，網(wǎng)絡(luò)P2上的電位VSS通過要被作為短路處理的晶體管NMOS5到達(dá)或被“傳播“到網(wǎng)絡(luò)B，并通過要被作為短路處理的晶體管NMOS4到達(dá)或被“傳播”到網(wǎng)絡(luò)A。也即，兩個(gè)網(wǎng)絡(luò)A和B由此被分別分配了電位VSS。以相應(yīng)的方式，網(wǎng)絡(luò)P1上的電位VDD通過要被作為短路處理的晶體管NMOS2到達(dá)網(wǎng)絡(luò)A，并通過要被作為短路處理的晶體管NMOS4到達(dá)網(wǎng)絡(luò)B。兩個(gè)網(wǎng)絡(luò)A和B由此被分別分配了兩個(gè)電位VSS和VDD。
然而，如在圖16中可以看出的一樣，電位VDD與網(wǎng)絡(luò)P2之間不產(chǎn)生分配關(guān)系，同樣，電位VSS與網(wǎng)絡(luò)P1之間也不產(chǎn)生分配關(guān)系。這是在于以下原因被固定分配了電狀態(tài)量的兩個(gè)網(wǎng)絡(luò)P1和P2形成了“停止網(wǎng)絡(luò)”。在圖15和16所示的例子中(如上所述)，網(wǎng)絡(luò)P1被固定分配了電位VDD，網(wǎng)絡(luò)P2被固定分配了電位VSS。
以相應(yīng)的方式，電位VDD此時(shí)通過被作為短路處理的晶體管NMOS1被分配給網(wǎng)絡(luò)C。因此電位VDD可能或必須也被分配給網(wǎng)絡(luò)D，因?yàn)榫w管NMOS3也應(yīng)被作為短路處理。
結(jié)果是，由此形成一種電壓電位分配關(guān)系，如圖16中所示。這意味著，兩個(gè)網(wǎng)絡(luò)A和B分別被分配了電位VSS和VDD，兩個(gè)網(wǎng)絡(luò)CD分別被分配了電位VDD。兩個(gè)網(wǎng)絡(luò)P1和P2保持被固定分配給它們的電位VDD或VSS，因?yàn)樗鼈兪峭Ｖ咕W(wǎng)絡(luò)。也即適用P1VDDP2VSSAVDD，VSSBVDD，VSSCVDDDVDD也即，一方面是網(wǎng)絡(luò)C和D，另一方面還有網(wǎng)絡(luò)A和B由此分別形成一個(gè)等效類。
現(xiàn)在可以如此地檢查圖15和16所示的電路，看是否達(dá)到預(yù)定的、至少通過一個(gè)電狀態(tài)量定義的電路狀態(tài)。這需要參照一個(gè)例子來進(jìn)行說明，其中為所有那些沒有與電位VDD連接或沒有與電位VSS連接的節(jié)點(diǎn)輸出一個(gè)標(biāo)記信號(hào)(或檢查信號(hào))。相應(yīng)的詢問可以用編程語言表示如下ercRules{reportNet{pinTypescondition count″VSS″″VDD″＜=1title″No path to VDD or no path to VSS″}}
如從圖16可以看出的一樣，網(wǎng)絡(luò)P1、P2、C和D被通告。網(wǎng)絡(luò)P1和P2被通告，是因?yàn)樗鼈兪峭Ｖ咕W(wǎng)絡(luò)且不能采取其它電位。網(wǎng)絡(luò)C和D被通告，是因?yàn)樗鼈儾荒懿扇‰娢籚SS。也即產(chǎn)生一個(gè)檢查信號(hào)。
另一種檢查詢問例如可以是這樣，使得可能處于電位VSS的所有網(wǎng)絡(luò)或網(wǎng)絡(luò)節(jié)點(diǎn)應(yīng)該被輸出。相應(yīng)的尋找或檢查詢問可以用編程語言表示如下ercRules{reportNet{pinTypesconditionincluding″VSS″title″path to VSS″}}該檢查詢問的結(jié)果可能是，網(wǎng)絡(luò)A和B以及P2可能具有電位VSS。電位P1不可能(如上所述)具有電位VSS，因?yàn)樗婕耙粋€(gè)停止網(wǎng)絡(luò)。相應(yīng)地，兩個(gè)網(wǎng)絡(luò)C和D也不可能具有電位VSS，因?yàn)樗鼈冎煌ㄟ^停止網(wǎng)絡(luò)P1被施加了電位VDD。
在圖17中以一種變型方式描述了如圖15和16所示的實(shí)施例。在圖17所示的電路中，網(wǎng)絡(luò)P1也被分配了電位VDD以及網(wǎng)絡(luò)P2被分配了電位VSS。但與圖15、16所示的實(shí)施例不同，這里并不涉及固定的分配，所以兩個(gè)網(wǎng)絡(luò)P1和P2沒有形成停止網(wǎng)絡(luò)。因此兩個(gè)網(wǎng)絡(luò)P1和P2除了預(yù)先被分配的電位VDD或VSS外還分配了另外的其它電位。網(wǎng)絡(luò)的引腳占用或引腳類型的定義以及短路例如可以通過以下程序行來定義
ercDefines{defPins{pin″VSS″=″P2″pin″VDD″=″P1″}shortDevices{short″MOS″}}如果現(xiàn)在在這里采用聯(lián)系圖15和16所講述的方法，則被分配給網(wǎng)絡(luò)P2的VSS通過被作為短路處理的晶體管NMOS5到達(dá)網(wǎng)絡(luò)B，并從那里通過被作為短路處理的晶體管NMOS4到達(dá)網(wǎng)絡(luò)A。另外，電位VSS可以通過被作為短路處理的晶體管NMOS2到達(dá)網(wǎng)絡(luò)P1，因?yàn)榫W(wǎng)絡(luò)P1不再形成停止網(wǎng)絡(luò)。然后，電位VSS從網(wǎng)絡(luò)P1通過晶體管NMOS1到達(dá)網(wǎng)絡(luò)C，并從那里通過晶體管NMOS3到達(dá)網(wǎng)絡(luò)D。由此，電位VSS可以因此施加到所有網(wǎng)絡(luò)P1、P2、A、B、C和D上。
以相應(yīng)的方式，電位VDD現(xiàn)在也被分配到網(wǎng)絡(luò)A、B、C和D(如同在以上實(shí)施例中一樣)，并且另外通過晶體管NMOS5到達(dá)網(wǎng)絡(luò)P2，因?yàn)榫W(wǎng)絡(luò)P2同樣不再形成停止網(wǎng)絡(luò)。
結(jié)果是，所有網(wǎng)絡(luò)可以分別具有兩個(gè)電位VSS和VDD。也即適用P1VDD，VSSP2VDD，VSSAVDD，VSSBVDD，VSSCVDD，VSSDVDD，VSS網(wǎng)絡(luò)P1、P2、A、B、C和D由此形成一個(gè)等效類。
在圖18和19中描述了第五電路，下面借助它來講述檢查方法或標(biāo)記方法的執(zhí)行。
從圖18可以看到一個(gè)“小的”n溝道型MOS場效應(yīng)晶體管NMOSSMALL，其利用它的一個(gè)開關(guān)線路端子(源極端子)與網(wǎng)絡(luò)P5相連。在網(wǎng)絡(luò)P5上施加電位VSS。晶體管NMOS SMALL的柵極毗連電位為VINT的P4。晶體管NMOS SMALL的另一開關(guān)線路端子(漏極端子)被連接到一個(gè)“小的”p溝道型MOS場效應(yīng)晶體管PMOS SMALL的一個(gè)開關(guān)線路端子(漏極端子)上。晶體管PMOS SMALL的另一開關(guān)線路端子(源極端子)與被施加了電位VINT的網(wǎng)絡(luò)P2相連。
晶體管PMOS SMALL的柵極端子通過一個(gè)電阻R與一個(gè)“大的”p溝道型MOS場效應(yīng)晶體管PMOS BIG的一個(gè)開關(guān)線路端子相連，后者的另一個(gè)開關(guān)線路端子與網(wǎng)絡(luò)P1相連。晶體管PMOS BIG的柵極端子與被施加了電位VSS的網(wǎng)絡(luò)P3相連。
網(wǎng)絡(luò)P1、P2、P3、P4和P5涉及停止網(wǎng)絡(luò)，它們只能具有被分配給它們的電位。
電阻值大于500歐姆的所有電路電阻應(yīng)該被視為不導(dǎo)通的，相反，電阻值小于或等于500歐姆的其余所有電阻應(yīng)該是理想地或無損耗地導(dǎo)通的。據(jù)此，電阻R被作為短路處理。
網(wǎng)絡(luò)P1、P2、P3、P4和P5網(wǎng)絡(luò)的電位的相應(yīng)分配以及各部件的電特性的定義例如利用以下編程規(guī)則來實(shí)現(xiàn)/*引腳類型和電壓的分配*/ercDefines{defPins{pin″VSS″voltage 0 =″P5″″P3″pin″VINT″ voltage 2.0=″P2″″P4″pin″VPP″voltage 3.0=″P1″}/*應(yīng)被用于傳遞電壓的部件以及停止網(wǎng)絡(luò)的定義*/shortDevices{short″MOS″BIGshort″MOS″SMALLshort″RES″value=＜500excludingPinTypes″VPP″″VINT″″VSS″}圖18和19所示的電路現(xiàn)在應(yīng)該被如此地檢查，看在小的p溝道型晶體管PMOS SMALL中是否可能出現(xiàn)過高的電壓。p溝道型晶體管PMOS SMALL涉及這樣的晶體管，其中在柵極端子和源極或漏極端子之間不可以施加大于VINT的電壓。根據(jù)上述定義，電壓VINT＝2伏特。
為了執(zhí)行檢查，首先必須確定電路的哪些網(wǎng)絡(luò)節(jié)點(diǎn)或哪些網(wǎng)絡(luò)必須被分配哪些電位或狀態(tài)。為此進(jìn)行如下過程首先確定，網(wǎng)絡(luò)P2是一個(gè)停止網(wǎng)絡(luò)，這樣該網(wǎng)絡(luò)P2只能具有電位VINT。但該電位VINT可以通過晶體管PMOS SMALL(該晶體管就其開關(guān)線路或其源極-漏極-端子對(duì)而應(yīng)被作為短路處理)到達(dá)網(wǎng)絡(luò)A。此外，網(wǎng)絡(luò)A也被分配了電位VSS，因?yàn)榫w管NMOS SMALL就其開關(guān)線路或其源極-漏極-端子對(duì)而應(yīng)被作為短路處理。
網(wǎng)絡(luò)P1處的電位VPP通過就其開關(guān)線路或其源極-漏極-端子對(duì)而應(yīng)被作為短路處理的晶體管PMOS BIG達(dá)到網(wǎng)絡(luò)B。由于電阻R只具有電阻值R＝100歐姆，所以該電阻根據(jù)以上規(guī)則應(yīng)被視為短路；因此電位VPP同樣被分配給網(wǎng)絡(luò)C，并由此被分配給晶體管PMOS SMALL的柵極端子。
由此形成一種電位分配，如圖19所示。
由此應(yīng)該確定在網(wǎng)絡(luò)A上以及由此在晶體管PMOS SMALL的漏極端子上可能出現(xiàn)電位VSS和VINT，并且在網(wǎng)絡(luò)C上以及由此在晶體管PMOS SMALL的柵極端子上可能出現(xiàn)電位VPP。
現(xiàn)在應(yīng)該如此地檢查電路，看在“小的”p溝道型晶體管PMOS SMALL中是否施加一個(gè)大于VINT的柵極-源極-電壓或柵極-漏極-電壓。這種檢查詢問例如可以是如下這個(gè)樣子/*測試規(guī)則*/reportDevice{″MOS″models SMALLcondition nodeVoltage{voltage″GATE″-voltage″SDRAIN″＞″VINT″}||nodeVoltage{voltage″SDRAIN″-voltage″GATE″＞″VINT″}title″SMALL MOS，voltage difference Gate-Sour-ce/Drain/Substrate＞VINT″}根據(jù)該檢查詢問來檢查是否存在“小的”MOS場效應(yīng)晶體管，其中在柵極端子和源極或漏極端子之間施加了一個(gè)超過電壓極限VINT＝2V的電壓。
該檢查詢問的解可以從圖19直接看出；因?yàn)樵趫D19中示出了在小的p溝道型晶體管PMOS SMALL的漏極端子和柵極端子之間可以施加一個(gè)以下值的柵極-漏極-電壓UgdUgd＝VPP-VSS＝3伏特，以及Ugd＝VPP-VINT＝1伏特。
如果柵極端子被施加電位VPP，則于是可以在柵極端子和漏極端子之間形成一個(gè)電壓差Vgd＝3V＞2V。因此明顯超過了預(yù)定的極限電壓或最大電壓差Ugd＝VINT＝2V。
因此作為上述檢查詢問的結(jié)果，該小的p溝道型晶體管PMOS SMALL被通告。也即，圖18和19所示的電路的規(guī)格是定得不夠的。需要采用一個(gè)“大的”p溝道型晶體管PMOS BIG來代替小的p溝道型晶體管PMOS SMALL，因?yàn)樵凇按蟆鳖愋偷腗OS晶體管情況下在柵極端子和源極端子之間或在柵極端子和漏極端子之間的VDD的電壓差是非緊急的。
替而代之的是，圖18和19所示的電路也可以例如通過提高電阻R的電阻值而進(jìn)行另外的修正。也即，如果電阻R的電阻值具有大于500歐姆的值，則電位VPP就不會(huì)通過該電阻R被“傳播”到p溝道型晶體管PMOS SMALL的柵極端子，使得在該晶體管上不會(huì)出現(xiàn)過電壓。于是該晶體管不被通告。
另外，所述的檢查方法還可以考慮其它電路參數(shù)。于是例如詢問“在晶體管上是否超過預(yù)定的極限電壓”另外還可以與晶體管的幾何參數(shù)結(jié)合起來。例如，對(duì)于在源極端子和漏極端子之間施加了大于VINT的電壓差而且其柵極長度小于280nm的所有“小的”p溝道型晶體管，可以借助于上述的檢查方法被找到。相應(yīng)的檢查詢問例如如下
reportDevice{″MOS″models P_SMALLcondition length＜280&&
nodeVoltage{voltage″SDRAIN″＞″vint″}&&
nodeVoltage{voltage″SOURCE″-voltage″DRAIN″＞″vint″}title″Small PMOS，length＜280，voltage SOURCE-DRAIN＞vint″}因此結(jié)果是利用上述方法能夠非常簡單地實(shí)現(xiàn)電路的完整檢查，而不需要電路的完整的電仿真。
權(quán)利要求
1.用于產(chǎn)生標(biāo)記信號(hào)的方法，所述標(biāo)記信號(hào)給出了在電路的哪些部件中或在電路的哪些電路區(qū)域中可能出現(xiàn)至少通過電壓電位或邏輯態(tài)定義的預(yù)定電路狀態(tài)，其中-通過以下方式根據(jù)一個(gè)描述所述電路的電路結(jié)構(gòu)的原始網(wǎng)絡(luò)列表形成一個(gè)被變換的網(wǎng)絡(luò)列表-至少一個(gè)預(yù)定部件組或至少一個(gè)預(yù)定部件類的電路的所有電部件至少分別就一個(gè)端子對(duì)而被作為短路處理，-經(jīng)一個(gè)或多個(gè)要被作為短路處理的部件相連的所有網(wǎng)絡(luò)節(jié)點(diǎn)分別被組合成一個(gè)等效類，其中每個(gè)等效類分別被分配所屬的網(wǎng)絡(luò)節(jié)點(diǎn)的所有電壓電位或邏輯態(tài)，-通過考慮所述等效類確定是否和在哪些部件中或在所述電路的哪些電路區(qū)域中可能出現(xiàn)預(yù)定的電路狀態(tài)，以及-產(chǎn)生一個(gè)信號(hào)作為所述標(biāo)記信號(hào)，該信號(hào)標(biāo)記了借助于所述被變換的網(wǎng)絡(luò)列表被識(shí)別的在所述原始網(wǎng)絡(luò)列表中的部件或電路區(qū)域。
2.如權(quán)利要求1所述的方法，其特征在于，接下來借助于所述原始網(wǎng)絡(luò)列表認(rèn)證所述預(yù)定的電路狀態(tài)是否可能在被標(biāo)記的部件中或在被標(biāo)記的電路區(qū)域中實(shí)際出現(xiàn)。
3.如權(quán)利要求2所述的方法，其特征在于，通過形成一個(gè)被校正的標(biāo)記信號(hào)來校正關(guān)于以下部件和電路區(qū)域的標(biāo)記信號(hào)，即在這些部件和電路區(qū)域中得出的認(rèn)證是所述預(yù)定的電路狀態(tài)被排除。
4.如上述權(quán)利要求之一所述的方法，其特征在于，所述電路的被固定分配有電壓電位或邏輯態(tài)的網(wǎng)絡(luò)節(jié)點(diǎn)或連接引腳被排除納入到一個(gè)等效類中。
5.如權(quán)利要求4所述的方法，其特征在于，具有固定分配的電壓電位或邏輯態(tài)的每個(gè)網(wǎng)絡(luò)節(jié)點(diǎn)的電壓電位或邏輯態(tài)被拷貝到分別與該網(wǎng)絡(luò)節(jié)點(diǎn)相連的每個(gè)等效類中。
6.如上述權(quán)利要求之一所述的方法，其特征在于，所述電路的所有電部件被單獨(dú)地就部件的每個(gè)端子對(duì)而作為短路或非導(dǎo)電處理。
7.如上述權(quán)利要求之一所述的方法，其特征在于，至少一個(gè)預(yù)定晶體管類的所有晶體管就其開關(guān)線路而被作為短路處理。
8.如上述權(quán)利要求之一所述的方法，其特征在于，電阻值低于一預(yù)定極限值的所有電阻被作為短路處理，以及電阻值高于該預(yù)定極限值的所有電阻被作為非導(dǎo)通處理。
9.如上述權(quán)利要求之一所述的方法，其特征在于，選擇一個(gè)對(duì)該電路緊急的電路狀態(tài)、尤其是多個(gè)緊急的電路狀態(tài)作為預(yù)定的電路狀態(tài)，以及對(duì)所述緊急的電路狀態(tài)、尤其是對(duì)多個(gè)緊急的電路狀態(tài)執(zhí)行所述方法。
10.如上述權(quán)利要求之一所述的方法，其特征在于，給以下網(wǎng)絡(luò)節(jié)點(diǎn)或等效類產(chǎn)生所述標(biāo)記信號(hào)，該網(wǎng)絡(luò)節(jié)點(diǎn)或等效類達(dá)到或低于/超過一個(gè)預(yù)定極限電壓電位或達(dá)到一個(gè)預(yù)定邏輯態(tài)。
11.如上述權(quán)利要求1-9之一所述的方法，其特征在于，給以下部件產(chǎn)生所述標(biāo)記信號(hào)，在該部件中施加了一個(gè)達(dá)到或低于/超過一個(gè)為該部件單獨(dú)所預(yù)定的極限電壓的電壓。
12.如上述權(quán)利要求1-9之一所述的方法，其特征在于，給以下部件產(chǎn)生所述標(biāo)記信號(hào)，在該部件中施加了一個(gè)達(dá)到或低于/超過一個(gè)為該相應(yīng)的部件類所預(yù)定的極限電壓的電壓。
13.如上述權(quán)利要求之一所述的方法，其特征在于，借助于一個(gè)數(shù)據(jù)處理設(shè)備執(zhí)行所述方法，向該數(shù)據(jù)處理設(shè)備輸入所述電路的電路結(jié)構(gòu)作為原始網(wǎng)絡(luò)列表。
14.用于產(chǎn)生標(biāo)記信號(hào)的設(shè)備，所述標(biāo)記信號(hào)給出了在電路的哪些部件中或在電路的哪些電路區(qū)域中可能出現(xiàn)至少通過電壓電位或邏輯態(tài)定義的預(yù)定電路狀態(tài)，所述設(shè)備具有-存儲(chǔ)器，其中存儲(chǔ)了描述所述電路的電路結(jié)構(gòu)的原始網(wǎng)絡(luò)列表，以及-與所述存儲(chǔ)器相連的計(jì)算機(jī)裝置，該計(jì)算機(jī)裝置被構(gòu)造使得-該計(jì)算機(jī)裝置通過以下方式根據(jù)所述原始網(wǎng)絡(luò)列表形成一個(gè)被變換的網(wǎng)絡(luò)列表-至少一個(gè)預(yù)定部件組或至少一個(gè)預(yù)定部件類的電路的所有電部件被作為短路處理，-經(jīng)一個(gè)或多個(gè)要被作為短路處理的部件相連的所有網(wǎng)絡(luò)節(jié)點(diǎn)分別被組合成一個(gè)等效類，其中所述計(jì)算機(jī)裝置分別給每個(gè)等效類分配所屬的網(wǎng)絡(luò)節(jié)點(diǎn)的所有電壓電位或邏輯態(tài)，-該計(jì)算機(jī)裝置通過考慮所述等效類確定是否和在哪些部件中或在所述電路的哪些電路區(qū)域中可能出現(xiàn)預(yù)定的電路狀態(tài)，以及-該計(jì)算機(jī)裝置產(chǎn)生一個(gè)信號(hào)作為所述標(biāo)記信號(hào)，該信號(hào)標(biāo)記了借助于所述被變換的網(wǎng)絡(luò)列表被識(shí)別的在所述原始網(wǎng)絡(luò)列表中的部件或電路區(qū)域。
15.如權(quán)利要求14所述的裝置，其特征在于，所述計(jì)算機(jī)裝置被構(gòu)造使得，該計(jì)算機(jī)裝置在產(chǎn)生標(biāo)記信號(hào)時(shí)執(zhí)行如上述權(quán)利要求2-13之一所述的方法步驟中的至少一個(gè)。
16.具有程序的數(shù)據(jù)載體，該程序被構(gòu)造使得，數(shù)據(jù)處理設(shè)備在安裝該程序之后執(zhí)行如上述權(quán)利要求1-13之一所述的方法步驟。
全文摘要
本發(fā)明所基于的任務(wù)在于，提供一種用于檢查電路的方法，其中不需要詳細(xì)的電路調(diào)制但能可靠地識(shí)別電路差錯(cuò)。根據(jù)本發(fā)明，該任務(wù)通過一種用于產(chǎn)生標(biāo)記信號(hào)的方法來解決，所述標(biāo)記信號(hào)給出了在電路的哪些部件中可能出現(xiàn)預(yù)定的電路狀態(tài)，其中通過以下方式根據(jù)一個(gè)描述所述電路的原始網(wǎng)絡(luò)列表形成一個(gè)被變換的網(wǎng)絡(luò)列表至少一個(gè)預(yù)定部件組的所有電部件至少分別就一個(gè)端子對(duì)而被作為短路處理，經(jīng)一個(gè)或多個(gè)要被作為短路處理的部件相連的所有網(wǎng)絡(luò)節(jié)點(diǎn)分別被組合成一個(gè)等效類，其中每個(gè)等效類分別被分配所屬的網(wǎng)絡(luò)節(jié)點(diǎn)的所有狀態(tài)，通過考慮所述等效類確定是否和在哪些部件中可能出現(xiàn)預(yù)定的電路狀態(tài)，以及產(chǎn)生一個(gè)信號(hào)作為所述標(biāo)記信號(hào)，該信號(hào)標(biāo)記了被識(shí)別的在所述原始網(wǎng)絡(luò)列表中的部件。
文檔編號(hào)G06F17/50GK1849609SQ200480026414
公開日2006年10月18日 申請(qǐng)日期2004年8月31日 優(yōu)先權(quán)日2003年9月12日
發(fā)明者P·巴德, T·紐恩霍弗 申請(qǐng)人:英飛凌科技股份公司