3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-08 10:25:19 +00:00

abc9: Use techmap -autoproc

Fixes quicklogic/pp3 problem with `dffepc` including processes.
Also means the preceding `proc` is safe to remove (and may result in some small speedup by doing so).
This commit is contained in:
Krystine Sherwin 2025-03-14 14:08:16 +13:00
parent 38293d3bdf
commit 7eaf33e4da
No known key found for this signature in database

View file

@ -308,9 +308,8 @@ struct Abc9Pass : public ScriptPass
run("design -load $abc9_map");
if (help_mode) run("select =*");
else active_design->push_complete_selection();
run("proc");
run("wbflip");
run("techmap -wb -map %$abc9 -map +/techmap.v A:abc9_flop");
run("techmap -autoproc -wb -map %$abc9 -map +/techmap.v A:abc9_flop");
run("opt -nodffe -nosdff");
if (dff_mode || help_mode) {
if (!help_mode)