Diferență între revizuiri ale paginii „CID Aplicatii 2”

De la WikiLabs
Jump to navigationJump to search
Linia 1: Linia 1:
  
 
==Module de test - Introducere==
 
==Module de test - Introducere==
Modulul  de  test  este  folosit  pentru  testarea  circuitului  descris,prin  simulare,si  nu  este sintetizabil. Simularea permite detectia rapida a erorilor de implementare si corectarea acestora.Ideea generala a unui modul de  test este  descrisa in figura de  mai jos(consideram un circuit cu numele circuitsi modulul sau de test circuit_TB):
+
Modulul  de  test  este  folosit  pentru  testarea  circuitului  descris, prin  simulare, si  nu  este sintetizabil. Simularea permite detectia rapida a erorilor de implementare si corectarea acestora. Ideea generala a unui modul de  test este  descrisa in figura de  mai jos (consideram un circuit cu numele circuit si modulul sau de test circuit_TB):
  
 
[[Fișier:Circuit_TB.PNG ‎| 400px]]
 
[[Fișier:Circuit_TB.PNG ‎| 400px]]
Linia 7: Linia 7:
 
'''Observatii:'''
 
'''Observatii:'''
  
* Modulul de test NU are intrari sau iesiresi nu este sintetizabil. Toate procesele au loc in interiorul acestuia.
+
* Modulul de test NU are intrari sau iesiri si nu este sintetizabil. Toate procesele au loc in interiorul acestuia.
* Modulul de test are in principal urmatoarele componente: o instantiere a modulului testat  (circuit),  un  generator  de  semnale  de  test  si,optional,  un  bloc  de  evaluare automata  a  rezultatului.Aceasta  evaluare  automata  devine  insa  obligatorie  pentru circuitele complexe.o
+
* Modulul de test are in principal urmatoarele componente: o instantiere a modulului testat  (circuit),  un  generator  de  semnale  de  test  si, optional,  un  bloc  de  evaluare automata  a  rezultatului. Aceasta  evaluare  automata  devine  insa  obligatorie  pentru circuitele complexe.
* Generatorul  de  semnale  de  test  va  genera  cate  un  semnal  pentru  fiecare  intrare  a circuitului.  Tinand  cont  ca  aceasta  generare  se  face in  blocuri initial,  trebuie  sa definim cate un semnal de test de tip regpentru fiecare intrare a modulului testat.
+
* Generatorul  de  semnale  de  test  va  genera  cate  un  semnal  pentru  fiecare  intrare  a circuitului.  Tinand  cont  ca  aceasta  generare  se  face in  blocuri initial,  trebuie  sa definim cate un semnal de test de tip reg pentru fiecare intrare a modulului testat.
 
* Pentru fiecare iesire a modulului testat, definim cate un semnal de tip wire. Acesta poate fi evaluat mai departe intr-un bloc de evaluare automata.
 
* Pentru fiecare iesire a modulului testat, definim cate un semnal de tip wire. Acesta poate fi evaluat mai departe intr-un bloc de evaluare automata.
  
 
==Exemplul 1==
 
==Exemplul 1==
  
'''Scop''': Descrierea structurala a unui circuit simplu si realizarea unui modul de test pentru acesta
+
'''Scop''': Descrierea structurala a unui circuit simplu si realizarea unui modul de test pentru acesta.
  
 
[[Fișier:Gates.png|400px]]
 
[[Fișier:Gates.png|400px]]
Linia 62: Linia 62:
 
'''Observatii:'''
 
'''Observatii:'''
 
* Modulul  exemplul1  este  implementat  folosind  instantieri  ale  portilor  logice  predefinite  in Verilog.  
 
