diff --git a/passes/sat/async2sync.cc b/passes/sat/async2sync.cc
index 291ebda33..19fd029d9 100644
--- a/passes/sat/async2sync.cc
+++ b/passes/sat/async2sync.cc
@@ -160,33 +160,38 @@ struct Async2syncPass : public Pass {
 						SigSpec sig_clr_inv = ff.sig_clr;
 
 						if (!ff.pol_set) {
-							if (!ff.is_fine)
+							if (!ff.is_fine || sig_set.size() > 1)
 								sig_set = module->Not(NEW_ID, sig_set);
 							else
 								sig_set = module->NotGate(NEW_ID, sig_set);
 						}
 
 						if (ff.pol_clr) {
-							if (!ff.is_fine)
+							if (!ff.is_fine || sig_clr.size() > 1)
 								sig_clr_inv = module->Not(NEW_ID, sig_clr);
 							else
 								sig_clr_inv = module->NotGate(NEW_ID, sig_clr);
 						} else {
-							if (!ff.is_fine)
+							if (!ff.is_fine || sig_clr.size() > 1)
 								sig_clr = module->Not(NEW_ID, sig_clr);
 							else
 								sig_clr = module->NotGate(NEW_ID, sig_clr);
 						}
 
-						SigSpec set_and_clr = module->AndGate(NEW_ID, sig_set, sig_clr);
+						SigSpec set_and_clr;
+						if (!ff.is_fine || sig_clr.size() > 1 || sig_set.size() > 1)
+							set_and_clr = module->And(NEW_ID, sig_set, sig_clr);
+						else
+							set_and_clr = module->AndGate(NEW_ID, sig_set, sig_clr);
+
 						if (!ff.is_fine) {
 							SigSpec tmp = module->Or(NEW_ID, ff.sig_d, sig_set);
 							tmp = module->And(NEW_ID, tmp, sig_clr_inv);
-							module->addMux(NEW_ID, tmp, Const(State::Sx, ff.width), set_and_clr, new_d);
+							module->addBwmux(NEW_ID, tmp, Const(State::Sx, ff.width), set_and_clr, new_d);
 
 							tmp = module->Or(NEW_ID, new_q, sig_set);
 							tmp = module->And(NEW_ID, tmp, sig_clr_inv);
-							module->addMux(NEW_ID, tmp, Const(State::Sx, ff.width), set_and_clr, ff.sig_q);
+							module->addBwmux(NEW_ID, tmp, Const(State::Sx, ff.width), set_and_clr, ff.sig_q);
 						} else {
 							SigSpec tmp = module->OrGate(NEW_ID, ff.sig_d, sig_set);
 							tmp = module->AndGate(NEW_ID, tmp, sig_clr_inv);