mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-06-06 14:13:23 +00:00
Code Activity

opt_merge: Add -keepdc option required for formal verification

Browse source 
The `-keepdc` option prevents merging flipflops with dont-care bits in
their initial value, as, in general, this is not a valid transform for
formal verification.

The keepdc option of `opt` is passed along to `opt_merge` now.
This commit is contained in:
Jannis Harder 2022-04-01 21:03:20 +02:00
parent 2ec4af56e6
commit ca5b910296
3 changed files with 71 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

1
passes/opt/opt.cc
View file

@ -114,6 +114,7 @@ struct OptPass : public Pass {
if (args[argidx] == "-keepdc") {
opt_expr_args += " -keepdc";
opt_dff_args += " -keepdc";
opt_merge_args += " -keepdc";
continue;
}
if (args[argidx] == "-nodffe") {