mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2026-05-24 19:06:22 +00:00
Code Activity

equiv_opt: -async2sync does formalff -clk2ff as well

Browse source
This commit is contained in:
Emil J. Tywoniak 2026-02-07 00:36:14 +01:00
parent 2e6d112a2d
commit e30d24f98b
1 changed files with 3 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

4
passes/equiv/equiv_opt.cc
View file

@ -189,8 +189,10 @@ struct EquivOptPass:public ScriptPass
if (check_label("prove")) { if (check_label("prove")) {
if (multiclock || help_mode) if (multiclock || help_mode)
run("clk2fflogic", "(only with -multiclock)"); run("clk2fflogic", "(only with -multiclock)");
if (async2sync || help_mode) if (async2sync || help_mode) {
run("async2sync", " (only with -async2sync)"); run("async2sync", " (only with -async2sync)");
run("formalff -clk2ff", " (only with -async2sync)");
}
string opts; string opts;
if (help_mode) if (help_mode)
opts = " -blacklist <filename> ..."; opts = " -blacklist <filename> ...";