aboutsummaryrefslogtreecommitdiffstats
path: root/passes/sat/async2sync.cc
diff options
context:
space:
mode:
authorEddie Hung <eddie@fpgeh.com>2019-09-30 12:29:35 -0700
committerEddie Hung <eddie@fpgeh.com>2019-09-30 12:29:35 -0700
commit8684b58bed2875ab67e9b12912d791f9d588f272 (patch)
treee66d456aec1ffe83827ac7cb589bdbf1275cf67e /passes/sat/async2sync.cc
parentf6203e6bd65f7383f14a15e926fc4b8f5f9a3edf (diff)
parenta274b7cc86d4f64541d3d2903b4eeed4616ab1d8 (diff)
downloadyosys-8684b58bed2875ab67e9b12912d791f9d588f272.tar.gz
yosys-8684b58bed2875ab67e9b12912d791f9d588f272.tar.bz2
yosys-8684b58bed2875ab67e9b12912d791f9d588f272.zip
Merge remote-tracking branch 'origin/master' into xaig_dff
Diffstat (limited to 'passes/sat/async2sync.cc')
-rw-r--r--passes/sat/async2sync.cc1
1 files changed, 1 insertions, 0 deletions
diff --git a/passes/sat/async2sync.cc b/passes/sat/async2sync.cc
index 24ae6e448..740248545 100644
--- 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");