mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2026-07-14 11:15:40 +00:00
Code Activity

Simplify check -latchonly calls in synth.

Browse source
This commit is contained in:
nella 2026-07-07 10:10:00 +02:00
parent 6675c45e29
commit 362e828dc2
6 changed files with 6 additions and 18 deletions
Download patch file Download diff file Expand all files Collapse all files

4
techlibs/efinix/synth_efinix.cc
View file

@ -203,10 +203,8 @@ struct SynthEfinixPass : public ScriptPass
if (check_label("map_ffs"))
{
run("dfflegalize -cell $_DFFE_????_ 0 -cell $_SDFFE_????_ 0 -cell $_SDFFCE_????_ 0 -cell $_DLATCH_?_ x");
if (help_mode)
if (latches == "error" || help_mode)
run("check -latchonly -assert", "(only if -latches error, the default)");
else if (latches == "error")
run("check -latchonly -assert");
run("techmap -D NO_LUT -map +/efinix/cells_map.v");
run("opt_expr -mux_undef");
run("simplemap");