/usr/share/tkgate/primitives/adder.v is in tkgate-data 2.0~b10-4.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 | module adder #(.Dab_s(1), .Dab_co(1), .Dci_s(1), .Dci_co(1)) (A, B, S, CI, CO);
input CI;
output CO;
input ${ABS_RANGE} A,B;
output ${ABS_RANGE} S;
wire ${ABS_RANGE} _S;
wire _CO;
specify
(A,B *> S) = Dab_s;
(A,B *> CO) = Dab_co;
(CI *> S) = Dci_s;
(CI *> CO) = Dci_co;
endspecify
assign {_CO,_S} = A + B + CI;
assign CO = ${invCO} _CO;
assign S = ${invS} _S;
endmodule
|