Id-dar > Aħbarijiet > Il-kontenut

Studju tal-Metodoloġija tal-LVS għat-Tqassim Verfika Fiżika

Jan 25, 2018

Il-verifika fiżika hija l-aħħar ħolqa fid-disinn tal-IC, u hija l-interfaċċa bejn id-disinn taċ-ċirkwit u d-disinn tal-proċess. Għalhekk, huwa partikolarment importanti li d-disinjaturi jivverifikaw l-iżbalji fit-tqassim, u s-sistema ta 'verżjoni tal-format provduta minn Cadence għandha Dracula Diva. Diva huwa inkorporat fil-qafas ewlieni ta 'Cadence, u huwa iktar konvenjenti li jintuża, iżda l-funzjoni hija kemmxejn inferjuri għal dik ta' Dracula. Is-sistema ta 'verifika tat-tqassim tad-dracula indipendenti tista' tkun DRC (De-Sign Rules Check), ERC (Check Electronical Check), LVS (Layout Versus Schematic), LPE (Layout Parameter Ex-tone ion) u serje ta ' veloċità, funzjoni qawwija, tista 'tivverifika u tneħħi ċirkwit ikbar.


1 Proċess u prinċipju tax-xogħol tal-LVS

(1) It-tabella tan-netwerk ikkumpilata b'LOGLVS l-ewwel teħtieġ tuża LOGLVS biex taqleb it-tabella tan-netwerk tal-iskematika f'tabella netta tal-livell tat-transisters. L OGLVS jista 'jiġi kkonvertit għal varjetà ta' formati, bħal Verilog, EDIF, TEGAS5, SICE, eċċ. Peress li l-ewwel tliet tabelli tan-netwerk loġiku ma fihomx deskrizzjonijiet tal-livell ta 'transisters ta' unitajiet loġiċi bażiċi, huwa meħtieġ li tiġi provduta deskrizzjoni taċ-ċirkwit tal-livell ta 'transistor CDL tal-unitajiet loġiċi bażiċi biex tiġġenera l-loġika kollha.

It-tabella netta tal-livell tat-transistor LVSLOGIC. DAT taċ-ċirkwit. Fil-proċess ta 'konverżjoni, L OGLVS jikkompila l-fajl loġiku netti, jespandi l-modulu, u jintegra d-deskrizzjoni tal-livell ta' transistor tal-unità loġika bażika mat-tabella tan-netwerk loġiku. Għat-tabella netta tal-livell tat-transistor SPICE, il-proċess ta 'konverżjoni huwa relattivament sempliċi.

1.png

(2) Ħolqien u kumpilazzjoni ta 'fajl regolari (Regoli tal-fajl)

Fajl ta 'regola huwa fajl ta' test li fih kmand tad-Dracula maħluq mill-utenti. Dawn il-kmandi jispeċifikaw l-operazzjoni ta 'verifika użata fid-disinn, għalhekk il-kumpilazzjoni ta' fajls regolari hija importanti ħafna. Il-fajl tar-regoli jikkonsisti prinċipalment minn tliet partijiet, bħall-blokk ta 'deskrizzjoni Blokk ta' Deskrizzjoni, il-blokka ta 'definizzjoni ta' saff blokk Input-layer, blokk tal-kmand tal-operat Blokk operattiv, eċċ.


① Blokk tad-deskrizzjoni

Din il-parti tiddefinixxi liema pjattaforma d-Dracula timxi fuqha, u fiha xi informazzjoni dwar iċ-ċirkwit li se jiġi vverifikat, bħal mod ta 'eżekuzzjoni, isem ta' modulu ta 'ċirkwit, isem ta' fajl input / output, eċċ. Meta LVS huwa vvalidat, il-kmand SCHEMATIC huwa essenzjali u tintuża biex tispeċifika l-fajl tal-mejda netta tal-livell tat-transistor LVSLOGIC. DAT iġġenerat mill-konverżjoni ta 'LOGLVS. Dan li ġej huwa eżempju ta 'blokk ta' deskrizzjoni:


* DESKRI PTION

PRIMARJA = TOP; Biex tivverifika l-isem tal-modulu

PROGRAM-DIR = ; Verifika tat-triq tal-għodda

SISTEMA = GDS2; Format tad-dejta tal-format

INDI SK = quċċata. gds; Fajl ta 'dejta ta' tqassim

RIŻOLUZZJONI = 0. 01MIC; Riżoluzzjoni ta 'tqassim

PRINTFILE = 1vs; Iddefinixxi l-isem tal-fajl stampat

MODE = EXEC LE; Id-definizzjoni tal-mod operattiv

