What is wrong with the following code fragment?
always@(A or B or C)
    begin
         if (C) E = C | B;
    end

Question

What is wrong with the following code fragment? 
 always@(A or B or C) 
     begin 
          if (C) E = C | B; 
     end

Accepted Answer

Latches are implied.

Answer

E is missing from the sensitivity list.

Answer

E should not be assigned like this.  Unbuildable “wired-or” logic is implied.

Answer

Nothing is wrong with this code fragment.

Answer

Non blocking assignment should be used to obtain expected functionality.

Crowdly