* Modulul  exemplul1  este  implementat  folosind  instantieri  ale  portilor  logice  predefinite  in Verilog.  
* Instantierea, in general, se face astfel: tip_modul nume_modul (...intefata...). In cazul nostru, interfatarea  se  face  implicit  prin  ordine:  punem  semnalele  la  care  modulul  trebuie  sa  se conecteze in ordine si acestea se vor conectaautomat. Pentru portile logice, interfata este de tipul (out, in0, in1, ....).
+
* Instantierea, in general, se face astfel: tip_modul nume_modul (...intefata...). In cazul nostru, interfatarea  se  face  implicit  prin  ordine:  punem  semnalele  la  care  modulul  trebuie  sa  se conecteze in ordine si acestea se vor conecta automat. Pentru portile logice, interfata este de tipul (out, in0, in1, ....).
 
* Acest  mod  de  interfatare  este  oarecum  acceptat  pentru  modulele  foarte  simple, dar nerecomandat  pentru  modulele  complexe,  unde  gresirea  ordinii  duce  la  implementarea gresita a circuitelor.
 
* Acest  mod  de  interfatare  este  oarecum  acceptat  pentru  modulele  foarte  simple, dar nerecomandat  pentru  modulele  complexe,  unde  gresirea  ordinii  duce  la  implementarea gresita a circuitelor.
 
* Pentru modulul de test(exemplul1_TB), observam ca interfata acestuia este goala (nu exista intrari sau iesiri).
 
* Pentru modulul de test(exemplul1_TB), observam ca interfata acestuia este goala (nu exista intrari sau iesiri).
 
* De  asemenea,  pentru  fiecare  intrare  a  modulului  testat  se  defineste  un  semnal  de  tip reg, iar  pentru  fiecare  iesire  se  defineste  un  semnal  de  tip wire.  '''Atentie!''' Dimensiunea  acestor semnale trebuie sa corespunda cu dimensiunea semnalelor din interfata modului la care vor fi legate.
 
* De  asemenea,  pentru  fiecare  intrare  a  modulului  testat  se  defineste  un  semnal  de  tip reg, iar  pentru  fiecare  iesire  se  defineste  un  semnal  de  tip wire.  '''Atentie!''' Dimensiunea  acestor semnale trebuie sa corespunda cu dimensiunea semnalelor din interfata modului la care vor fi legate.
* Generarea semnalelor de test a fost facuta cu ajutorul unei bucle de tip forcare variaza un index  intre  0  si  7  (generam  astfel  toate  variantele  de  biti  pentru  cele  trei  semnale  de  1  bit: sel_t, in0_tsi in1_t, fiecare legandu-se la un bit al indexului).In  instantierea  modulului  exemplu1  observam  din  nou  interfatarea  implicita  prin  ordine.  
+
* Generarea semnalelor de test a fost facuta cu ajutorul unei bucle de tip for care variaza un index  intre  0  si  7  (generam  astfel  toate  variantele  de  biti  pentru  cele  trei  semnale  de  1  bit: sel_t, in0_tsi in1_t, fiecare legandu-se la un bit al indexului). In  instantierea  modulului  exemplu1  observam  din  nou  interfatarea  implicita  prin  ordine.  
 
* Analizand  ordinea  semnalelor  din  interfata  modulului  exemplul1  si  ordinea  legaturilor  din instantierea acestuia in exemplul1_TB, out_t se va lega la out, sel_tla sel, in0_tla in0 si in1_t la in1.
 
* Analizand  ordinea  semnalelor  din  interfata  modulului  exemplul1  si  ordinea  legaturilor  din instantierea acestuia in exemplul1_TB, out_t se va lega la out, sel_tla sel, in0_tla in0 si in1_t la in1.
  
Linia 122: Linia 122:
 
'''Observatii:'''
 
'''Observatii:'''
 
* Pentru  modulul  de  test: Pe  langa  generarea  semnalelor  de  test,  observam  ca  la  fiecare  pas testam  corectitudinea  iesirii.  Asa  cum  am  observat,  circuitul  realizeaza  urmatoarea  functie: atunci cand ''sel'' este 0, ''out'' va fi egal cu ''in0'', iar atunci cand ''sel'' este 1, ''out'' va fi egal cu ''in1''. Ne vom folosi de acest lucru pentru evaluarea automata.
 
