yosys4gal/techmaps/olmc_seq.v

72 lines
1,007 B
Coq
Raw Permalink Normal View History

2024-04-05 01:39:30 +00:00
(* techmap_celltype = "DFF_P" *)
module _80_DFF_P (C, D, Q);
input C, D;
output Q;
2024-04-04 06:33:47 +00:00
generate
GAL_OLMC #(
.REGISTERED(1'b1),
.INVERTED(1'b0)
) _TECHMAP_REPLACE_ (
.C(C),
2024-04-04 17:02:51 +00:00
.E(1'b1),
2024-04-05 01:39:30 +00:00
.A(D),
.Y(Q)
2024-04-04 06:33:47 +00:00
);
endgenerate
endmodule
2024-04-05 01:39:30 +00:00
(* techmap_celltype = "NDFF_P" *)
module _81_NDFF_P (C, D, Q);
2024-04-04 17:02:51 +00:00
input C, D;
output Q;
generate
GAL_OLMC #(
.REGISTERED(1'b1),
2024-04-05 01:39:30 +00:00
.INVERTED(1'b1)
2024-04-04 17:02:51 +00:00
) _TECHMAP_REPLACE_ (
.C(C),
.E(1'b1),
.A(D),
.Y(Q)
);
endgenerate
endmodule
2024-04-05 01:39:30 +00:00
(* techmap_celltype = "TRI_DFF_P" *)
module _80_TRI_DFF_P (C, E, D, Q);
input C, E, D;
inout Q;
2024-04-04 06:33:47 +00:00
generate
GAL_OLMC #(
.REGISTERED(1'b1),
2024-04-05 01:39:30 +00:00
.INVERTED(1'b0)
2024-04-04 06:33:47 +00:00
) _TECHMAP_REPLACE_ (
.C(C),
2024-04-05 01:39:30 +00:00
.E(E),
.A(D),
.Y(Q)
2024-04-04 06:33:47 +00:00
);
endgenerate
endmodule
2024-04-05 01:39:30 +00:00
(* techmap_celltype = "TRI_NDFF_P" *)
module _81_TRI_NDFF_P (C, E, D, Q);
input C, E, D;
inout Q;
2024-04-04 06:33:47 +00:00
generate
GAL_OLMC #(
2024-04-04 17:02:51 +00:00
.REGISTERED(1'b1),
.INVERTED(1'b1)
2024-04-04 06:33:47 +00:00
) _TECHMAP_REPLACE_ (
2024-04-04 17:02:51 +00:00
.C(C),
2024-04-05 01:39:30 +00:00
.E(E),
2024-04-04 17:02:51 +00:00
.A(D),
.Y(Q)
2024-04-04 06:33:47 +00:00
);
endgenerate
endmodule