diff options
| author | David Shah <davey1576@gmail.com> | 2018-10-03 13:45:42 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-10-03 13:45:42 +0100 |
| commit | 22973527727a3747349f2d6f234f20fd459f05c3 (patch) | |
| tree | 15f999b641cc7a609bcb8a9ab858ebfd362cb833 /common/nextpnr.cc | |
| parent | 15f38829a55843d747b817525325e4115d984dc4 (diff) | |
| parent | bf7161d2b49ff5660626a0ac4af5a7eeb3fb77c1 (diff) | |
| download | nextpnr-22973527727a3747349f2d6f234f20fd459f05c3.tar.gz nextpnr-22973527727a3747349f2d6f234f20fd459f05c3.tar.bz2 nextpnr-22973527727a3747349f2d6f234f20fd459f05c3.zip | |
Merge pull request #83 from YosysHQ/ecp5_dram
Adding support for ECP5 distributed RAM
Diffstat (limited to 'common/nextpnr.cc')
| -rw-r--r-- | common/nextpnr.cc | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/common/nextpnr.cc b/common/nextpnr.cc index 068bca6f..4e6407b2 100644 --- a/common/nextpnr.cc +++ b/common/nextpnr.cc @@ -245,6 +245,11 @@ void Context::check() const NPNR_ASSERT(ni == getBoundPipNet(w.second.pip)); } } + if (ni->driver.cell != nullptr) + NPNR_ASSERT(ni->driver.cell->ports.at(ni->driver.port).net == ni); + for (auto user : ni->users) { + NPNR_ASSERT(user.cell->ports.at(user.port).net == ni); + } } for (auto w : getWires()) { |