2 affectations consécutives non bloquantes

Question

Quelqu'un peut-il expliquer ce que signifie l'affectation de deux affectations non bloquantes consécutives dans une séquence always bloc ?

Par exemple :

always @(posedge clk) begin
    a <= b <= c;
end

Answer 1

Cela peut être codé plus clairement comme :

a <= (c >= b);

a se voit attribuer la valeur de l'expression " c est supérieure ou égale à b ".

Le 1er <= est l'opérateur d'affectation non bloquant, tandis que le second est l'opérateur de comparaison.

Answer 2

Ce n'est pas deux affectations consécutives non bloquantes.

C'est-à-dire a <= (b<=c);
b<=c est évalué à true (1) ou false (0) et cette valeur est assignée à a .

_{deux assignations non-bloquantes consécutives ne sont pas une syntaxe Verilog légale.}