Update abc_box_id numbering

diff --git a/techlibs/xilinx/abc_ff.v b/techlibs/xilinx/abc_ff.v
index e95602ab2fd87ab97de0b20af8f3664b55cf3099..9f6f9c47ea4413f5c0fc53cfb9734ded71bb9985 100644 (file)
--- a/techlibs/xilinx/abc_ff.v
+++ b/techlibs/xilinx/abc_ff.v
@@ -23,7 +23,7 @@
 module \$__ABC_FF_ (input C, D, output Q);
 endmodule
 
-(* abc_box_id = 6, lib_whitebox, abc_flop = "FDRE", abc_flop_q = "Q", abc_flop_d = "D", abc_flop_past_q = "\\$pastQ" *)
+(* abc_box_id = 7, lib_whitebox, abc_flop = "FDRE", abc_flop_q = "Q", abc_flop_d = "D", abc_flop_past_q = "\\$pastQ" *)
 module \$__ABC_FDRE (output Q, input C, CE, D, R, \$pastQ );
   parameter [0:0] INIT = 1'b0;
   //parameter [0:0] IS_C_INVERTED = 1'b0;

diff --git a/techlibs/xilinx/abc_xc7.box b/techlibs/xilinx/abc_xc7.box
index bb9258e789c5c2f2e2c8b4403d16b110873e8489..633e2d484303563d1f34f52f0a632456c4c5797a 100644 (file)
--- a/techlibs/xilinx/abc_xc7.box
+++ b/techlibs/xilinx/abc_xc7.box
@@ -54,20 +54,20 @@ RAM128X1D 6 0 17 2
 
 # Inputs: C CE D R \$pastQ
 # Outputs: Q
-FDRE 6 1 5 1
+FDRE 7 1 5 1
 - 109 -46 358 0
 
 # Inputs: C CE D S \$pastQ
 # Outputs: Q
-FDSE 7 0 5 1
+FDSE 8 0 5 1
 - 109 -46 358 0
 
 # Inputs: C CE CLR D \$pastQ
 # Outputs: Q
-FDCE 8 0 5 1
+FDCE 9 0 5 1
 - 109 - -46 0
 
 # Inputs: C CE D PRE \$pastQ
 # Outputs: Q
-FDPE 9 0 5 1
+FDPE 10 0 5 1
 - 109 -46 - 0