Dom > Novice > Vsebine

Ukvarjajo z lažno napake v hierarhični Design pravilo preverjanje

Mar 01, 2018

S širjenjem obsega integrirana vezja (IC), hierarhični design metoda postala mainstream IC design. Ker raztreseni postavitev overovitev obdeluje podatke iz celotno postavitev z ravnijo čip, preverjanje za sodobno obliko IC pogosto traja deset ur, in pogosto ni mogoče dokončati zaradi premajhne količine pomnilnika. Na ta način, je predlagana hierarhično postavitev preverjanje metoda, ki uporablja hierarhično strukturo postavitev oziroma preveriti posamezne enote. Hierarhični design pravilo preverjanje (DRK) je pomembno orodje v hierarhično postavitev sistema preverjanja. V sodobno obliko VLSI, obstaja veliko enot, ki se imenuje večkrat, medtem ko hierarhično DRK preveri vse vrste enot samo enkrat. Zato hierarhično DRK bo močno zmanjšali predelavo napora in skrajša DRK, teče čas. Ob istem času, ker samo ena enota obravnavajo le vsakokrat, spomin zahteva tudi bistveno zmanjša.


Poleg tega tajnih DRK postavlja napake, odkrite v ustrezne enote in olajšuje designer, če želite spremeniti. Kljub temu, hierarhično DRK algoritem, predstavljen v literaturi zdaj je bolj ali manj omejitev na postavitev. Ko se ukvarjajo z njim, bo niz posebnih težav hierarhične metode. Med te probleme, težave in lažno lažno zdi, da je še posebej težko. Za rešitev tega problema je zelo pomembna za praktično uporabo stopenjske DRK.


Kratek tok hierarhično DRK algoritem: prečkajo enota klic drevo v zaporedju nazaj in zlom DRK graf nabor klasičnim nenadzorovano kot raztreseni DRK. DRK graf nabor enota je sestavljena iz naslednjih elementov: grafični enota sama, odvzem vsake enote pod celico, graf, zajetih v območju prekrivanja svoje sub celic in graf, zajetih v območju prekrivanja enota graf in e UB celic. Po postopku, hierarhično DRK proizvaja napake, predvsem zato, ker grafične operacije je neprimeren v procesu oblikovanja DRK grafični nabor, ki spremeni prvotno obliko grafa, in enota sama je nepopolna grafike. V tej knjigi, z ustreznimi raztopinami premaknejo naprej.


1 lažne zmota vzrok z nepravilno delovanje grafične

1.1 ekstrakcijo enota abstrakcije

V IC postavitev, celice in zunanjim svetom so običajno le izpostavljeni mejo. Zato, risanje DRK v okviru enote se uporablja kot enota abstrakcije za preverjanje ali pravilom za načrtovanje kršene med enoto in zunanje grafične. Enota abstrakcije, ki je pridobljen neposredno iz periferni obroč celic (to je logična in operacija), izpolnjuje DRK potrdite svojo okoliško grafike, kadar je priklicana. Ampak ker rezanje bo Spremeni obliko izvirno sliko, to lahko povzroči napake pri preverjanju abstraktne grafike. Kot je prikazano na sliki 1 (a) prikazani v enote, rezalne enote so abstraktni, kot je prikazano na sliki 1 (b) v senci, ko odvzem z drugih enot klic, kot razpršena DRK v enoti klic, preverite širino 2 prvotne grafika grafike za ni bilo narobe , ampak na sliki 1 (b) preprečujejo odrezal blok bo narobe. Iz istega razloga, preverite konkavno širine številka 1 postane preverjanje intervalu isti plasti, in seveda je še bolj narobe.

1.png



Od kod grafični delovanje orodja in razpršeni DRK orodje ne prepozna enota ekstrakcijo vzorec primeru, abstraktno smo sprejeti nov način: tako dolgo, kot je padec v grafični enoti prstan, grafika pridobivam enote, da se ohrani prvotno Povzetek grafika, slika 1 (c) je izpisanih na ta način enoti abstrakcije, ki vsebuje popolno graf 1 in graf 2, se ne bo več vzrok napake.


1.2 črpanje sredstev prosojnico

Če celica je graf v globino (ali prekrivanje), če se prekriva njegovo pod celico, notranje graf pod celico kršite pravilom za načrtovanje z zunanjim svetom, zato moramo položiti naprej prekrivanje enota graf za pogledat. Zaradi istega razloga, ne smejo spreminjati obliko prvotne grafu graf pod celico pod ekstrakcijo enota graf je iz in sub enota graf zajete prekrivajoča se območja pod celico, drugače, bo tudi proizvajajo napačen napake.

2.png

