Extras din seminar
1. Se consideră circuitul din figura 2.1
Să se calculeze un set complet de teste pentru defectul G1 b-l-1. Utilizaţi pentru calculul testului atât un algoritm deterministic cât şi diferenţa Boole-ană. Comparaţi rezultatele obţinute. Determinaţi toate celelalte defecte detectate prin testul calculat stabilind şi relaţia (funcţional echivalente sau dominante) dintre acestea şi defectul considerat.
a) rezolvare prin diferenta booleana
z=[ab+(c+d)’e]f’
z=(ab+c’d’e)f’
notez ab cu h
z=hf’+c’d’ef’
Setul complet de teste pentru defectul G1 b-l-1 este dat de expresia:
Se prelucreaza expresia si se obtine:
Td={0x1xx0, x01xx0, 0xx1x0, 0xxx00, x0xx00}
b) rezolvare folosind algoritmul D
Notez iesirea portii G1 cu D’(0/1). Se propaga D’ la iesire prin G4 si G3.
Pentru a propaga D’ prin G4 cealalta intrare trebuie sa fie 0 ceea ce implica: intrarea e a lui G2 este 0 sau iesirea portii G5 este 0(pentru asta trebuie ca c=1, d=1).
Pentru a propaga D’(iesirea de la G4) prin G3 trebuie ca f=0.
D’ se obtine atunci cand a=0 sau b=0;
Setul de teste este Td={ 0xxx00, 0x11x0, x0xx00, x011x0 }
Se observa ca vectorii de test obtinuti la punctual a se regasesc in cei de la punctual b.
3. Pentru circuitul din figura 2.3 se consideră un defect d care se caracterizează prin modificarea funcţiei porţii G6 astfel încât aceasta generează o valoare 1 la ieşire dacă şi numai dacă ambele sale linii de intrare au fie valoarea 0, fie valoare i. Să se găsească testele care detectează acest defect.
rezolvare:
Se testeaza poarta G6 pentru urmatoarele intrari: 00, 01, 10.
a) pentru 00
Preview document
Conținut arhivă zip
- Testarea Sistemelor de Calcul.doc
Alții au mai descărcat și
Rezultatele din testul 3DS Max 7 SPECapc Test Testul alaturat consta in crearea modelelor 3D, modificarea si randarea scripturilor. Conform...
/* 1. Descrieți un modul numit minoritate. Are trei intrări - a, b, c - și o ieșire - y. Ieșirea are valoarea TRUE dacă cel puțin două intrări sunt...
Cod BCD şi BCD exces de 3 1. Reprezentarea în cod BCD şi BCD exces de 3 (BCDE3) 2. Adunarea în cod BCD 3. Adunarea în cod BCD exces de 3 (BCDE3)...
1. Se consideră descrierea tabelară a funcţiei , B={0,1}. conform datelor prezentate în figura 1.1: x1 x2 X3 f 0 0 0 1 0 0 1 1 0 1 0 0 0 1 1 1...
Implementarea circuitelor logice combinaţionale cu circuite CPLD impune descrierea lor funcţională în limbaj VHDL. Se va utiliza pachetul de...
1. Variante de examinare Se definesc trei variante de examinare: Vp) cu acumulare de puncte, Va) cu subiecte alese şi Vm) pentru nota minimă de...
Cap1. ARHITECTURA SISTEMELOR DE CALCUL O posibila clasificare a sistemelor de calcul se poate face dupa modul în care se face prelucrarea...
Te-ar putea interesa și
Capitolul 1. Introducere Sistemele cu fluide sub presiune constituie un domeniu cu o extrem de largă extindere şi complexitate la care se impun...
I. Rolul Auditului 1. Scopuri Scopul final al auditului îl constituie însă verificarea şi certificarea sistemului informatic , concretizat prin...
Istoria dezvoltarii calculatoarelor Slide 1.2 CS-11xx / Arhitectura sistemelor de calcul, Sem.1 / G Stefanescu Cuprins: - Calculatoare mecanice...
1. Se consideră descrierea tabelară a funcţiei , B={0,1}. conform datelor prezentate în figura 1.1: x1 x2 X3 f 0 0 0 1 0 0 1 1 0 1 0 0 0 1 1 1...
Introducere in Mecatronica Contextul in care a aparut Mecatronica: • Mutatii considerabile calitative si cantitative in evolutia societatii in...
INTRODUCERE Interacţia cu sfera obiectelor tehnice se realizează astăzi, din ce în ce mai mult prin gestul binar al tastării. Apăsam sau nu pe...
CAPITOLUL 1 OBIECTUL ŞI METODA ECONOMIEI POLITICE Obiective : Economia politică este ştiinţa economică fundamentală, axul în jurul căreia s-au...
1. INTRODUCERE 1.1. Evoluţia sistemelor de calcul Sistemele de calcul au evoluat si evoluează odată cu dezvoltarea tehnologiei de realizare a...