13 lines
167 B
Coq
13 lines
167 B
Coq
|
module test;
|
||
|
|
initial
|
||
|
|
begin: A1
|
||
|
|
while(1 != 0)
|
||
|
|
begin: A2
|
||
|
|
reg B;
|
||
|
|
B = 1;
|
||
|
|
$display("B is %d", B);
|
||
|
|
disable A1;
|
||
|
|
end
|
||
|
|
end
|
||
|
|
endmodule
|