xilinx: add delays to INV

diff --git a/techlibs/xilinx/cells_sim.v b/techlibs/xilinx/cells_sim.v
index 0896f317640069414e6796b99da25d407cd1c188..df3b554c13e80e8ead6a72de2b36f34f32bb3a06 100644 (file)
--- a/techlibs/xilinx/cells_sim.v
+++ b/techlibs/xilinx/cells_sim.v
@@ -160,6 +160,9 @@ module INV(
     input I
 );
   assign O = !I;
+  specify
+    (I => O) = 127;
+  endspecify
 endmodule
 
 (* abc9_lut=1 *)