mirror of https://github.com/YosysHQ/yosys.git
7 lines
65 B
Coq
7 lines
65 B
Coq
|
module a;
|
||
|
wire [5:0]x;
|
||
|
wire [3:0]y;
|
||
|
assign y = (4)55;
|
||
|
endmodule
|
||
|
|