* Pentru  modulul  de  test: Pe  langa  generarea  semnalelor  de  test,  observam  ca  la  fiecare  pas testam  corectitudinea  iesirii.  Asa  cum  am  observat,  circuitul  realizeaza  urmatoarea  functie: atunci cand ''sel'' este 0, ''out'' va fi egal cu ''in0'', iar atunci cand ''sel'' este 1, ''out'' va fi egal cu ''in1''. Ne vom folosi de acest lucru pentru evaluarea automata.
* Consideram  un  fanion ''flag'',  de  tip ''reg'' deoarece  isi  va  modifica  valoarea  intr-un  bloc ''initial'',  pe  care  il  vom  initializa  cu  0  (prezumtia  de  nevinovatie –consideram initial circuitul corect). Testam conditia de corectitudine la fiecare pas de generare a semnalelor de test (la fiecare iteratie a buclei ''for'') si daca ea este indeplinita, nimic nu se intampla cu ''flag'', ramanand  0.Daca  acesta  conditie  nu  este  indeplinita  cel  putin  o  data, ''flag'' se  va  face  1, semnalizand  ca  apare  cel  putin  un  caz  incorect, afisandu-se totodata in  consola  cu ''$display'' mesajul  TEST_FAIL  si  starea  semnalelor  in  momentul  acestuia.  La  iesirea  din bucla  testam  din  nou  fanionul  si  daca  acesta  este  0,  inseamna  ca  nu  a  aparut  nici  macar  un caz incorect, afisand in cazul acesta mesajul TEST_PASS.
+
* Consideram  un  fanion ''flag'',  de  tip ''reg'' deoarece  isi  va  modifica  valoarea  intr-un  bloc ''initial'',  pe  care  il  vom  initializa  cu  0  (prezumtia  de  nevinovatie– consideram initial circuitul corect). Testam conditia de corectitudine la fiecare pas de generare a semnalelor de test (la fiecare iteratie a buclei ''for'') si daca ea este indeplinita, nimic nu se intampla cu ''flag'', ramanand  0. Daca  acesta  conditie  nu  este  indeplinita  cel  putin  o  data, ''flag'' se  va  face  1, semnalizand  ca  apare  cel  putin  un  caz  incorect, afisandu-se totodata in  consola  cu ''$display'' mesajul  TEST_FAIL  si  starea  semnalelor  in  momentul  acestuia.  La  iesirea  din bucla  testam  din  nou  fanionul  si  daca  acesta  este  0,  inseamna  ca  nu  a  aparut  nici  macar  un caz incorect, afisand in cazul acesta mesajul TEST_PASS.
 
* Instantierea modulului testat se face astfel:  
 
* Instantierea modulului testat se face astfel:  
 
               ''.semnal_interfata_modul_testat(semnalul_la care_va_fi_conectat)''
 
               ''.semnal_interfata_modul_testat(semnalul_la care_va_fi_conectat)''
Linia 190: Linia 190:
 
* In  cazul  2,  folosind  un  bloc ''always'' pentru  actualizarea  semnalului ''out'',  acesta  trebuie declarat  ca ''reg'' (''output reg out''). In  interiorul  parantezelor  blocului ''always'' punem lista  de  semnale la care  acesta va fi sensibil. Fiind un circuit combinational, ''out'' trebuie sa fie  sensibil imediat la  toate  semnalele  care  il  influenteaza. Putem  inlocui  toata  aceasta  lista cu *. Asta ne asigura ca nu am omis niciun semnal.
 
* In  cazul  2,  folosind  un  bloc ''always'' pentru  actualizarea  semnalului ''out'',  acesta  trebuie declarat  ca ''reg'' (''output reg out''). In  interiorul  parantezelor  blocului ''always'' punem lista  de  semnale la care  acesta va fi sensibil. Fiind un circuit combinational, ''out'' trebuie sa fie  sensibil imediat la  toate  semnalele  care  il  influenteaza. Putem  inlocui  toata  aceasta  lista cu *. Asta ne asigura ca nu am omis niciun semnal.
 
