mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-08-15 07:15:28 +00:00
Code Activity

equiv_opt: pass -D EQUIV when techmapping.

Browse source 
This allows avoiding techmap crashes e.g. because of large memories
in white-box cell models.
This commit is contained in:
whitequark 2018-12-07 16:58:33 +00:00
parent c38ea9ae65
commit 7ff5a9db2d
4 changed files with 7 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

6
passes/equiv/equiv_opt.cc
View file

@ -137,10 +137,12 @@ struct EquivOptPass : public ScriptPass
if ((!techmap_opts.empty() || help_mode) && check_label("techmap", "(only with -map)"))
{
string opts;
if (help_mode)
run("techmap -autoproc -map <filename> ...");
opts = " -map <filename> ...";
else
run("techmap -autoproc" + techmap_opts);
opts = techmap_opts;
run("techmap -D EQUIV -autoproc" + opts);
}
if (check_label("prove"))