diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2020-01-08 18:30:20 -0800 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2020-01-08 18:30:20 -0800 |
| commit | 57f6826e29752d77fb1a9052b4d9bbc0e2450dd8 (patch) | |
| tree | 31e5790bb6ac012d89364ce200f34e362586c8ac /backends/aiger/aiger.cc | |
| parent | 020606f81c39df234d7a3f5e3e605e5f27422d87 (diff) | |
| parent | 8a47e6ddfdb49ec172f783621a64b3a8906ff5d6 (diff) | |
| download | yosys-57f6826e29752d77fb1a9052b4d9bbc0e2450dd8.tar.gz yosys-57f6826e29752d77fb1a9052b4d9bbc0e2450dd8.tar.bz2 yosys-57f6826e29752d77fb1a9052b4d9bbc0e2450dd8.zip | |
Merge remote-tracking branch 'origin/eddie/abc9_refactor' into eddie/abc9_required
Diffstat (limited to 'backends/aiger/aiger.cc')
| -rw-r--r-- | backends/aiger/aiger.cc | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/backends/aiger/aiger.cc b/backends/aiger/aiger.cc index 44718baae..a51e3648c 100644 --- a/backends/aiger/aiger.cc +++ b/backends/aiger/aiger.cc @@ -787,6 +787,14 @@ struct AigerBackend : public Backend { if (top_module == nullptr) log_error("Can't find top module in current design!\n"); + if (!design->selected_whole_module(top_module)) + log_cmd_error("Can't handle partially selected module %s!\n", log_id(top_module)); + + if (!top_module->processes.empty()) + log_error("Found unmapped processes in module %s: unmapped processes are not supported in AIGER backend!\n", log_id(top_module)); + if (!top_module->memories.empty()) + log_error("Found unmapped memories in module %s: unmapped memories are not supported in AIGER backend!\n", log_id(top_module)); + AigerWriter writer(top_module, zinit_mode, imode, omode, bmode, lmode); writer.write_aiger(*f, ascii_mode, miter_mode, symbols_mode); |