* In  cazul  3,  folosim  *  pentru  lista  de  senzitivitati  a  circuitului  si  un  bloc case.  '''Atentie!'''  Desi aici este clar ca am acoperit toate combinatiile posibile ale lui sel(0 si 1), pentru combinatii complexe este posibil sa omitem cazuri si astfel circuitul nostru se va transforma intr-unul de memorare. Ca sa evitam acest lucru, definim si un caz default.
 
* In  cazul  3,  folosim  *  pentru  lista  de  senzitivitati  a  circuitului  si  un  bloc case.  '''Atentie!'''  Desi aici este clar ca am acoperit toate combinatiile posibile ale lui sel(0 si 1), pentru combinatii complexe este posibil sa omitem cazuri si astfel circuitul nostru se va transforma intr-unul de memorare. Ca sa evitam acest lucru, definim si un caz default.
* Se  poate  folosi modulul  de  test  anterior  pentru  testare,  cu  observatia  ca modulul  instantiat se va denumii exemplul3.
+
* Se  poate  folosi modulul  de  test  anterior  pentru  testare,  cu  observatia  ca modulul  instantiat se va denumi exemplul3.
 +
 
 +
== Exercitii suplimentare ==
 +
1. Scrieti modulul de test pentru un sumator pe 4 biti care are urmatoarea definitie
 +
 
 +
<syntaxhighlight lang="Verilog">
 +
module sum(
 +
  input[3:0] a,
 +
  input[3:0] b,
 +
  output[4:0] sum,
 +
  );
 +
 
 +
  assign sum = a + b;
 +
 
 +
endmodule
 +
</syntaxhighlight>
 +
 
 +
2. Scrieti modulul de test pentru un comparator pe 8 biti;
 +
<syntaxhighlight lang="Verilog">
 +
module sum(
 +
  input[3:0] a,
 +
  input[3:0] b,
 +
  output lt,
 +
  output gt,
 +
  output eq,
 +
  );
 +
 
 +
  assign lt = a < b;
 +
  assign gt = a > b;
 +
  assign eq = a == b;
 +
 
 +
endmodule
 +
</syntaxhighlight>
  
  
 
<syntaxhighlight lang="Verilog">
 
<syntaxhighlight lang="Verilog">
 
</syntaxhighlight>
 
</syntaxhighlight>

Versiunea de la data 7 martie 2021 09:51

Module de test - Introducere

Modulul de test este folosit pentru testarea circuitului descris, prin simulare, si nu este sintetizabil. Simularea permite detectia rapida a erorilor de implementare si corectarea acestora. Ideea generala a unui modul de test este descrisa in figura de mai jos (consideram un circuit cu numele circuit si modulul sau de test circuit_TB):

Circuit TB.PNG

Observatii:

  • Modulul de test NU are intrari sau iesiri si nu este sintetizabil. Toate procesele au loc in interiorul acestuia.
  • Modulul de test are in principal urmatoarele componente: o instantiere a modulului testat (circuit), un generator de semnale de test si, optional, un bloc de evaluare automata a rezultatului. Aceasta evaluare automata devine insa obligatorie pentru circuitele complexe.
  • Generatorul de semnale de test va genera cate un semnal pentru fiecare intrare a circuitului. Tinand cont ca aceasta generare se face in blocuri initial, trebuie sa definim cate un semnal de test de tip reg pentru fiecare intrare a modulului testat.
  • Pentru fiecare iesire a modulului testat, definim cate un semnal de tip wire. Acesta poate fi evaluat mai departe intr-un bloc de evaluare automata.

Exemplul 1

Scop: Descrierea structurala a unui circuit simplu si realizarea unui modul de test pentru acesta.

Gates.png

Implementarea Verilog a circuitului

