mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2026-01-28 21:08:45 +00:00
Code Activity

satgen: $priority perform more x-bit horrors

Browse source
This commit is contained in:
Emil J. Tywoniak 2026-01-20 23:07:33 +01:00
parent 39d960344b
commit 6a5d74d252
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
kernel/satgen.cc
View file

@ -465,7 +465,7 @@ bool SatGen::importCell(RTLIL::Cell *cell, int timestep)
int undef_because_s = ez->AND(any_previous_undef, ez->OR(is_active, undef_a[i]));
int undef_because_a = ez->AND(ez->OR(any_previous_undef, ez->NOT(active_so_far[i-1])), undef_a[i]);
int undef = ez->OR(undef_because_s, undef_because_a);
any_previous_undef = ez->OR(any_previous_undef, is_active);
any_previous_undef = ez->AND(ez->NOT(is_active), ez->OR(any_previous_undef, undef_a[i]));
ez->assume(ez->IFF(undef_y[i], undef));
}
undefGating(y, yy, undef_y);