ABC doesn't like negative delays in flop boxes...

diff --git a/techlibs/xilinx/abc_xc7.box b/techlibs/xilinx/abc_xc7.box
index 73f53271109fc1eb88dd79c09da6e013d5490672..f59cdcde8c905901fd6ba2d8798b9bd8c769754d 100644 (file)
--- a/techlibs/xilinx/abc_xc7.box
+++ b/techlibs/xilinx/abc_xc7.box
@@ -65,29 +65,29 @@ $__ABC_ASYNC 1000 0 2 1
 # Inputs: C CE D R \$pastQ
 # Outputs: Q
 FDRE 1001 1 5 1
-- 109 -46 358 0
+0 109 0 358 0
 
 # Inputs: C CE D R \$pastQ
 # Outputs: Q
 FDRE_1 1002 1 5 1
-- 109 -46 358 0
+0 109 0 358 0
 
 # Inputs: C CE CLR D \$pastQ
 # Outputs: Q
 FDCE 1003 1 5 1
-- 109 - -46 0
+0 109 764 0 0
 
 # Inputs: C CE CLR D \$pastQ
 # Outputs: Q
 FDCE_1 1004 1 5 1
-- 109 - -46 0
+0 109 764 0 0
 
 # Inputs: C CE D PRE \$pastQ
 # Outputs: Q
 FDPE 1005 1 5 1
-- 109 -46 - 0
+0 109 0 764 0
 
 # Inputs: C CE D PRE \$pastQ
 # Outputs: Q
 FDPE_1 1006 1 5 1
-- 109 -46 - 0
+0 109 0 764 0