mirror of https://github.com/YosysHQ/icestorm.git
9 lines
118 B
Coq
9 lines
118 B
Coq
|
module top (input a, b, ci, output co);
|
||
|
|
SB_CARRY carry_cell (
|
||
|
|
.I0(a),
|
||
|
|
.I1(b),
|
||
|
|
.CI(ci),
|
||
|
|
.CO(co)
|
||
|
|
);
|
||
|
|
endmodule
|