Id-dar > Aħbarijiet > Il-kontenut

L-Immaniġġjar ta 'Żball Foloq Fl-Iċċekkjar tar-Regola tad-Disinn Ġerarkiku

Mar 01, 2018

Bl-espansjoni tal-iskala ta 'ċirkwiti integrati (IC), il-metodu ta' disinn ġerarkiku sar l-element prinċipali tad-disinn tal-IC. Minħabba li l-għodda tal-verifika tat-tqassim tat-tqassim tipproċessa dejta mit-tqassim kollu għal-livell taċ-ċippa, il-verifika għat-tqassim modern tal-IC spiss tieħu għexieren ta 'sigħat, u spiss ma tistax titlesta minħabba memorja insuffiċjenti. B'dan il-mod, qed jiġi propost metodu ta 'verifika ta' tqassim ġerarkiku, li juża l-istruttura ġerarkika tat-tqassim biex jivverifika l-unitajiet differenti rispettivament. Il-verifika ġerarkika tar-regola tad-disinn (DRC) hija għodda importanti fis-sistema ta 'verifika ta' tqassim ġerarkiku. F'disinn modern ta 'VLSI, hemm ħafna unitajiet li jissejħu ripetutament, filwaqt li r-RDK ġerarkika tivverifika kull tip ta' unità darba biss. Għalhekk, ir-RDK ġerarkika se tnaqqas sew l-isforz tal-ipproċessar u tqassar iż-żmien tat-tħaddim tad-DRC. Fl-istess ħin, minħabba li unità waħda tiġi ttrattata biss kull darba, ir-rekwiżit tal-memorja jitnaqqas b'mod sinifikanti wkoll.


Barra minn hekk, id-DRC kklassifikata tpoġġi l-iżbalji misjuba fl-unità korrispondenti u tiffaċilita lid-disinjatur biex jimmodifikaha. Madankollu, l-algoritmu ġerarkiku DRC ippreżentat fil-letteratura issa għandu ftit jew wisq restrizzjonijiet fuq it-tqassim. Meta jkun qed jittratta ma 'dan, se jkun hemm serje ta' problemi speċjali ta 'metodu ġerarkiku. Fost dawn il-problemi, il-problema ta 'falza u falza tidher partikolarment diffiċli. Is-soluzzjoni ta 'din il-problema hija ta' sinifikat kbir għall-applikazzjoni prattika ta 'DRC gradwat.


Il-fluss fil-qosor tal-algoritmu ġerarkiku tad-DRC huwa: it-traversjar tal-unità tas-siġra tas-sejħa fis-sekwenza ta 'wara u t-tkissir tas-sett tal-grafika tar-RDK ta' kull unità mhux ikkontrollata bħala dispersjoni DRC. Is-sett tal-grafika tar-RDK ta 'unità jikkonsisti mill-elementi li ġejjin: il-grafika tal-unità nnifisha, l-estrazzjoni ta' kull subunità taċ-ċellula, il-graff kopert mill- tal-grafika tal-unità u s-sottoċellula. Skond dak il-proċess, ir-RDK ġerarkika tipproduċi żbalji foloz, prinċipalment minħabba li l-operazzjoni grafika mhix adatta fil-proċess li tifforma sett grafika ta 'DRC, li tbiddel il-forma oriġinali tal-graff, u l-unità nnifisha għandha grafika inkompleta. F'dan id-dokument, is-soluzzjonijiet korrispondenti huma mressqa.


1 Żball falz ikkawżat minn tħaddim grafiku mhux xieraq

1.1 Estrazzjoni ta 'unità ta' estrazzjoni

Fit-tqassim tal-IC, iċ-ċellula u d-dinja ta 'barra ġeneralment huma esposti biss għall-konfini. Għalhekk, it-tfassil tad-DRC fi ħdan l-iskala tal-unità jintuża bħala estrazzjoni unitarja biex tivverifika jekk ir-regola tad-disinn hijiex miksura bejn l-unità u l-grafika esterna. L-estrazzjoni tal-unità li hija estratta direttament miċ-ċirku periferali taċ-ċellula (jiġifieri operazzjoni loġika U) tista 'tissodisfa l-kontroll tar-RDK tal-grafika tal-madwar tagħha meta tiġi invokata. Iżda minħabba qtugħ se tbiddel il-forma taċ-ċifra oriġinali, tista 'tipproduċi żbalji foloz meta tiċċekkja l-grafika astratta. Kif muri f'Figura 1 (a) murija fl-unità, l-unità tat-tqattigħ hija astratta kif muri f'Figura 1 (b) fid-dell, meta l-estrazzjoni minn unitajiet oħra titlob, bħala DRC mifrux f'unità ta 'sejħa, iċċekkja l-wisa' ta '2 tal-grafika grafika oriġinali għal ma kinitx żbaljata, iżda fil-Figura 1 (b) milli nqatgħet blokka se tkun żbaljata. L-istess raġuni, il-kontroll tal-wisa 'koniku tal-figura 1 isir kontroll tal-intervall tal-istess saff, u naturalment huwa saħansitra iktar żbaljat.

