yosys/examples/smtbmc/demo6.v

15 lines
215 B
Verilog
Raw Permalink Normal View History

2016-09-07 05:42:16 -05:00
// Demo for assertpmux
module demo6 (input A, B, C, D, E, output reg Y);
always @* begin
Y = 0;
if (A != B) begin
(* parallel_case *)
case (C)
A: Y = D;
B: Y = E;
endcase
end
end
endmodule