diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2019-08-23 14:32:36 -0700 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2019-08-23 14:32:36 -0700 |
| commit | c2757613b643f11e1b735b8bc4506750bb0f9522 (patch) | |
| tree | d39cc8a731660eb73ffc5dcab89fbf3bfbe81147 /passes/pmgen/xilinx_srl.pmg | |
| parent | 1d88887cfdbeedff7dce9024d8fb4ceb014cb2ef (diff) | |
| download | yosys-c2757613b643f11e1b735b8bc4506750bb0f9522.tar.gz yosys-c2757613b643f11e1b735b8bc4506750bb0f9522.tar.bz2 yosys-c2757613b643f11e1b735b8bc4506750bb0f9522.zip | |
Check for non unique nusers/fanouts
Diffstat (limited to 'passes/pmgen/xilinx_srl.pmg')
| -rw-r--r-- | passes/pmgen/xilinx_srl.pmg | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/passes/pmgen/xilinx_srl.pmg b/passes/pmgen/xilinx_srl.pmg index 5d74b91bc..99fefba00 100644 --- a/passes/pmgen/xilinx_srl.pmg +++ b/passes/pmgen/xilinx_srl.pmg @@ -170,7 +170,7 @@ match first select first->type.in($_DFF_N_, $_DFF_P_, $_DFFE_NN_, $_DFFE_NP_, $_DFFE_PN_, $_DFFE_PP_, $dff, $dffe) select !first->has_keep_attr() slice idx GetSize(port(first, \Q)) - select nusers(port(first, \Q)[idx]) == 2 + select nusers(port(first, \Q)[idx], false /* unique */) == 2 index <SigBit> port(first, \Q)[idx] === port(shiftx, \A)[shiftx_width-1] set slice idx endmatch @@ -197,7 +197,7 @@ match next select !next->has_keep_attr() select !port(next, \D)[0].wire->get_bool_attribute(\keep) slice idx GetSize(port(next, \Q)) - select nusers(port(next, \Q)[idx]) <= 3 + select nusers(port(next, \Q)[idx], false /* unique */) == 3 index <IdString> next->type === chain.back().first->type index <SigBit> port(next, \Q)[idx] === port(chain.back().first, \D)[chain.back().second] index <SigBit> port(next, \Q)[idx] === port(shiftx, \A)[shiftx_width-1-GetSize(chain)] |