1.png



Minn fejn l-għodda tal-operazzjoni grafika u l-għodda DRC imxerrda ma tirrikonoxxix il-każ tal-unità tal-estrazzjoni tad-disinn, astratt għandna tadotta mod ġdid: sakemm hemm waqgħa fiċ-ċirku tal-unità grafika, il-grafika tal-unità tal-ġbir biex iżżomm l- grafika astratta, il-figura 1 (c) hija estratta b'dan il-mod li l-unità ta 'estrazzjoni, li fiha l-graffta kompluta 1 u l-grafika 2, qajmet m'għadux jikkawża żbalji foloz.


1.2 Tpinġija taħt il-kisja

Jekk iċ-ċellula jkollha graff fil-fond (jew tirkeb fuq xulxin), jekk is-sotto-ċellula tagħha tkun imqabbla, il-grafika ta 'ġewwa tas-sottoċellula tista' tikser ir-regola tad-disinn mad-dinja ta 'barra, għalhekk għandna bżonn nippreżentaw il-graff ta' . Minħabba l-istess raġuni, m'għandniex nibdlu l-għamla tal-grafika oriġinali meta l-graff ta 'sotto ċellula taħt il-grafika ta' l-unità ta 'l-estrazzjoni tkun koperta, u s-sotto-graff ta' unità kopert miż-żona li tikkoinċidi tas-sottoċellula, inkella, żball falz.

2.png

Figura 1 fil-Figura 2, figura A, tidħol fil-fond taħt is-sotto-unità B, il-koinċidenza bejn il-partijiet B u C, li tkabbar il-parti li tikkoinċidi ta 'daqs DRC, kif muri fil-linja bit-tikek tal- ikopru, għandu jkun il-figura sħiħa, aktar milli l-parti maqtugħa mil-linja mdawra. Għalhekk, l-unitajiet grafika 2, 3, u C tal-unità B kompluta għandhom jiġu estratti u inkorporati fis-sett tal-grafika tar-RDK tal-unità prinċipali A.


2 Żball falz ikkawżat minn grafika unitarja mhux kompluta

Għal varjetà ta 'konsiderazzjonijiet ta' disinn, jistgħu jippermettu elementi grafiċi mhux kompluti, bħal xarabank jew nofs toqba fuq l-unità waħedha hekk kif ir-RDK se tilmenta, iżda l-unità kienet imqajma, billi kombinata ma 'grafika oħra, u mingħajr żball. Kif muri fil-Figura 3. Ovvjament, dan huwa żball falz. L-eżistenza ta 'tali sitwazzjoni ġġib problemi kbar fir-RDK ġerarkika pproċessata mill-unità. Huwa jġiegħel lid-DRC ġerarkika tikkunsidra ċ-ċellula u l-ambjent li ssejjaħ tagħha flimkien.

3.png


F'dan ir-rigward, il-miżuri li ġejjin huma mressqa:

(1) L-unità tat-trasformazzjoni tal-graff ta 'l-iżball għal-livell taċ-ċippa, neħħi l-grafika relatata tal-madwar, għal darb'oħra li tkun imsawta DRC, minħabba grafika difettuża u grafika relatata hija żgħira ħafna meta mqabbla man-numru ta' veloċità minn RDK tista '. Ir-riżultat finali huwa li jelimina r-riżultati żbaljati tar-RDK.

(2) Fiċ-ċippa, fejn l-unità tidher l-ewwel, l-unità titqiegħed f'sett ta 'grafika tar-DRC oriġinarjament użata għal verifika ta' tifrix, u s-sejħiet sussegwenti huma astratti. Jaqbżu t-tqassim sħiħ ta 'dan it-tqassim għar-RDK, kif muri f'Figura 4. Dan huwa attwalment varjant ta' DRC ġerarkiku, li jpoġġi l-unitajiet kollha f'ċippa biex jipproċessawhom, u jħaffru partijiet ripetittivi biex inaqqsu l-ammont ta 'xogħol tar-RDK. Fl-istess ħin, jiċċekkja l-ambjent tal-madwar taċ-ċippa fil-livell taċ-ċippa. Dan il-metodu huwa adattat biex jittratta regoli ta 'tqassim u overlaps regolari.

