diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2020-04-14 06:01:55 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-04-14 06:01:55 -0700 |
| commit | 759283fa65b1195ebe3a5bc6890ec622febca0eb (patch) | |
| tree | 325edf8973ed4af4e0110ea3da2b1575d782b202 /backends | |
| parent | f41c7ccfff4bf104c646ca4b85e079a0f91c9151 (diff) | |
| parent | 0808318d55a4ac6ccb374393ab73c3b2bb27be6d (diff) | |
| download | yosys-759283fa65b1195ebe3a5bc6890ec622febca0eb.tar.gz yosys-759283fa65b1195ebe3a5bc6890ec622febca0eb.tar.bz2 yosys-759283fa65b1195ebe3a5bc6890ec622febca0eb.zip | |
Merge pull request #1917 from YosysHQ/eddie/abc9_delay_check
xaiger: add check for $__ABC9_DELAY model
Diffstat (limited to 'backends')
| -rw-r--r-- | backends/aiger/xaiger.cc | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc index 3b51d8685..3c7c745fe 100644 --- a/backends/aiger/xaiger.cc +++ b/backends/aiger/xaiger.cc @@ -280,6 +280,10 @@ struct XAigerWriter if (abc9_flop) continue; } + else { + if (cell->type == ID($__ABC9_DELAY)) + log_error("Cell type '%s' not recognised. Check that '+/abc9_model.v' has been read.\n", cell->type.c_str()); + } bool cell_known = inst_module || cell->known(); for (const auto &c : cell->connections()) { |