diff options
author | Clifford Wolf <clifford@clifford.at> | 2019-04-20 11:23:24 +0200 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2019-04-20 11:23:24 +0200 |
commit | f3ad8d680a3195ab9525b0a8b3f8dbff9d5e6e24 (patch) | |
tree | ba6aed72aa5e38b799f35aed25a540bdce180fc8 /passes/equiv/equiv_opt.cc | |
parent | b7445ef3871b38360440d5c83dbac45c96b67277 (diff) | |
download | yosys-f3ad8d680a3195ab9525b0a8b3f8dbff9d5e6e24.tar.gz yosys-f3ad8d680a3195ab9525b0a8b3f8dbff9d5e6e24.tar.bz2 yosys-f3ad8d680a3195ab9525b0a8b3f8dbff9d5e6e24.zip |
Add "techmap -wb", use in formal flows
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Diffstat (limited to 'passes/equiv/equiv_opt.cc')
-rw-r--r-- | passes/equiv/equiv_opt.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/passes/equiv/equiv_opt.cc b/passes/equiv/equiv_opt.cc index 86550a69b..e5dda9c24 100644 --- a/passes/equiv/equiv_opt.cc +++ b/passes/equiv/equiv_opt.cc @@ -134,7 +134,7 @@ struct EquivOptPass:public ScriptPass opts = " -map <filename> ..."; else opts = techmap_opts; - run("techmap -D EQUIV -autoproc" + opts); + run("techmap -wb -D EQUIV -autoproc" + opts); } if (check_label("prove")) { |