aboutsummaryrefslogtreecommitdiffstats
path: root/backends
diff options
context:
space:
mode:
authorEddie Hung <eddie@fpgeh.com>2019-11-21 16:15:25 -0800
committerEddie Hung <eddie@fpgeh.com>2019-11-21 16:15:25 -0800
commit5a30e3ac3ba6435ebf9db0f8acfba61e9ee73ad7 (patch)
tree9f6ee2debc233e178be133c218a8b021389d2c0e /backends
parent911a152b39959137b26e68581a6cacbcabb4ab1d (diff)
parent1cc106452fb25d082ca9491c24df97cc51d4b992 (diff)
downloadyosys-5a30e3ac3ba6435ebf9db0f8acfba61e9ee73ad7.tar.gz
yosys-5a30e3ac3ba6435ebf9db0f8acfba61e9ee73ad7.tar.bz2
yosys-5a30e3ac3ba6435ebf9db0f8acfba61e9ee73ad7.zip
Merge branch 'eddie/xaig_dff_adff' into xaig_dff
Diffstat (limited to 'backends')
-rw-r--r--backends/aiger/xaiger.cc3
1 files changed, 2 insertions, 1 deletions
diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc
index 03246a9b5..5d125b653 100644
--- a/backends/aiger/xaiger.cc
+++ b/backends/aiger/xaiger.cc
@@ -863,7 +863,8 @@ struct XAigerWriter
dict<SigSig, SigSig> replace;
for (auto it = holes_module->cells_.begin(); it != holes_module->cells_.end(); ) {
auto cell = it->second;
- if (cell->type.in("$_DFF_N_", "$_DFF_P_")) {
+ if (cell->type.in("$_DFF_N_", "$_DFF_NN0_", "$_DFF_NN1_", "$_DFF_NP0_", "$_DFF_NP1_",
+ "$_DFF_P_", "$_DFF_PN0_", "$_DFF_PN1", "$_DFF_PP0_", "$_DFF_PP1_")) {
SigBit D = cell->getPort("\\D");
SigBit Q = cell->getPort("\\Q");
// Remove the DFF cell from what needs to be a combinatorial box