Casa > Notícies > Contingut

Tractar errors falsos en el control de regles del disseny jeràrquic

Mar 01, 2018

Amb l'expansió de l'escala de circuits integrats (IC), el mètode de disseny jeràrquic s'ha convertit en el corrent principal del disseny de circuits integrats. Atès que l'eina de verificació del disseny de dispersió processa dades de tot el disseny al nivell de xips, la verificació de la distribució de l'IC moderna sovint triga desenes d'hores i sovint no es pot completar a causa de la seva insuficient memòria. D'aquesta manera, es proposa un mètode de verificació de disseny jeràrquic que utilitza l'estructura jeràrquica del disseny per verificar les diferents unitats, respectivament. La comprovació de regles de disseny jeràrquic (DRC) és una eina important en el sistema de verificació de disseny jeràrquic. En el disseny VLSI modern, hi ha moltes unitats que es diuen repetidament, mentre que la DRC jeràrquica controla tot tipus d'unitats només una vegada. Per tant, la DRC jeràrquica reduirà considerablement l'esforç de procés i reduirà el temps de funcionament de la República Democràtica del Congo. Al mateix temps, perquè només es gestiona una sola unitat cada vegada, els requisits de memòria també es redueixen significativament.


A més, la DRC classificada posa els errors trobats a la unitat corresponent i facilita al dissenyador que la modifiqui. No obstant això, l'algoritme jeràrquic DRC presentat en la literatura ara té més o menys restriccions al disseny. Quan es tracti d'això, hi haurà una sèrie de problemes especials de mètode jeràrquic. Entre aquests problemes, el problema dels falsos i falsos sembla ser particularment difícil. Per resoldre aquest problema és de gran importància per a l'aplicació pràctica de la DRC qualificada.


El breu flux de l'algorisme de DRC jeràrquic és: recórrer l'arbre de crida de la unitat en la seqüència posterior i trencar el conjunt de gràfics de DRC de cada unitat no verificada com a dispersió DRC. El conjunt de gràfics DRC d'una unitat consisteix en els següents elements: el gràfic de la unitat en si, l'abstracció de cada unitat secundària de la cel·la, el gràfic cobert per l'àrea de solapament de les seves subcèl·lules i el gràfic cobert per l'àrea de solapament del gràfic de la unitat i de la cel·la secundària. Segons aquest procés, la DRC jeràrquica produeix errors falsos, principalment perquè l'operació gràfica és inadequada en el procés de formació del conjunt gràfic DRC, que canvia la forma original del gràfic i la unitat té gràfics incomplets. En aquest article, es presenten les solucions corresponents.


1 Error fals causat per un funcionament gràfic inadequat

1.1 Extracció d'unitat d'extracció

En el disseny IC, la cel·la i el món exterior solen estar exposats al límit. Per tant, dibuixar el DRC dins de l'escala de la unitat s'utilitza com una abstracció de la unitat per comprovar si la regla de disseny es veu violada entre la unitat i els gràfics externs. L'abstracció de la unitat que s'extreu directament de l'anell perifèric de la cel·la (és a dir, operació lògica i), és capaç de satisfer la comprovació de DRC dels seus gràfics circumdants quan s'invoca. Però a causa de que el tall canviarà la forma de la figura original, pot produir errors falsos en comprovar els gràfics abstractes. Tal com es mostra a la figura 1 (a) que es mostra a la unitat, la unitat de tall és abstracta com es mostra a la figura 1 (b) a l'ombra, quan l'abstracció d'altres unitats truca, com a DRC dispersa en una unitat de trucades, comprova l'amplada de 2 dels gràfics gràfics originals no eren errònies, però a la Figura 1 (b) de no ser tallat, un bloc equivocarà. El mateix motiu, la verificació de l'amplada còncava de la figura 1 es converteix en una comprovació de l'interval de la mateixa capa i, per descomptat, és encara més incorrecte.

1.png



Des d'on les eines d'operació gràfica i l'eina DRC dispersa no reconeixen el cas d'unitat d'extracció de patrons, resumim que hem d'adoptar una nova forma: sempre que hi hagi una gota a l'anell de la unitat gràfica, els gràfics de la unitat d'obtenció per mantenir l'original gràfics abstractes, la figura 1 (c) s'extreu d'aquesta manera, la unitat d'abstracció, que conté el gràfic complet 1 i el gràfic 2, ja no generarà errors falsos.


1.2 Dibuix sota la superposició

Si la cel·la té un grafo en profunditat (o superposició), si la seva cel·la secundària es solapa, el gràfic intern de la cel·la secundària pot infringir la regla de disseny amb el món exterior, per tant, necessitem presentar el gràfic de la unitat solapant per comprovar-ho . A causa del mateix motiu, no hem de canviar la forma del gràfic original quan es cobreix el gràfic subcel·lular sota el gràfic de la unitat d'extracció, i el gràfic de subunitats cobert per l'àrea de superposició de la cel·la secundària, en cas contrari, també produirà error fals.

2.png