module exemplul1(out, in0, in1, sel);

  output out;
  input in0;
  input in1;
  input sel;
  wire w1, w2, w3;

  not inverter_gate(w1, sel);
  and and_gate1(w2, in0, w1);
  and and_gate2(w3, sel, in1);
  or or_gate(out, w2, w3);

endmodule

Implementarea Verilog a modulului de test

`timescale 1ns/1ps

module exemplul1_TB();

  reg in0_t, in1_t, sel_t;
  wire out_t;
  integer idx;

  initial begin
    for(idx=0; idx<8;idx=idx+1) begin
      in0_t = idx[0];
      in1_t = idx[1];
      sel_t = idx[2];
      #1;
    end  
  end
  
  exemplul1DUT(out_t, in0_t, in1_t, sel_t);

endmodule

Observatii:

  • Modulul exemplul1 este implementat folosind instantieri ale portilor logice predefinite in Verilog.
  • Instantierea, in general, se face astfel: tip_modul nume_modul (...intefata...). In cazul nostru, interfatarea se face implicit prin ordine: punem semnalele la care modulul trebuie sa se conecteze in ordine si acestea se vor conecta automat. Pentru portile logice, interfata este de tipul (out, in0, in1, ....).
  • Acest mod de interfatare este oarecum acceptat pentru modulele foarte simple, dar nerecomandat pentru modulele complexe, unde gresirea ordinii duce la implementarea gresita a circuitelor.
  • Pentru modulul de test(exemplul1_TB), observam ca interfata acestuia este goala (nu exista intrari sau iesiri).
  • De asemenea, pentru fiecare intrare a modulului testat se defineste un semnal de tip reg, iar pentru fiecare iesire se defineste un semnal de tip wire. Atentie! Dimensiunea acestor semnale trebuie sa corespunda cu dimensiunea semnalelor din interfata modului la care vor fi legate.
  • Generarea semnalelor de test a fost facuta cu ajutorul unei bucle de tip for care variaza un index intre 0 si 7 (generam astfel toate variantele de biti pentru cele trei semnale de 1 bit: sel_t, in0_tsi in1_t, fiecare legandu-se la un bit al indexului). In instantierea modulului exemplu1 observam din nou interfatarea implicita prin ordine.
  • Analizand ordinea semnalelor din interfata modulului exemplul1 si ordinea legaturilor din instantierea acestuia in exemplul1_TB, out_t se va lega la out, sel_tla sel, in0_tla in0 si in1_t la in1.

Exemplul 2

Scop: Descrierea functionala a aceluiasi circuit cu ajutorul operatorilor Verilog si realizarea unui modul de test cu evaluare automata.

Implementarea Verilog a circuitului

module exemplul2(output out,input in0,input in1,input sel);

  assign out = ((~sel) & in0) | (sel & in1);

endmodule

Implementarea Verilog a modulului de test

`timescale 1ns/1ps

module exemplul2_TB();

  reg in0_t, in1_t, sel_t;
  wire out_t;
  integer idx; //index for loop
  reg flag; //test status flag

  initial begin
    flag = 0;
    for(idx=0; idx<8;idx=idx+1)  begin
      in0_t = idx[0];
      in1_t = idx[1];
      sel_t = idx[2];
      #1;
      if(((sel_t == 0) && (out_t == in0_t)) || ((sel_t == 1) && (out_t == in1_t))) begin 
      end else begin
        flag = 1; 
        $display("TEST_FAIL at sel = %b, in0 = %b, in1 = %b, out = %b", sel_t, in0_t, in1_t, out_t);
      end 
    end
    
    if(flag == 0)
      $display("TEST_PASS");
  end
  
  exemplul2 dut(
    .in0(in0_t),
    .in1(in1_t),
    .sel(sel_t),
    .out(out_t));

endmodule

