abc -dff now implies "-D 0" otherwise retiming doesn't happen

diff --git a/passes/techmap/abc.cc b/passes/techmap/abc.cc
index 21b70f492805fcb5dc534664ecd07f204749467f..c828ad8edf4e330ffb20387a9c61f4d490f26f38 100644 (file)
--- a/passes/techmap/abc.cc
+++ b/passes/techmap/abc.cc
@@ -1674,6 +1674,8 @@ struct AbcPass : public Pass {
                        }
                        if (arg == "-dff") {
                                dff_mode = true;
+                               if (delay_target.empty())
+                                       delay_target = "-D 0";
                                continue;
                        }
                        if (arg == "-clk" && argidx+1 < args.size()) {