(3) Fit-tqassim proprju, minħabba grafika inkompleta fi kważi l-unitajiet kollha madwar l-unità fl-unità u grafika astratta astratta, se jkun fl-unità kull darba meta ssejjaħ l-ambjent tal-madwar b'eżami, għalhekk, jista 'jsir b'kontroll fiss fuq kull unità ta 'settijiet ta' figuri tar-RDK, li ma jinvolvux l-unità li hija l-unità ta 'estrazzjoni fi ħdan il-grafika tal-madwar tad-DRC titqajjem fl-unità, tista' tnaqqas l-iżball falz iġġenerat, jista 'jinfirex fejn ir-rikonoxximent tal-mudell minn.

4.png


(B) Kull unità fil-format tal-grafika tad-DRC ta 'ċippa, bħall-parti ta' dell tad-dijagramma, li minnhom B-1, C-1, D-1 huma l-ewwel dehra ta 'unitajiet B, C u D.

Figura 4 tqassim grafiku ta 'livell ta' chip ġerarkiku għal varjetà ta 'varjetajiet


Il-metodi ta 'hawn fuq għandhom il-limitazzjonijiet tagħhom stess. Jekk aħna ngħaqqdu s-sistema ta 'arranġament maqlub ta' l-arranġament li tidher fil-Figura 5, aħna nintegraw (2) u (3) żewġ modi, iqisu diversi fatturi ambjentali ta 'ċipep f'livell ta' ċippa, u jwettqu DRC ġerarkiku li jista 'jsolvi aħjar is- problema. L-iskeda ta 'tqassim maqluba tirreġistra r-relazzjoni ta' sejħa tal-unità fil-livelli kollha, u tista 'tintuża biex issib l-ambjent li ssejjaħ tal-unità. Per eżempju, għat-tqassim tat-tqassim tal-figura 5 (a), is-siġra ta 'tqassim maqluba tal-unità D, bħal 5 (b). Dan juri li l-unità D tissejjaħ darbtejn f'B u 3 darbiet f'Ċ. Fiċ-ċippa A, iċ-ċellula D hija msejħa direttament minn A għal 3 darbiet, bħala sotto-unità ta 'B u Ċ, u hija indirettament imsejħa minn A għal 7 darbiet . Għalhekk, fil-livell A, unitajiet ta '10 D jidhru fuq iċ-ċipp kollu. Sabiex jiġi eliminat l-iżball falz ikkawżat minn grafika mhux kompluta, l-unità għandha titqies fil-livell taċ-ċipp flimkien ma 'l-ambjent tagħha. L-użu ta 'DRC ġerarkiku jista' jtejjeb l-effiċjenza, prinċipalment ibbażat fuq l-ambjent multipli għal sejħiet unitarji fit-tqassim ġerarkiku tad-disinn. Per eżempju, għalkemm l-unità D tissejjaħ 10 darbiet fiċ-ċippa A, żewġ każijiet li jmissu magħhom fl-iskala ta 'kontroll tad-DRC huma ħdejn id-D jew maġenb l-E. Għalhekk, dawn iż-żewġ kundizzjonijiet biss għandhom jiġu eżaminati bħala l-ambjent tal- D.

5.png


(l-unità D hija invokata bħala sotto-unità ta 'B1 u B2. Bħala subunità ta' C, C1, C2 u C3 huma invokati; A8, A9 u B jissejħu direttament bħala sotto unitajiet, minħabba li huma indirettament invokati billi ssejjaħ u sejħa.)


L-iżball tal-unità f'ambjenti varji għandu jitqiegħed fis-sett ta 'żball tal-unità, jiġifieri, l-iżball tad-DRC irrappurtat minn kull unità għandu jkun ir-riżultat tal-operazzjoni ta' intersezzjoni stabbilita. Is-siġra maqluba hija faċli li tpoġġi r-riżultati żbaljati fl-unitajiet l-aktar xierqa, sabiex ir-riżultat tal-klassifikazzjoni jinkiseb sabiex jagħmilha faċli biex tiġi mmodifikata. Per eżempju, fil-Figura 5 (b), l-iżbalji ta 'D fl-invokazzjonijiet kollha fil-livell taċ-ċipp għandhom jiġu rrapportati f'D. Żbalji li seħħew biss f'A1, A2, A3 u A4 huma rrappurtati f'unità B. L-iżball li seħħ biss f'A3 huwa rrappurtat f'Unità A.