Observatii:

  • Pentru modulul de test: Pe langa generarea semnalelor de test, observam ca la fiecare pas testam corectitudinea iesirii. Asa cum am observat, circuitul realizeaza urmatoarea functie: atunci cand sel este 0, out va fi egal cu in0, iar atunci cand sel este 1, out va fi egal cu in1. Ne vom folosi de acest lucru pentru evaluarea automata.
  • Consideram un fanion flag, de tip reg deoarece isi va modifica valoarea intr-un bloc initial, pe care il vom initializa cu 0 (prezumtia de nevinovatie– consideram initial circuitul corect). Testam conditia de corectitudine la fiecare pas de generare a semnalelor de test (la fiecare iteratie a buclei for) si daca ea este indeplinita, nimic nu se intampla cu flag, ramanand 0. Daca acesta conditie nu este indeplinita cel putin o data, flag se va face 1, semnalizand ca apare cel putin un caz incorect, afisandu-se totodata in consola cu $display mesajul TEST_FAIL si starea semnalelor in momentul acestuia. La iesirea din bucla testam din nou fanionul si daca acesta este 0, inseamna ca nu a aparut nici macar un caz incorect, afisand in cazul acesta mesajul TEST_PASS.
  • Instantierea modulului testat se face astfel:
              .semnal_interfata_modul_testat(semnalul_la care_va_fi_conectat)

Aceasta modalitate ne ofera controlul asupra conexiunilor, fara constrangeri de ordine.

Exemplul 3

Scop: Descrierea comportamentala a aceluiasi circuit cu ajutorul blocurilor assign conditionat, always + if si always + case.

Implementarea Verilog a circuitului

  • Folosing assign conditionat
module exemplul3(
  output out,
  input in0,
  input in1, 
  input sel
  );
 
  assign out = (sel == 0) ? in0 : in1;

endmodule
  • Folosing always si if
module exemplul3(
  output out,
  input in0,
  input in1, 
  input sel
  );
 
  always@(in0 or in1 or sel) begin
    if(sel == 0)
      out = in0;
    else
      out = in1;
  end

endmodule
  • Folosing always si case
module exemplul3(
  output out,
  input in0,
  input in1, 
  input sel
  );
 
  always@(*) begin
    case(sel)
      1'b0: out = in0;
      1'b1: out = in1;
      default: out = in0;
    endcase
  end

endmodule

Observatii:

  • In primul caz, assign conditionat are o sintaxa asemanatoare cu cea a limbajului C:
        (conditie) ? semnalul_cond_indeplinita : semnal_cond_neindeplinita;  
  • In cazul 2, folosind un bloc always pentru actualizarea semnalului out, acesta trebuie declarat ca reg (output reg out). In interiorul parantezelor blocului always punem lista de semnale la care acesta va fi sensibil. Fiind un circuit combinational, out trebuie sa fie sensibil imediat la toate semnalele care il influenteaza. Putem inlocui toata aceasta lista cu *. Asta ne asigura ca nu am omis niciun semnal.
  • In cazul 3, folosim * pentru lista de senzitivitati a circuitului si un bloc case. Atentie! Desi aici este clar ca am acoperit toate combinatiile posibile ale lui sel(0 si 1), pentru combinatii complexe este posibil sa omitem cazuri si astfel circuitul nostru se va transforma intr-unul de memorare. Ca sa evitam acest lucru, definim si un caz default.
  • Se poate folosi modulul de test anterior pentru testare, cu observatia ca modulul instantiat se va denumi exemplul3.

Exercitii suplimentare

1. Scrieti modulul de test pentru un sumator pe 4 biti care are urmatoarea definitie

module sum(
  input[3:0] a,
  input[3:0] b,
  output[4:0] sum,
  );

  assign sum = a + b;

endmodule

2. Scrieti modulul de test pentru un comparator pe 8 biti;

module sum(
  input[3:0] a,
  input[3:0] b,
  output lt,
  output gt,
  output eq,
  );

  assign lt = a < b;
  assign gt = a > b;
  assign eq = a == b;

endmodule