SCHEMATIC = L VSLOGIC; Tabelli ta 'netwerk ta' ċirkwiti ġġenerati minn LOGLVS

TEXT-PRI-ONLY = IVA; Uża t-tikketta ta 'l-iskoperta tas-saff ta' fuq bħala l-isem tan-node

* END


② Blokka ta 'l-Input-Layer

Din il-parti tintuża biex tgħaqqad in-numru jew l-isem tat-tqassim bl-isem tas-saff tad-Dracula, u fl-istess ħin, tistipula informazzjoni oħra dwar Dracula meħtieġa mis-saff. Meta nużaw dawn is-saffi fil-blokk tal-kmand tal-operazzjoni, nistgħu nużaw l-isem tas-saff. Dan li ġej huwa eżempju tal-blokka tad-definizzjoni ta 'saff, u d-definizzjoni speċifika tas-saff deskritt fil-blokka hija murija fil-Figura 2.


* INPUT -LAYER

NW = 1; Definizzjoni tan-N ukoll

PN = 2; Id-definizzjoni tar-reġjun attiv

POLY = 3 TEST3 ATAŻA POLY; Saff ta 'silikon polikristallin

MET = 4 TEST4 ATAŻA META; Iddefinixxi s-saff tal-metall

NPLU = 5; Iddefinixxi N +

PPLU = 6; Iddefinixxi P +

CONT = 8; Definizzjoni ta 'toqob ta' kuntatt

SUBSTR ATE = SUB 100; Iddefinixxi s-sottostrat

CONNECT -LAY = PSUB NSUB NWELL PDIFF NDIFF POLYMET; Iddefinixxi s-saff tal-kuntatt u l-prijorità (minn baxx għal għoli)

* END


③ Blokk tal-operat

Din il-parti hija bbażata prinċipalment fuq l-operazzjoni loġika tas-saff definit, bħal AND, OR, NOR u l-bqija biex tidentifika l-apparati. Barra minn hekk, aħna niddefinixxu l-operazzjoni biex imexxu u jimmarkaw l-iżbalji li jidhru, li għandhom jinkludu l-kmand LVSCHK, li jispeċifika lil Drácula biex iwettaq operazzjoni ta 'verifika LVS, aktar milli operazzjonijiet oħra bħal LPE.


F'dan il-blokk, il-kmand "ELEMENT MOS" huwa wżat biex jiddefinixxi xatba ta 'l-aluminju jew mekkaniżmu MOS tal-bieb tas-silikon. Il-format tal-kmand huwa: ELEMENT MOS

2.png

* OPERAZZJONI

MHUX SUB NW PSUB

MHUX PPLU NPLU PPLUS

U PN PPLUS PPN

SELEKRU NW NWIEĦED RESI NWRES

U POLY PPN PGATE

MHUX PP N PGATE PDIFF

ID-DAQS NW B'3. 5 NSUB

ELEMENT MOS [P] PGATE POLY PDIFF NSUB

LVSCHK [SFR] PRINTLINE = 3000 WEFFECT = 0

WPERCENT = 0 LPERCENT = 0 RESVAL = 5 CAPVAL

= 5; Kmand tal-Verifika LVS

* END


Barra minn hekk, NMOS, reżistenzi, kapaċitaturi u apparati oħra li għandhom definizzjonijiet tal - PMOS f'dan l - eżempju huma simili għal.

Wara li jinħoloq il-fajl tar-regola, dan jista 'jiġi kkompilat bl-għodda ta' preproċessar PDRACULA. L-ewwel, iċċekkja r-regoli tal-grammatika fid-dokument, min-naħa ta 'wara tal-fajls tar-regoli, u ssalva r-riżultati għall-fajl eżekutibbli jxrun. com jew jxsub. Com, it-tip]} la yer-a layer-B {[LA yer-c {saff-d} Tip, li kien jindika t-tip ta 'apparat MOS, bħal CMOS fit-tip ta' slide ta 'fuq [P] ], tip ta 'tubu qatra. Layer-A huwa s-saff tal-mezz. Għat-tubu MOS tal-bieb tas-silikon, is-saff tal-kanal ġeneralment ikun iddefinit mill-overlapping tal-polysilicon u s-saff tad-diffużjoni. La yer -b hija saff tal-kuntatt taċ-ċomb tal-bieb, għat-tubu MOS tal-bieb tas-silikon, li huwa polysilicon. Saff tal-kuntatt tas-sors / drain ta 'saff ta' C fuq il-gate MOS tas-silikon, id-definizzjoni tas-saff tista 'titneħħa fis-saff ta' diffużjoni tal-operazzjoni tar-reġjun tal-kanal. La yer-d tintuża biex tiddefinixxi s-saff tal-kuntatt tas-substrat. L-eżempji li ġejjin ta 'kif tħaddem is-saff biex jiġi identifikat it-tubu PMOS huma murija, kif muri fil-Figura 3, kif muri fit-tqassim tal-PMOS.

