Fix $dlatch handling in async2sync

Signed-off-by: Clifford Wolf <clifford@clifford.at>

diff --git a/passes/sat/async2sync.cc b/passes/sat/async2sync.cc
index 24ae6e4487881b604b1eb1711073202d484742cc..7402485453e70039a9f250d8619ea7032623ce88 100644 (file)
--- a/passes/sat/async2sync.cc
+++ b/passes/sat/async2sync.cc
@@ -198,6 +198,7 @@ struct Async2syncPass : public Pass {
                                                module->addMux(NEW_ID, sig_d, new_q, sig_en, sig_q);
                                        }
 
+                                       cell->setPort("\\D", sig_q);
                                        cell->setPort("\\Q", new_q);
                                        cell->unsetPort("\\EN");
                                        cell->unsetParam("\\EN_POLARITY");