always @ (b or c)
 begin
   if (b) begin
     a = c;
   end
 end