diff options
| author | Miodrag Milanović <mmicko@gmail.com> | 2022-04-29 14:35:46 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-04-29 14:35:46 +0200 |
| commit | 7bdf7365e73769af655ae2aafcfaa2640a6f6bd7 (patch) | |
| tree | 23864ecd938293b8301970c81e1f55e2032a5240 | |
| parent | b30d90a14a6c84e5d20cb52ab008bf86503ed275 (diff) | |
| parent | 422db937d44c10b850b8722dd39062650cf2db2b (diff) | |
| download | yosys-7bdf7365e73769af655ae2aafcfaa2640a6f6bd7.tar.gz yosys-7bdf7365e73769af655ae2aafcfaa2640a6f6bd7.tar.bz2 yosys-7bdf7365e73769af655ae2aafcfaa2640a6f6bd7.zip | |
Merge pull request #3294 from YosysHQ/micko/verific_merge_past_ff
Ignore merging past ffs that we are not properly merging
| -rw-r--r-- | frontends/verific/verific.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc index 284d5db31..d19d837ff 100644 --- a/frontends/verific/verific.cc +++ b/frontends/verific/verific.cc @@ -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); |