mirror of https://github.com/YosysHQ/yosys.git
Merge pull request #3294 from YosysHQ/micko/verific_merge_past_ff
Ignore merging past ffs that we are not properly merging
This commit is contained in:
commit
7bdf7365e7
|
@ -987,6 +987,7 @@ void VerificImporter::merge_past_ffs(pool<RTLIL::Cell*> &candidates)
|
|||
|
||||
for (auto cell : candidates)
|
||||
{
|
||||
if (cell->type != ID($dff)) continue;
|
||||
SigBit clock = cell->getPort(ID::CLK);
|
||||
bool clock_pol = cell->getParam(ID::CLK_POLARITY).as_bool();
|
||||
database[make_pair(clock, int(clock_pol))].insert(cell);
|
||||
|
|
Loading…
Reference in New Issue