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