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

This commit is contained in:
Eddie Hung 2019-04-05 14:42:25 -07:00
parent dfb242c905
commit 19271bd996
1 changed files with 2 additions and 0 deletions

View File

@ -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()) {