La figura 1 de la figura 2, figura A, s'endinsa a la subunitat B, la superposició entre les parts B i C, ampliant la part de solapament d'una mida de DRC, tal com es mostra a la línia de punts del gràfic, al dibuixar el gràfic sota la seva cobrir, ha de ser tota la figura, en comptes de la part tallada per la línia discontínua. Per tant, les unitats gràfiques 2, 3 i C de la unitat B completa s'han d'extreure i incorporar al conjunt gràfic de la seva unitat mare A.


2 Error fals produït per gràfics unitaris incomplets

Per a una varietat de consideracions de disseny, es poden permetre elements gràfics incomplets, com ara un autobús o un mig forat a la unitat, ja que DRC es queixarà, però la unitat es va aixecar, combinant-se amb altres gràfics i sense cap error. Com es pot veure a la figura 3. Evidentment, es tracta d'un error fals. L'existència d'aquesta situació suposa un gran problema per a la RDC jeràrquica processada per la unitat. Força a la DRC jeràrquica a considerar juntes la cèl·lula i el seu entorn de trucades.

3.png


En aquest sentit, es presenten les següents mesures:

(1) La unitat de transformació del gràfic d'error al nivell de xip, elimina els gràfics relacionats amb l'entorn, una altra vegada DRC batut, a causa de gràfics defectuosos i gràfics relacionats és molt petit en comparació amb el nombre de dispersos al total del xip gràfic, de manera que el processament velocitat que la RDC pot. El resultat final és desfer-se dels resultats equivocats de la República Democràtica del Congo.

(2) Al xip, on la unitat apareix per primera vegada, la unitat es col · loca en un conjunt de gràfics de DRC que s'utilitza originalment per a una comprovació de dispersió i es rebutgen les trucades posteriors. Trenqueu tot el disseny d'aquest disseny per a la República Democràtica del Congo, tal com es mostra a la Figura 4. Aquesta és en realitat una variant de la RDC jeràrquica, que posa a prova totes les unitats en procés de xips i excavar peces repetitives per reduir la càrrega de treball de la República Democràtica del Congo. Al mateix temps, comprova l'entorn de xip a nivell de xip. Aquest mètode és adequat per fer front a regles de disseny i superposicions regulars.

(3) En el disseny real, a causa de gràfics incomplets en gairebé totes les unitats de la unitat de la unitat i gràfics abstractes abstractes, es trobarà a la unitat cada vegada que es pugui fer una comprovació plana al trucar a l'entorn amb una inspecció. a cada unitat de conjunts de figures DRC, que no impliquen la unitat que és la unitat d'abstracció dins dels gràfics circumdants de la República Democràtica del Congo, es generarà a la unitat, es pot reduir el fals error generat, però es necessiten eines informàtiques gràfiques i eines DRC pot dispersar on es reconeix el patró de.

4.png


(B) Cada unitat en el disseny de gràfics DRC DRC, com la part ombra del diagrama, del qual B-1, C-1, D-1 són la primera aparició d'unitats B, C i D.

Figura 4 un esquema jeràrquic de gràfics de gràfics DRC per a una varietat de varietats


Els mètodes anteriors tenen les seves pròpies limitacions. Si combinem el mètode d'arbre de disseny invertit que es mostra a la Figura 5, integrem (2) i (3) dues maneres, tenim en compte diversos factors ambientals dels xips a nivell de xips i realitzem DRC jeràrquic, que pot resoldre millor el pseudo error problema L'arbre de disseny invertit registra la relació de trucada de la unitat en tots els nivells i es pot utilitzar per trobar l'entorn de trucada de la unitat. Per exemple, per al disseny de disseny de la figura 5 (a), l'arbre de disseny invertit de la unitat D, com 5 (b). Mostra que la unitat D es diu dues vegades en B i 3 vegades en C. En el xip A, la cel·la D és cridada directament per A per 3 vegades, com una subunitat de B i C, i és cridada indirectament per A per 7 vegades . Per tant, a nivell A, apareixen 10 unitats D en tot el xip. Per tal d'eliminar el fals error causat per gràfics incomplets, s'ha de tenir en compte la unitat en el nivell de xip juntament amb el seu entorn. L'ús de la RDC jeràrquica pot millorar l'eficiència, principalment en funció de l'entorn de múltiples trucades unitàries en el disseny de disseny jeràrquic. Per exemple, encara que la unitat D es diu 10 vegades al xip A, només dos casos adjacents a la escala de verificació de la RDC són adjacents a la D o adjacents a la E. Per tant, només s'han d'examinar aquestes dues condicions com a entorn de la D.

5.png


(la unitat D és invocada com una subunitat de B1 i B2. Com a subunitat de C, C1, C2 i C3 són invocades; A8, A9 i B es diuen directament com un subunitats, ja que són invocades indirectament trucant i trucar).


L'error de la unitat en diversos entorns s'hauria d'introduir en el conjunt d'errors de la unitat, és a dir, l'error DRC denunciat per cada unitat hauria de ser el resultat de l'operació d'intersecció establerta. L'arbre invertit és fàcil de posar els resultats incorrectes a les unitats més adequades, de manera que el resultat de la classificació s'obté per facilitar la seva modificació. Per exemple, a la Figura 5 (b), els errors de D's en totes les invocacions en el nivell de xip s'han de notificar en D. Es registren els errors només en A1, A2, A3 i A4 a la unitat B. L'error que es va produir només a A3 s'ha informat a la Unitat.