What is wrong with the following code fragment?

always@(*)
begin
A = E ^ D;
if (C) E = ~A;
else E = D;
end

Question

What is wrong with the following code fragment? 
   
 always@(*) 
   begin 
      A = E ^ D; 
      if (C) E = ~A; 
     else E = D; 
   end

Accepted Answer

There is combinational logic feedback, i.e. a “timing loop” or “arc”.

Answer

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

Answer

The sensitivity list is incomplete.

Answer

Unintentional latches are being built.

Crowdly