10 lines
100 B
Coq
10 lines
100 B
Coq
|
module test(a, b, c);
|
||
|
|
input b, c;
|
||
|
|
output reg a;
|
||
|
|
|
||
|
|
always @(b or c) begin
|
||
|
|
a = b;
|
||
|
|
a = c;
|
||
|
|
end
|
||
|
|
endmodule
|