mirror of https://github.com/YosysHQ/yosys.git
30 lines
356 B
Coq
30 lines
356 B
Coq
|
(* abc9_box_id = 1, lib_whitebox *)
|
||
|
|
module \$__ICE40_CARRY_WRAPPER (
|
||
|
|
(* abc_carry *)
|
||
|
|
output CO,
|
||
|
|
output O,
|
||
|
|
input A, B,
|
||
|
|
(* abc_carry *)
|
||
|
|
input CI,
|
||
|
|
input I0, I3
|
||
|
|
);
|
||
|
|
parameter LUT = 0;
|
||
|
|
SB_CARRY carry (
|
||
|
|
.I0(A),
|
||
|
|
.I1(B),
|
||
|
|
.CI(CI),
|
||
|
|
.CO(CO)
|
||
|
|
);
|
||
|
|
SB_LUT4 #(
|
||
|
|
.LUT_INIT(LUT)
|
||
|
|
) adder (
|
||
|
|
.I0(I0),
|
||
|
|
.I1(A),
|
||
|
|
.I2(B),
|
||
|
|
.I3(I3),
|
||
|
|
.O(O)
|
||
|
|
);
|
||
|
|
endmodule
|
||
|
|
|
||
|
|
|