riscv
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Special abc9_clock wire to contain only clock signal

This commit is contained in:
Eddie Hung 2019-11-25 12:36:13 -08:00
parent 180cb39395
commit 6a2eb5d8f9
1 changed files with 10 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

22
techlibs/xilinx/abc9_map.v
View File

@ -62,10 +62,8 @@
// The purpose of the following FD* rules are to wrap the flop with: // The purpose of the following FD* rules are to wrap the flop with:
// (a) a special $__ABC9_FF_ in front of the FD*'s output, indicating to abc9 // (a) a special $__ABC9_FF_ in front of the FD*'s output, indicating to abc9
// the connectivity of its basic D-Q flop // the connectivity of its basic D-Q flop
// (b) a special _TECHMAP_REPLACE_.$abc9_clock wire to capture its clock // (b) a special _TECHMAP_REPLACE_.$abc9_clock wire to indicate its clock
// domain (used when partitioning the module so that `abc9' only // signal, used to extract the delay target
// performs sequential synthesis (with reachability analysis) correctly on
// one domain at a time)
// (c) a special _TECHMAP_REPLACE_.$abc9_control that captures the control // (c) a special _TECHMAP_REPLACE_.$abc9_control that captures the control
// domain (which, combined with this cell type, encodes to `abc9' which // domain (which, combined with this cell type, encodes to `abc9' which
// flops may be merged together) // flops may be merged together)
@ -88,7 +86,7 @@ module FDRE (output reg Q, input C, CE, D, R);
\$__ABC9_FF_ abc_dff (.D($nextQ), .Q(Q)); \$__ABC9_FF_ abc_dff (.D($nextQ), .Q(Q));
// Special signals // Special signals
wire [1:0] _TECHMAP_REPLACE_.$abc9_clock = {C, IS_C_INVERTED}; wire [0:0] _TECHMAP_REPLACE_.$abc9_clock = C;
wire [3:0] _TECHMAP_REPLACE_.$abc9_control = {CE, IS_D_INVERTED, R, IS_R_INVERTED}; wire [3:0] _TECHMAP_REPLACE_.$abc9_control = {CE, IS_D_INVERTED, R, IS_R_INVERTED};
wire _TECHMAP_REPLACE_.$abc9_currQ = Q; wire _TECHMAP_REPLACE_.$abc9_currQ = Q;
endmodule endmodule
@ -103,7 +101,7 @@ module FDRE_1 (output reg Q, input C, CE, D, R);
\$__ABC9_FF_ abc_dff (.D($nextQ), .Q(Q)); \$__ABC9_FF_ abc_dff (.D($nextQ), .Q(Q));
// Special signals // Special signals
wire [1:0] _TECHMAP_REPLACE_.$abc9_clock = {C, 1'b1 /* IS_C_INVERTED */}; wire [0:0] _TECHMAP_REPLACE_.$abc9_clock = C;
wire [3:0] _TECHMAP_REPLACE_.$abc9_control = {CE, 1'b0 /* IS_D_INVERTED */, R, 1'b0 /* IS_R_INVERTED */}; wire [3:0] _TECHMAP_REPLACE_.$abc9_control = {CE, 1'b0 /* IS_D_INVERTED */, R, 1'b0 /* IS_R_INVERTED */};
wire _TECHMAP_REPLACE_.$abc9_currQ = Q; wire _TECHMAP_REPLACE_.$abc9_currQ = Q;
endmodule endmodule
@ -133,7 +131,7 @@ module FDCE (output reg Q, input C, CE, D, CLR);
\$__ABC9_ASYNC abc_async (.A($abc9_currQ), .S(CLR ^ IS_CLR_INVERTED), .Y(Q)); \$__ABC9_ASYNC abc_async (.A($abc9_currQ), .S(CLR ^ IS_CLR_INVERTED), .Y(Q));
// Special signals // Special signals
wire [1:0] _TECHMAP_REPLACE_.$abc9_clock = {C, IS_C_INVERTED}; wire [0:0] _TECHMAP_REPLACE_.$abc9_clock = C;
wire [3:0] _TECHMAP_REPLACE_.$abc9_control = {CE, IS_D_INVERTED, CLR, IS_CLR_INVERTED}; wire [3:0] _TECHMAP_REPLACE_.$abc9_control = {CE, IS_D_INVERTED, CLR, IS_CLR_INVERTED};
wire _TECHMAP_REPLACE_.$abc9_currQ = $abc9_currQ; wire _TECHMAP_REPLACE_.$abc9_currQ = $abc9_currQ;
endmodule endmodule
@ -154,7 +152,7 @@ module FDCE_1 (output reg Q, input C, CE, D, CLR);
\$__ABC9_ASYNC abc_async (.A($abc9_currQ), .S(CLR), .Y(Q)); \$__ABC9_ASYNC abc_async (.A($abc9_currQ), .S(CLR), .Y(Q));
// Special signals // Special signals
wire [1:0] _TECHMAP_REPLACE_.$abc9_clock = {C, 1'b1 /* IS_C_INVERTED */}; wire [0:0] _TECHMAP_REPLACE_.$abc9_clock = C;
wire [3:0] _TECHMAP_REPLACE_.$abc9_control = {CE, 1'b0 /* IS_D_INVERTED */, CLR, 1'b0 /* IS_CLR_INVERTED */}; wire [3:0] _TECHMAP_REPLACE_.$abc9_control = {CE, 1'b0 /* IS_D_INVERTED */, CLR, 1'b0 /* IS_CLR_INVERTED */};
wire _TECHMAP_REPLACE_.$abc9_currQ = $abc9_currQ; wire _TECHMAP_REPLACE_.$abc9_currQ = $abc9_currQ;
endmodule endmodule
@ -182,7 +180,7 @@ module FDPE (output reg Q, input C, CE, D, PRE);
\$__ABC9_ASYNC abc_async (.A($abc9_currQ), .S(PRE ^ IS_PRE_INVERTED), .Y(Q)); \$__ABC9_ASYNC abc_async (.A($abc9_currQ), .S(PRE ^ IS_PRE_INVERTED), .Y(Q));
// Special signals // Special signals
wire [1:0] _TECHMAP_REPLACE_.$abc9_clock = {C, IS_C_INVERTED}; wire [0:0] _TECHMAP_REPLACE_.$abc9_clock = C;
wire [3:0] _TECHMAP_REPLACE_.$abc9_control = {CE, IS_D_INVERTED, PRE, IS_PRE_INVERTED}; wire [3:0] _TECHMAP_REPLACE_.$abc9_control = {CE, IS_D_INVERTED, PRE, IS_PRE_INVERTED};
wire _TECHMAP_REPLACE_.$abc9_currQ = $abc9_currQ; wire _TECHMAP_REPLACE_.$abc9_currQ = $abc9_currQ;
endmodule endmodule
@ -203,7 +201,7 @@ module FDPE_1 (output reg Q, input C, CE, D, PRE);
\$__ABC9_ASYNC abc_async (.A($abc9_currQ), .S(PRE), .Y(Q)); \$__ABC9_ASYNC abc_async (.A($abc9_currQ), .S(PRE), .Y(Q));
// Special signals // Special signals
wire [1:0] _TECHMAP_REPLACE_.$abc9_clock = {C, 1'b1 /* IS_C_INVERTED */}; wire [0:0] _TECHMAP_REPLACE_.$abc9_clock = C;
wire [3:0] _TECHMAP_REPLACE_.$abc9_control = {CE, 1'b0 /* IS_D_INVERTED */, PRE, 1'b0 /* IS_PRE_INVERTED */}; wire [3:0] _TECHMAP_REPLACE_.$abc9_control = {CE, 1'b0 /* IS_D_INVERTED */, PRE, 1'b0 /* IS_PRE_INVERTED */};
wire _TECHMAP_REPLACE_.$abc9_currQ = $abc9_currQ; wire _TECHMAP_REPLACE_.$abc9_currQ = $abc9_currQ;
endmodule endmodule
@ -225,7 +223,7 @@ module FDSE (output reg Q, input C, CE, D, S);
\$__ABC9_FF_ abc_dff (.D($nextQ), .Q(Q)); \$__ABC9_FF_ abc_dff (.D($nextQ), .Q(Q));
// Special signals // Special signals
wire [1:0] _TECHMAP_REPLACE_.$abc9_clock = {C, IS_C_INVERTED}; wire [0:0] _TECHMAP_REPLACE_.$abc9_clock = C;
wire [3:0] _TECHMAP_REPLACE_.$abc9_control = {CE, IS_D_INVERTED, S, IS_S_INVERTED}; wire [3:0] _TECHMAP_REPLACE_.$abc9_control = {CE, IS_D_INVERTED, S, IS_S_INVERTED};
wire _TECHMAP_REPLACE_.$abc9_currQ = Q; wire _TECHMAP_REPLACE_.$abc9_currQ = Q;
endmodule endmodule
@ -240,7 +238,7 @@ module FDSE_1 (output reg Q, input C, CE, D, S);
\$__ABC9_FF_ abc_dff (.D($nextQ), .Q(Q)); \$__ABC9_FF_ abc_dff (.D($nextQ), .Q(Q));
// Special signals // Special signals
wire [1:0] _TECHMAP_REPLACE_.$abc9_clock = {C, 1'b1 /* IS_C_INVERTED */}; wire [0:0] _TECHMAP_REPLACE_.$abc9_clock = C;
wire [3:0] _TECHMAP_REPLACE_.$abc9_control = {CE, 1'b0 /* IS_D_INVERTED */, S, 1'b0 /* IS_S_INVERTED */}; wire [3:0] _TECHMAP_REPLACE_.$abc9_control = {CE, 1'b0 /* IS_D_INVERTED */, S, 1'b0 /* IS_S_INVERTED */};
wire _TECHMAP_REPLACE_.$abc9_currQ = Q; wire _TECHMAP_REPLACE_.$abc9_currQ = Q;
endmodule endmodule