diff options
| author | Eddie Hung <eddieh@ece.ubc.ca> | 2019-04-05 14:42:25 -0700 |
|---|---|---|
| committer | Eddie Hung <eddieh@ece.ubc.ca> | 2019-04-05 14:42:25 -0700 |
| commit | 19271bd996a79cb4be1db658fcf18227ee0a1dff (patch) | |
| tree | 7be24d63cefb4bc348ab507a778bb9436555d926 | |
| parent | dfb242c905ff10bb4038f080aeb74a820e8fbd00 (diff) | |
| download | yosys-19271bd996a79cb4be1db658fcf18227ee0a1dff.tar.gz yosys-19271bd996a79cb4be1db658fcf18227ee0a1dff.tar.bz2 yosys-19271bd996a79cb4be1db658fcf18227ee0a1dff.zip | |
abc -dff now implies "-D 0" otherwise retiming doesn't happen
| -rw-r--r-- | passes/techmap/abc.cc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/passes/techmap/abc.cc b/passes/techmap/abc.cc index 21b70f492..c828ad8ed 100644 --- 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()) { |