Diferență între revizuiri ale paginii „CID Seminar 3”
(Nu s-au afișat 21 de versiuni intermediare efectuate de același utilizator) | |||
Linia 1: | Linia 1: | ||
− | În acest seminar veţi învăţa ce este un | + | În acest seminar veţi învăţa ce este un circuit secevențial și cum se descrie acesta în Verilog. |
− | '''Cuvinte cheie''': ''clock'', ''flip-flop | + | '''Cuvinte cheie''': ''clock'', ''bistabil (flip-flop)'', atribuire ''blocking''/ ''non-blocking'', hazard |
'''Sintaxă Verilog''': ''always'', ''initial'', ''forever'' | '''Sintaxă Verilog''': ''always'', ''initial'', ''forever'' | ||
− | Circuitele digitale | + | Circuitele digitale sunt de două tipuri: |
# '''circuite logice combinaționale (CLC)''' - pot fi descrise fie folosind instrucțiuni de tip ''assign'', fie folosind procese de tip ''always'' | # '''circuite logice combinaționale (CLC)''' - pot fi descrise fie folosind instrucțiuni de tip ''assign'', fie folosind procese de tip ''always'' | ||
# '''circuite secvențiale''' - pot fi descrise folosind doar procese de tip ''always'' | # '''circuite secvențiale''' - pot fi descrise folosind doar procese de tip ''always'' | ||
==Exerciţiul 1== | ==Exerciţiul 1== | ||
− | + | Descrieţi în Verilog un bistabil D cu următoarele caracteristici: | |
* semnal de ceas activ pe frontul pozitiv | * semnal de ceas activ pe frontul pozitiv | ||
− | * | + | * semnal de reset sincron cu ceasul, activ pe palierul de 0 |
<u>Explicaţie suplimentară</u> | <u>Explicaţie suplimentară</u> | ||
− | Circuitul cel mai des folosit pentru a sincroniza un semnal oarecare cu ceasul este bistabilul D (numit și flip-flop FF). Bistabilul D din | + | Circuitul cel mai des folosit pentru a sincroniza un semnal oarecare cu ceasul este bistabilul D (numit și flip-flop FF). Bistabilul D din acest exemplu are următoarele porturi: |
* Clk – intrarea de ceas, activă pe frontul pozitiv | * Clk – intrarea de ceas, activă pe frontul pozitiv | ||
* D – intrarea de date | * D – intrarea de date | ||
− | * nReset – intrare | + | * nReset – intrare sincronă cu semnalul de ceas; nReset activ pe palierul de 0 |
* Q – ieşirea circuitului | * Q – ieşirea circuitului | ||
[[Fișier:sem3_ex4.png|Figura 2 - Registru pe un bit (numit și bistabil D sau flip-flop)]] | [[Fișier:sem3_ex4.png|Figura 2 - Registru pe un bit (numit și bistabil D sau flip-flop)]] | ||
− | |||
− | |||
− | |||
− | |||
'''Observație''': Semnalul de reset va fi întotdeauna sincron cu ceasul, adica își va schimba valoarea din 1 în 0 sau invers întotdeauna pe frontul activ al ceasului!!! | '''Observație''': Semnalul de reset va fi întotdeauna sincron cu ceasul, adica își va schimba valoarea din 1 în 0 sau invers întotdeauna pe frontul activ al ceasului!!! | ||
Linia 33: | Linia 29: | ||
Descrierea unui bistabil în Verilog la nivel RTL este posibilă doar folosind procese de tip always, având în lista de sensitivități cel puțin frontul pozitiv al ceasului. | Descrierea unui bistabil în Verilog la nivel RTL este posibilă doar folosind procese de tip always, având în lista de sensitivități cel puțin frontul pozitiv al ceasului. | ||
− | + | În procesele cu ceas, se atribuie valori semnalelor folosind atribuirea de tip non-blocking (cu operatorul <=, care în acest context înseamnă "ia valoarea", şi NU mai mic sau egal!!!), spre deosebire de procesele '''always''' ce descriu circuite pur combinaționale și unde atribuirea de valori noi se face folosind doar atribuirea de tip blocking (cu operatorul =). | |
</div> | </div> | ||
==Exerciţiul 2== | ==Exerciţiul 2== | ||
− | + | Simulaţi funcţionarea bistabilului D. Pe intrarea CK se va aplica un semnal periodic, cu perioada 6 unități de timp. | |
<u>Explicaţie suplimentară</u> | <u>Explicaţie suplimentară</u> | ||
− | |||
Semnalul de ceas are următoarele proprietăți: | Semnalul de ceas are următoarele proprietăți: | ||
# Este semnal dreptunghiular (la fel ca toate celelalte semnale digitale) | # Este semnal dreptunghiular (la fel ca toate celelalte semnale digitale) | ||
Linia 52: | Linia 47: | ||
==Exerciţiul 3== | ==Exerciţiul 3== | ||
− | + | Circuitul combinaţional din figura următoare are hazard pe ieşire. Descrieţi în Verilog acest circuit, folosind o instrucțiune ''assign'', respectiv un proces ''always'' şi apoi simulaţi funcţionarea lui, pentru a evidenţia hazardul. | |
[[Fișier:sem3_ex1.png|Figura 1 - Circuit logic combinațional (CLC)]] | [[Fișier:sem3_ex1.png|Figura 1 - Circuit logic combinațional (CLC)]] | ||
Linia 63: | Linia 58: | ||
Când utilizați '''always''' - semnalul trebuie declarat de tip '''reg'''. | Când utilizați '''always''' - semnalul trebuie declarat de tip '''reg'''. | ||
</div> | </div> | ||
+ | |||
+ | Hazardul (comportament al circuitelor combinaţionale care nu este conform algebrei logice) se datorează timpilor de propagare prin porţile logice. Pentru a evidenţia acest fenomen, vom introduce timpii de propagare prin porţi cu sintaxa: | ||
+ | assign #tp ... , unde tp este timpul de propagare. | ||
==Exerciţiul 4== | ==Exerciţiul 4== | ||
− | + | Descrieţi în Verilog circuitul din figura următoare şi simulaţi funcţionarea lui. | |
− | |||
− | |||
[[Fișier:sem3_ex5.png|Figura 3 - Un circuit secvențial]] | [[Fișier:sem3_ex5.png|Figura 3 - Un circuit secvențial]] | ||
− | + | <u>Explicaţie suplimentară</u> | |
− | + | Circuitul poate fi descris în două moduri: | |
− | + | * separând partea combinațională de cea secvențială (folosind 2 procese '''always''') | |
− | + | * folosind un singur proces '''always''' | |
− | ''' | + | Simularea va evidenţia eliminarea hazardului pe ieşire. |
− | ==Exerciţiul | + | ==Exerciţiul 5== |
− | Simulați și comparați | + | Simulați și comparați funcţionarea următoarelor circuite (în cele două module diferă doar tipul de atribuire folosit: non-blocking, respectiv blocking): |
Circuitul 1: | Circuitul 1: | ||
Linia 109: | Linia 105: | ||
</syntaxhighlight> | </syntaxhighlight> | ||
− | '''Observație''': Pentru descrierea circuitelor sincrone cu ceasul se folosește întotdeauna atribuirea non-blocking '''<='''. | + | '''Observație''': Acest exemplu vă va ajuta să înţelegeţi regula enunţată anterior: Pentru descrierea circuitelor sincrone cu ceasul se folosește întotdeauna atribuirea non-blocking '''<='''. |
<u>Explicatii suplimentare</u> | <u>Explicatii suplimentare</u> | ||
− | + | Diferenta intre tipul de atribuire blocking si cea non-blocking este următoarea: spre deosebire de atribuirea blocking (=), atribuirea non-blocking (<=) nu actualizeaza imediat semnalul reg din stânga, ci doar la sfârşitul pasului de simulare curent. | |
− | |||
− | |||
− | |||
− | |||
Iata un exemplu: descrierea mai multor bistabili în procese diferite, folosind atribuirea blocking: | Iata un exemplu: descrierea mai multor bistabili în procese diferite, folosind atribuirea blocking: | ||
Linia 127: | Linia 119: | ||
</syntaxhighlight> | </syntaxhighlight> | ||
În acest caz particular, la sosirea unui front pozitiv al ceasului în simulare ambele procese sunt executate. Este însă imposibil de spus care va fi primul proces executat de simulator. Apar două cazuri posibile: | În acest caz particular, la sosirea unui front pozitiv al ceasului în simulare ambele procese sunt executate. Este însă imposibil de spus care va fi primul proces executat de simulator. Apar două cazuri posibile: | ||
− | |||
− | Fie cele două procese always vor fi executate în ordinea inversă. În acest caz, lui C i se va atribui vechea valoare a lui B, apoi B va fi updatat cu valoarea A. | + | - Fie cele două procese sunt executate în ordinea în care au fost scrise. În acest caz, B va fi updatat primul şi noua valoare a lui B va fi folosită pentru a-l updata pe C. Deci B şi C vor avea aceeaşi valoare, mai exact valoarea A! |
+ | |||
+ | - Fie cele două procese always vor fi executate în ordinea inversă. În acest caz, lui C i se va atribui vechea valoare a lui B, apoi B va fi updatat cu valoarea A. | ||
Astfel, pot apărea diferenţe între rezultatele obţinute în urma simulării folosind tool-uri de simulare diferite, dar pot apărea diferenţe şi între rezultatele simulării descrierii RTL şi a simulării post-layout! | Astfel, pot apărea diferenţe între rezultatele obţinute în urma simulării folosind tool-uri de simulare diferite, dar pot apărea diferenţe şi între rezultatele simulării descrierii RTL şi a simulării post-layout! | ||
− | Iata ce se intampla insa, daca implementam cei doi | + | Iata ce se intampla insa, daca implementam cei doi bistabili folosind atribuiri non-blocking: |
<syntaxhighlight lang="verilog"> | <syntaxhighlight lang="verilog"> | ||
always @(posedge clock) | always @(posedge clock) | ||
Linia 143: | Linia 136: | ||
==Temă== | ==Temă== | ||
− | # | + | # Descrieţi în Verilog un numărător complet (in, reset, load, enable, up/down, out). Simulați funcţionarea acestui numărător. Considerați intrarile pe 4 biți. Evidențiați formele de unda de pe iesirea numaratorului! Ce observați? |
# Descrieți și simulați funcționarea unui registru de deplasare la stânga, folosind operatorul de shiftare <<, respectiv cel de concatenare {}. | # Descrieți și simulați funcționarea unui registru de deplasare la stânga, folosind operatorul de shiftare <<, respectiv cel de concatenare {}. | ||
− | # Descrieți și simulați | + | # Descrieți și simulați funcţionarea unui registru de deplasare la stânga circular (MSB devine LSB). |
Versiunea curentă din 22 martie 2015 00:49
În acest seminar veţi învăţa ce este un circuit secevențial și cum se descrie acesta în Verilog.
Cuvinte cheie: clock, bistabil (flip-flop), atribuire blocking/ non-blocking, hazard
Sintaxă Verilog: always, initial, forever
Circuitele digitale sunt de două tipuri:
- circuite logice combinaționale (CLC) - pot fi descrise fie folosind instrucțiuni de tip assign, fie folosind procese de tip always
- circuite secvențiale - pot fi descrise folosind doar procese de tip always
Exerciţiul 1
Descrieţi în Verilog un bistabil D cu următoarele caracteristici:
- semnal de ceas activ pe frontul pozitiv
- semnal de reset sincron cu ceasul, activ pe palierul de 0
Explicaţie suplimentară
Circuitul cel mai des folosit pentru a sincroniza un semnal oarecare cu ceasul este bistabilul D (numit și flip-flop FF). Bistabilul D din acest exemplu are următoarele porturi:
- Clk – intrarea de ceas, activă pe frontul pozitiv
- D – intrarea de date
- nReset – intrare sincronă cu semnalul de ceas; nReset activ pe palierul de 0
- Q – ieşirea circuitului
Observație: Semnalul de reset va fi întotdeauna sincron cu ceasul, adica își va schimba valoarea din 1 în 0 sau invers întotdeauna pe frontul activ al ceasului!!!
Descrierea unui bistabil în Verilog la nivel RTL este posibilă doar folosind procese de tip always, având în lista de sensitivități cel puțin frontul pozitiv al ceasului.
În procesele cu ceas, se atribuie valori semnalelor folosind atribuirea de tip non-blocking (cu operatorul <=, care în acest context înseamnă "ia valoarea", şi NU mai mic sau egal!!!), spre deosebire de procesele always ce descriu circuite pur combinaționale și unde atribuirea de valori noi se face folosind doar atribuirea de tip blocking (cu operatorul =).
Exerciţiul 2
Simulaţi funcţionarea bistabilului D. Pe intrarea CK se va aplica un semnal periodic, cu perioada 6 unități de timp.
Explicaţie suplimentară
Semnalul de ceas are următoarele proprietăți:
- Este semnal dreptunghiular (la fel ca toate celelalte semnale digitale)
- Este un semnal periodic
- Este singurul semnal dintr-un sistem digital care este activ pe front. Toate celelalte semnale prezente într-un sistem digital sunt active pe palier.
Exerciţiul 3
Circuitul combinaţional din figura următoare are hazard pe ieşire. Descrieţi în Verilog acest circuit, folosind o instrucțiune assign, respectiv un proces always şi apoi simulaţi funcţionarea lui, pentru a evidenţia hazardul.
Explicaţie suplimentară
Când utilizați assign - semnalul trebuie declarat de tip wire.
Când utilizați always - semnalul trebuie declarat de tip reg.
Hazardul (comportament al circuitelor combinaţionale care nu este conform algebrei logice) se datorează timpilor de propagare prin porţile logice. Pentru a evidenţia acest fenomen, vom introduce timpii de propagare prin porţi cu sintaxa: assign #tp ... , unde tp este timpul de propagare.
Exerciţiul 4
Descrieţi în Verilog circuitul din figura următoare şi simulaţi funcţionarea lui.
Explicaţie suplimentară
Circuitul poate fi descris în două moduri:
- separând partea combinațională de cea secvențială (folosind 2 procese always)
- folosind un singur proces always
Simularea va evidenţia eliminarea hazardului pe ieşire.
Exerciţiul 5
Simulați și comparați funcţionarea următoarelor circuite (în cele două module diferă doar tipul de atribuire folosit: non-blocking, respectiv blocking):
Circuitul 1:
always@(posedge clk) begin
if (nReset == 0) begin
b <= 0;
c <= 0;
end else begin
b <= a;
c <= b;
end
end
Circuitul 2:
always@(posedge clk) begin
if (nReset == 0) begin
b = 0;
c = 0;
end else begin
b = a;
c = b;
end
end
Observație: Acest exemplu vă va ajuta să înţelegeţi regula enunţată anterior: Pentru descrierea circuitelor sincrone cu ceasul se folosește întotdeauna atribuirea non-blocking <=.
Explicatii suplimentare
Diferenta intre tipul de atribuire blocking si cea non-blocking este următoarea: spre deosebire de atribuirea blocking (=), atribuirea non-blocking (<=) nu actualizeaza imediat semnalul reg din stânga, ci doar la sfârşitul pasului de simulare curent.
Iata un exemplu: descrierea mai multor bistabili în procese diferite, folosind atribuirea blocking:
always @(posedge clock)
b = a;
always @(posedge clock)
c = b;
În acest caz particular, la sosirea unui front pozitiv al ceasului în simulare ambele procese sunt executate. Este însă imposibil de spus care va fi primul proces executat de simulator. Apar două cazuri posibile:
- Fie cele două procese sunt executate în ordinea în care au fost scrise. În acest caz, B va fi updatat primul şi noua valoare a lui B va fi folosită pentru a-l updata pe C. Deci B şi C vor avea aceeaşi valoare, mai exact valoarea A!
- Fie cele două procese always vor fi executate în ordinea inversă. În acest caz, lui C i se va atribui vechea valoare a lui B, apoi B va fi updatat cu valoarea A.
Astfel, pot apărea diferenţe între rezultatele obţinute în urma simulării folosind tool-uri de simulare diferite, dar pot apărea diferenţe şi între rezultatele simulării descrierii RTL şi a simulării post-layout! Iata ce se intampla insa, daca implementam cei doi bistabili folosind atribuiri non-blocking:
always @(posedge clock)
b <= a;
always @(posedge clock)
c <= b;
In acest caz, B şi C nu primesc valori noi decât după cele ambele atribuiri au fost executate, adică pe frontul pozitiv următor! Astfel, schema ce va fi simulată va fi identică cu cea generată în urma sintezei codului RTL.
Temă
- Descrieţi în Verilog un numărător complet (in, reset, load, enable, up/down, out). Simulați funcţionarea acestui numărător. Considerați intrarile pe 4 biți. Evidențiați formele de unda de pe iesirea numaratorului! Ce observați?
- Descrieți și simulați funcționarea unui registru de deplasare la stânga, folosind operatorul de shiftare <<, respectiv cel de concatenare {}.
- Descrieți și simulați funcţionarea unui registru de deplasare la stânga circular (MSB devine LSB).