Merge pull request #4338 from jix/fix-formalff-setundef-srst

formalff -setundef: Fix handling for has_srst FFs
YosysHQ · Apr 15, 2024 · 1527cc8 · 1527cc8
2 parents 7bb2746 + 2bd889a
commit 1527cc8
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/passes/sat/formalff.cc b/passes/sat/formalff.cc
@@ -237,7 +237,7 @@ struct InitValWorker
 					return true;
 				if (ff.has_ce && initconst(ff.sig_ce.as_bit()) == (ff.pol_ce ? State::S0 : State::S1))
 					continue;
-				if (ff.has_srst && initconst(ff.sig_ce.as_bit()) == (ff.pol_srst ? State::S1 : State::S0))
+				if (ff.has_srst && initconst(ff.sig_srst.as_bit()) == (ff.pol_srst ? State::S1 : State::S0))
 					continue;
 
 				return true;