Ritardi nelle assegnazioni

Nelle lezioni precedenti abbiamo trattato i ritardi generali (#10 a = b;) e i ritardi delle porte (and #5 (out, a, b);). Ora trattiamo i ritardi di assegnazione, ovvero ritardi che si verificano all'interno di un blocco procedurale (come initial o always) come parte di un'istruzione di assegnazione.

Un ritardo di assegnazione attende per un tempo specificato, poi esegue l’assegnazione. Il ritardo viene inserito dopo il simbolo # e prima dell’assegnazione.

Sintassi:

variable = #delay expression;

A differenza di un ritardo generale #10 a = b; (ritardo, poi assegnazione), un ritardo sull’assegnazione a = #10 b; prende il valore di b in quel momento, attende 10 unità di tempo e poi lo assegna ad a.

Ritardo generale vs ritardo dell'assegnazione

Esempio: la differenza

initial begin
  b = 1;
  #5 b = 0;
  
  // Ritardo generale
  #10 a1 = b;     // Attende 10, poi legge b (b=0) → a1=0
  
  // Ritardo nell'assegnazione
  a2 = #10 b;     // Legge b ora (b=0), attende 10, poi assegna → a2=0
end

Qui entrambi danno lo stesso risultato. La differenza si nota quando b cambia durante il ritardo.

Esempio di differenza fondamentale

To show b changing during the delay, we need two separate initial blocks that run in parallel:

initial begin
  b = 1;
  a1 = #10 b;     // Legge b=1 al tempo 0, assegna a1=1 al tempo 10
end

initial begin
  #5 b = 0;       // Imposta b a 0 al tempo 5 (durante il ritardo)
end

• Al tempo 0: a1 legge b = 1
• Al tempo 5: b cambia in 0 (mentre a1 è ancora in attesa)
• Al tempo 10: a a1 viene assegnato 1 (il valore letto al tempo 0), non 0

Con un ritardo generale #10 a2 = b; in un blocco separato, b verrebbe letto al tempo 10 (valore 0).

Regole importanti