3.png


Il-fajl eżekutibbli fih il-kmand biex jissottometti l-kompitu Dracula.

Il-libreriji użati matul l-operazzjoni ta 'validazzjoni għandhom ikunu jinsabu fid-direttorju tal-ġirja kurrenti jew bit-triq speċifikata għad-direttorju tat-tħaddim. Jekk il-librerija mhix tinsab fid-direttorju tal-ġirja kurrenti, rabta mill-librerija għad-direttorju tal-ġirja hija maħluqa minn Pdracula u miżjuda mal-fajl eżekutibbli.


(3) Esekuzzjoni LVS

Mexxi l-fajl eżekutibbli għall-validazzjoni tal-LVS.

Fil-proċess ta 'tħaddim LVS, l-ewwel nikkonverti d-data tad-dijagramma taċ-ċirkwit u t-tqassim f'ambjent ta' ċirkwit ta 'tqabbil faċli, u mbagħad issegwi ż-żewġ mudelli taċ-ċirkwit man-nodi tal-output u tal-output bħala l-għoqiedi tal-bidu. Il-punt inizjali tan-nodu korrispondenti inizjali bħala l-punt tat-tluq għall-operazzjoni ta 'rintraċċar LVS jista' jiġi pprovdut mid-disinjatur. Meta n-nodi f'disinn huma eżattament l-istess bħal dawk tan-nodi li jikkonformaw fl-iskematika, huma jintużaw bħala par ta 'par node korrispondenti tal-bidu. Nodu kwalifikat jista 'jkun nodu tal-qawwa, nodu tal-art, nodu ta' input / output ta 'livell għoli, jew nodu intern (skont il-format tal-mejda tan-netwerk tad-dijagramma skematika). LVS jagħżel in-nodi tal-qawwa kollha, l-għoqiedi tal-art, l-arloġġi tal-arloġġ, u tal-anqas tip wieħed ieħor ta 'nodu bħala s-sett minimu ta' nodi korrispondenti tal-bidu. Peress li l-programm juża dawn in-nodi korrispondenti tal-bidu għall-operazzjonijiet ta 'rintraċċar, l-iktar nodi korrispondenti tal-bidu huma pprovduti, iktar ikun effiċjenti r-rintraċċar. Madankollu, LVS ma jiċċekkjax jekk il-par node korrispondenti tal-bidu huwiex verament imqabbel. Jekk il-par node korrispondenti inizjali għandu żbalji, jintuża bħala punt ta 'referenza u l-operazzjoni ta' insegwiment se tiġi mqarrqa. Peress li ż-żieda ta 'tikketti manwalment mal-bażi ta' dejta ta 'tqassim hija iżjed sors ta' żball, huwa meħtieġ li jiġi pprovdut in-numru minimu ta 'pari node korrispondenti inizjali li huma suffiċjenti għal spezzjoni effettiva. Għalhekk, għandu jkun il-pinnijiet kollha huma użati bħala l-għoqda inizjali li tikkorrispondi, barra minn hekk, inkluż ukoll in-nodu tas-sinjal, u ħafna modulu importanti f'nodi konnessi jew ċirkuwitu parallel ħafna (bħan-bus) node, aktar importanti huwa li jiġi żgurat li l- l-istess isem tat-tikketta fuq it-territorju ta 'kull nodu u l-prinćipju tal-prinćipju loğiku li jikkorrispondi ghal dan tista' tiddetermina n-nodu tal-bidu biex tikkoreği. Jekk Dracula ma ssibx in-nodu korrispondenti tal-bidu, issib il-funzjoni ta 'tqabbil awtomatiku għall-insegwiment. Dracula juża l-metodu heuristiku biex jibda mill-par node korrispondenti tal-bidu, u gradwalment isegwi t-tabella netta ta 'tqassim estiż u t-tabella netta tal-graff prinćipali. L-ewwel huwa ċ-ċirkwit I / O, u mbagħad issegwi l-mogħdijiet li jeħtieġu l-inqas treġġigħ lura. Fil-bidu, LVS ħaseb li l-pari kollha tan-nodi korrispondenti kienu mqabbla. Kull meta nstab l-oġġett li jaqbel bejn it-tqassim u d-dijagramma skematiku, u l-kundizzjoni ta 'tqabbil kienet unika, hija rrikonoxxiet l-oġġett bħala node jew modulu li jaqbel. Meta n-nodi u l-moduli kollha huma mqabbla jew il-punti kollha ta 'diżambigazzjoni (il-punt ta' differenza, il-punt ta 'diskrepanza) jinstabu, l-LVS huwa stop tracking. Jiġifieri, huwa żbaljat li tiddeċiedi l-pożizzjonament tal-punt ta 'bifurcazzjoni u l-punt ewlieni biex tispjega l-iżball, iżda mhux l-unità jew il-modulu li jaqblu, minħabba punt ta' bifurcazzjoni jista 'jikkawża li n-nodi jew il-modulu ma jaqblux ma' serje ta 'istruzzjonijiet għall- Il-punt ta 'bifurcazzjoni tal-LVS, u r-rapporti tal-moduli tal-għoqiedi b'paragun speċifiku relatat ma' punt ta 'bifurcazzjoni jew le. Ma 'dan, għalhekk, ma taqbilx man-numru ta' lymph jew il-modulu jista 'jkun differenti min-numru tal-punt ta' bifurcation.



