mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2026-05-24 19:06:22 +00:00
Code Activity

async2sync: $dffsr has undef output on S&R

Browse source
This commit is contained in:
Emil J. Tywoniak 2026-01-29 11:53:24 +01:00
parent 852a5d0ad5
commit 3e84b732ee
1 changed files with 9 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

13
passes/sat/async2sync.cc
View file

@ -172,18 +172,23 @@ struct Async2syncPass : public Pass {
sig_clr = module->NotGate(NEW_ID, sig_clr); sig_clr = module->NotGate(NEW_ID, sig_clr);
} }
SigSpec set_and_clr = module->AndGate(NEW_ID, sig_set, sig_clr);
if (!ff.is_fine) { if (!ff.is_fine) {
SigSpec tmp = module->Or(NEW_ID, ff.sig_d, sig_set); SigSpec tmp = module->Or(NEW_ID, ff.sig_d, sig_set);
module->addAnd(NEW_ID, tmp, sig_clr, new_d); tmp = module->And(NEW_ID, tmp, sig_clr);
module->addMux(NEW_ID, tmp, Const(State::Sx, ff.width), set_and_clr, new_d);
tmp = module->Or(NEW_ID, new_q, sig_set); tmp = module->Or(NEW_ID, new_q, sig_set);
module->addAnd(NEW_ID, tmp, sig_clr, ff.sig_q); tmp = module->And(NEW_ID, tmp, sig_clr);
module->addMux(NEW_ID, tmp, Const(State::Sx, ff.width), set_and_clr, ff.sig_q);
} else { } else {
SigSpec tmp = module->OrGate(NEW_ID, ff.sig_d, sig_set); SigSpec tmp = module->OrGate(NEW_ID, ff.sig_d, sig_set);
module->addAndGate(NEW_ID, tmp, sig_clr, new_d); tmp = module->AndGate(NEW_ID, tmp, sig_clr);
module->addMuxGate(NEW_ID, tmp, State::Sx, set_and_clr, new_d);
tmp = module->OrGate(NEW_ID, new_q, sig_set); tmp = module->OrGate(NEW_ID, new_q, sig_set);
module->addAndGate(NEW_ID, tmp, sig_clr, ff.sig_q); tmp = module->AndGate(NEW_ID, tmp, sig_clr);
module->addMuxGate(NEW_ID, tmp, State::Sx, set_and_clr, ff.sig_q);
} }
ff.sig_d = new_d; ff.sig_d = new_d;