Slika 1 slika 2, slika A, gre globoko v svoje enote pod B, prekrivanje med deli B in C, širitev prekrivanje del DRK velikost, kot je prikazano v črtkani črti grafa, pri izdelavi graf po platnicah, je treba celotno sliko , ne pa del zmanjšal s črtkano črto. Zato je grafika 2, 3 in C enot popolna enota B citat in vključena v DRK graf iz svoje nadrejene enote A.


2 lažno zmota vzrok z nepopoln enote grafike

Za različne načrtovanje premisleki, dovolijo za nepopolno grafičnih elementov, kot so avtobus ali pol luknjo na enoti sam kot DRK bo pritoževal, ampak enoti je bilo postavljeno, z združitvijo z drugo grafiko, in ne zmota. Kot je prikazano na sliki 3. Seveda, to je lažno napaka. Obstoj takšnega stanja prinaša velik trud hierarhično DRK obdeluje enoti. Prisili hierarhično DRK upoštevati celico in svoj poklic okolje skupaj.

3.png


Pri tem so naslednji ukrepi dal naprej:

(1) enota napaka graf preoblikovanje z ravnijo čip, odstrani okoliških povezano grafiko, spet utrjenih DRK, zaradi pomanjkljive grafike in z njimi povezane grafike je zelo majhna v primerjavi s številom raztresene na skupni ravni grafika čip, tako obdelavo hitrost kot DRK lahko. Končni rezultat je znebiti napačne rezultate DRK.

(2) v čip, kjer enote prvič pojavi, enota je dal v sklop DRK grafike, prvotno uporabljena za preverjanje raztreseni in kasneje klice, odvzete. Prekinitev celotno postavitev ta postavitev za DRK, kot je prikazano na sliki 4. To je pravzaprav različica hierarhično DRK, ki dajo vse enote v čip ravni za obdelavo in izkopati ponavljajoče se dele za zmanjšanje obremenitev DRK. Ob istem času, preveri okolico čip na čip ravni. Ta metoda je primerna za postavitev pravil in redno prekrivanja.

(3) v dejanski postavitev, zaradi nepopolne grafike v skoraj vseh enot okoli enoti v enoti in abstraktno abstraktne grafike, bo v enoti vsakič, ko kliče okolici okolje z inšpekcijo, zato se lahko izvede v stanovanje pregled na vsaki enoti DRK nizoma številk, ki ne vključujejo enoti, ki je enota za odvzem v okoliških grafika DRK bo postavljeno v enoti, lahko zmanjša lažno napake ustvarjena, vendar potrebujejo grafike računalniških orodij in DRK orodja lahko raztreseni kjer vzorec priznanja.

4.png


(b) vsaka enota čip ravni DRK grafične postavitve, kot so shadow del diagram, ki B-1, C-1, D-1 so prvi pojav B, C, D enot.

Slika 4 hierarhično DRK čip ravni grafične postavitve za različne sorte


Zgornjih metod ima svoje omejitve. Če združimo metodo obrnjen postavitev drevo, ki je prikazano na sliki 5, bomo povezati (2) in (3) dva načina, ob upoštevanju različnih okoljskih dejavnikov čipov čip ravni, in izvaja hierarhično DRK, ki lahko bolje rešiti psevdo zmota naloga. Obrnjen postavitev drevo zapise klic razmerje enote na vseh ravneh, in mogoče najti kliče okolje enote. Na primer, za postavitev na sliki 5 (a), drevesu obrnjen postavitev enote D, na primer 5 (b). To kaže, da enote D se imenuje dva krat v B in 3-krat v C. V čip A celic D je neposredno razpiše A za 3-krat, kot enota pod B in C, in je posredno pozval a 7-krat. Zato na ravni 10 D enote pojavijo na celotno čip. Da bi odpravili lažno zmota vzrok z nepopoln grafike, enota treba upoštevati v čip ravni skupaj s svojim okoljem. Uporaba hierarhično DRK lahko izboljša učinkovitost, predvsem na osnovi več enota klic okolje v hierarhični design postavitev. Na primer, čeprav enoti D se imenuje 10-krat v čip A, le dve sosednji primerih v DRK preverite lestvici so zraven D ali mejijo na E. Zato bi bilo treba preveriti le teh dveh pogojev okolja d.

5.png


(enota D uveljavlja kot podenota B1 in B2. Kot sub se uveljavljajo enota C, C1, C2 in C3; A8, A9, in B se imenujejo neposredno kot sub enot, ker so se posredno uveljavljajo ga kliče in kliče. )


Napaka enote v različnih okoljih naj naboru napaka enote, to je DRK napaka, sporočena z vsako enoto je treba rezultat operacije nastavi presečišče. Obrnjena drevesna je enostavno dal napačne rezultate v najbolj primerne enote, tako da rezultat razvrščanje tako, da bi bilo enostavno spremeniti. Na primer, na sliki 5 (b), D v vseh invocations ravni čip poročati v D. napake je prišlo do napak le v A1, A2, A3 in A4 so poročali v B enote. Je napaka le v A3 poročali v enoti.