(4) Riżultat tar-rapport ta 'l-iżball

Wara l-paragun tal-LVS, Dracula toħloq fajl tar-rapport li fih l-informazzjoni kollha dwar id-differenzi. Ir-rapport fih in-node korrispondenti ta 'informazzjoni, skematiċi u t-tqassim ta' kull numru ta 'tqabbil u l-ebda numru ta' tagħmir li jikkorrispondi, lista ta 'informazzjoni dwar differenzi (inkluż isem node, u informazzjoni relatata, u apparat) u dijagramma u tqassim lil xulxin m'hemmx korrispondenza bejn l- tal-lista tal-apparat.


Skont il-ħjiel tar-rapport ta 'żball, il-passi biex jimmodifikaw it-tqassim huma:


(a) Agħmel it-tqassim u l-pin ta 'l-I / O taċ-ċirkwit wieħed wieħed.

(b) Biex jiġi żgurat li n-numru ta 'apparati huwa konsistenti mat-tqassim tad-dijagramma taċ-ċirkwit, huwa importanti ħafna li ssib il-post tal-punti ta' forq u tagħmel bidliet xierqa skont l-informazzjoni dwar differenza fir-rapport.

(c) Aġġorna GDS II, fajls ta 'regola ta' ġbir, u tivverifika LVS;

(d) Irrepeti (b) u (ċ) tħaddim sakemm it-tqassim ikun eżattament l-istess bħad-dijagramma taċ-ċirkwit.


Wara hija lista ta 'żball ta' differenza fl-informazzjoni fl-eżempju tar-rapport, il-lista tad-dijagramma tal-prinċipju taċ-ċirkwit tal-informazzjoni, id-dritt għall-informazzjoni dwar il-layout, ġew elenkati żewġ punti ta 'differenza. dawk tat-4 informazzjoni tat-tieni differenza għall-insegwiment tan-node 8 ir-riżultat, skond l-informazzjoni, ġib id-dijagramma u t-tqassim tal-konnessjoni kif muri f'Figura 4, permezz ta 'analiżi taż-żewġ informazzjoni differenti li jiddeskrivu l-istess żball, L-għan tiegħu huwa li jgħin lid-disinjaturi jsibu faċilment l-iżball ewlieni, għalhekk fl-analiżi tal-iżbalji innota li n-nodu mhux elenkat fir-rapport huwa żbaljat, iżda dawn il-lymph huma assoċjati ma 'bifurcazzjoni speċifika, id-disinjatur permezz tal-analiżi ta 'l-informazzjoni relevanti dwar in-nodi mhux se jkun diffiċli biex issib punt ta' forqfa.

4.png

5.png

Fil-proċess tad-disinn tal-IC, bl-użu ta 'għodda ta' verifikazzjoni LVS Dracula, tista 'tlesti malajr u b'mod preċiż il-verifika tal-konsistenza tat-tqassim u d-dijagramma tal-prinċipju tal-għodda tista' tiġi separata f'żewġ rappreżentazzjonijiet differenti ta 'kwalunkwe disinn, u tagħmel rapport ċar għal aktar analiżi, tal-bidliet ta 'tqassim f'desinjaturi tajbin, jitnaqqas il-proċess tad-disinn jiġi ripetut, u b'hekk inaqqas b'mod sinifikanti l-ispiża tad-disinn, ittejjeb l-affidabilità tad-disinn.