Atrasos de Atribuição

Parte da seção Fundamentos do Journey de Verilog da Coddy. Lição 69 de 90.

Nas aulas anteriores, abordamos atrasos gerais (#10 a = b;) e atrasos de porta (and #5 (out, a, b);). Agora vamos abordar atrasos de atribuição, que são atrasos que ocorrem dentro de um bloco procedural (como initial ou always) como parte de uma instrução de atribuição.

Um atraso na atribuição aguarda um tempo especificado e, em seguida, realiza a atribuição. O atraso é colocado depois do símbolo # e antes da atribuição.

Sintaxe:

variable = #delay expression;

Ao contrário de um atraso geral #10 a = b; (atrasar e depois atribuir), um atraso de atribuição a = #10 b; obtém o valor de b naquele momento, espera 10 unidades de tempo e então o atribui a a.

Atraso geral vs atraso de atribuição

	Atraso geral	Atraso de atribuição
Sintaxe	`#10 a = b;`	`a = #10 b;`
Quando o valor é lido?	No momento da atribuição (após o atraso)	Imediatamente (antes do atraso)
Qual valor é atribuído?	Valor de `b` naquele momento	Valor de `b` no tempo 0 (ou no momento da leitura)
Quando o valor é atribuído?	Após o atraso	Após o atraso

Exemplo: A diferença

initial begin
  b = 1;
  #5 b = 0;
  
  // Atraso geral
  #10 a1 = b;     // Espera 10, depois lê b (b=0) → a1=0
  
  // Atraso na atribuição
  a2 = #10 b;     // Lê b agora (b=0), espera 10 e depois atribui → a2=0
end

Ambos dão o mesmo resultado aqui. A diferença aparece quando b muda durante o atraso.

Exemplo de diferença fundamental

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

initial begin
  b = 1;
  a1 = #10 b;     // Lê b=1 no instante 0 e atribui a1=1 no instante 10
end

initial begin
  #5 b = 0;       // Altera b para 0 no instante 5 (durante o atraso)
end

No tempo 0: a1 lê b = 1
No tempo 5: b muda para 0 (enquanto a1 ainda está aguardando)
No tempo 10: a1 recebe 1 (o valor lido no tempo 0), não 0

Com um atraso geral #10 a2 = b; em um bloco separado, b seria lido no tempo 10 (valor 0).

Regras importantes

Regra	Explicação
`=` vem antes de `#`	`a = #10 b;` e não `a #10 = b;`
O valor é lido imediatamente	O lado direito é avaliado imediatamente
A atribuição acontece após o atraso	O lado esquerdo recebe o valor mais tarde
Apenas para blocos procedurais	Usado em `initial` ou `always`

Desafio

O que fazer:

Adicione o atraso de atribuição que está faltando para que a receba o valor de b após 15 unidades de tempo, mas leia b imediatamente.

Experimente você mesmo

module assignment_challenge;
  reg a, b;
  
  // Bloco separado para alterar b durante o atraso
  initial begin
    b = 1;
    // TODO: Adicionar atraso à atribuição
    // a deve receber b após 15 unidades de tempo
    // Ler b agora e atribuir após o atraso

  end
  
  initial begin
    #5 b = 0;      // Altera b durante o atraso
    #20 $display("Time %0t: a = %b", $time, a);
    $finish;
  end
endmodule