Generarea vectorilor de test si stabilirea relatiilor între defectele din circuitele logice combinationale pe baza diferentei booleene
Concepte si conventii
Definitia 4: Un vector -unitate determinat nul prim este acel vector determinat nul care nu este continut în nici un alt vector nul al functiei f(X).
Termenii conjunctivi corespunzatori vectorilor unitate (primi) sunt temeni unitari (primi; vectorilor nuli (primi) le corespund termeni nuli (primi).
Definitia 5: Daca toti vectorii-unitate ai functiei fk sunt si temeni-unitate ai lui fl, atunci fk este inclusa în fl: fk fl.
1.2. Indicierea vectorilor determinati
a) echivalenta si implicatia structurala a defectelor se bazeaza pe structura circuitului;
b) echivalenta si implicatia logica se bazeaza pem legaturile logice între componente.
1.6.2. Echivalenta si implicatia structurala a defectelor
în circuitele combinationale
|
a |
|
b |
|
MC2 |
|
MC4 |
y1
|
x1 |
|
e1 |
|
SCB |
c
|
ei |
z
|
er |
|
xn |
|
ym |
Se presupune aici, pentru început, ca circuitul este format din porti AND, OR, NAND, NOR si NO. Ulterior se va trata si cazul portilor EXCLUSIVE OR (XOR).
a)
pentru 
b)
pentru 
,
pentru 
.
Din relatiile de implicatie (38) rezulta teorema 6:
Teorema 6
Defectele de conectare de la iesirea unui modul de circuit cu structura arborescenta sunt implicate de defectele de conectare ale fiecarei intrari a modulului de circuit.
Deoarece fiecare modul compact de circuit cu structura arborescenta prezinta la rândul sau o structura arborescenta, teorema 6 poate fi aplicata la fiecare variabila interna a unui modul de circuit cu structura arborescenta, obtinându-se enuntul urmator:
Teorema 7
Toate defectele de conectare dintr-un modul de circuit cu structura arborescenta sunt implicate de defectele de la intrarile modulului de circuit.
Defectele de conectare privind variabilele de intrare ei implica defectele de conectare in toate variabilele zj care apartin drumului de la ei spre iesirea modulului de circuit.
Spre exemplu, defectul de conectare <ei/0> (<ei/1>) implica defectul <zj/0> (<zj/1>) când numarul inversiunilor pe drumul de la ei la zj este par; acest defect implica însa defectul <zj/0> (<zj/1>) când numarul inversiunilor este impar.
Astfel se evidentiaza un mare avantaj, concentrat în enuntul:
" Defectele de conectare din interiorul unui modul de circuit cu structura arborescenta nu trebuie studiate pentru detectarea defectelor. ".
Daca întregul circuit, nu numai o parte a sa, are o structura arborescenta, se obtine teorema:
Teorema 8
Fiecare multime de test completa pentru defectele de conectare de la intrarea unui circuit cu structura arborescenta testeaza toate defectele circuitului.
|
