Sign in
foss-fpga-tools
/
third_party
/
yosys
/
0466c48533ad2831a95c6b63c3a190adb76499e9
/
.
/
examples
/
smtbmc
/
demo6.v
blob: 62a72e2a85c69c823123ec89f8380605e3077b98 [
file
] [
log
] [
blame
]
// 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
