examples/smtbmc/demo6.v

   1 // Demo for assertpmux
   2
   3 module demo6 (input A, B, C, D, E, output reg Y);
   4         always @* begin
   5                 Y = 0;
   6                 if (A != B) begin
   7                         (* parallel_case *)
   8                         case (C)
   9                                 A: Y = D;
  10                                 B: Y = E;
  11                         endcase
  12                 end
  13         end
  14 endmodule