diff options
author | Eddie Hung <eddie@fpgeh.com> | 2019-09-30 12:29:35 -0700 |
---|---|---|
committer | Eddie Hung <eddie@fpgeh.com> | 2019-09-30 12:29:35 -0700 |
commit | 8684b58bed2875ab67e9b12912d791f9d588f272 (patch) | |
tree | e66d456aec1ffe83827ac7cb589bdbf1275cf67e /passes/sat/async2sync.cc | |
parent | f6203e6bd65f7383f14a15e926fc4b8f5f9a3edf (diff) | |
parent | a274b7cc86d4f64541d3d2903b4eeed4616ab1d8 (diff) | |
download | yosys-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.cc | 1 |
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"); |