diff options
| author | Miodrag Milanovic <mmicko@gmail.com> | 2020-09-18 17:08:00 +0200 |
|---|---|---|
| committer | Miodrag Milanovic <mmicko@gmail.com> | 2020-09-18 17:08:00 +0200 |
| commit | 44705102b5211032f9c82aa9c42409c0ffdf6a49 (patch) | |
| tree | 54acf026cc567e026a9a10b01b1c1dcf820a60c0 /frontends/verific | |
| parent | 7affef7c17cf51a17c3dbaa19ccbe2bb3136cfab (diff) | |
| download | yosys-44705102b5211032f9c82aa9c42409c0ffdf6a49.tar.gz yosys-44705102b5211032f9c82aa9c42409c0ffdf6a49.tar.bz2 yosys-44705102b5211032f9c82aa9c42409c0ffdf6a49.zip | |
Better error for unsupported SVA sequence
Diffstat (limited to 'frontends/verific')
| -rw-r--r-- | frontends/verific/verificsva.cc | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/frontends/verific/verificsva.cc b/frontends/verific/verificsva.cc index 49c0c40ac..632043b6f 100644 --- a/frontends/verific/verificsva.cc +++ b/frontends/verific/verificsva.cc @@ -1040,8 +1040,14 @@ struct VerificSvaImporter [[noreturn]] void parser_error(Instance *inst) { - parser_error(stringf("Verific SVA primitive %s (%s) is currently unsupported in this context", - inst->View()->Owner()->Name(), inst->Name()), inst->Linefile()); + std::string msg; + if (inst->Type() == PRIM_SVA_MATCH_ITEM_TRIGGER || inst->Type() == PRIM_SVA_MATCH_ITEM_ASSIGN) + { + msg = "SVA sequences with local variable assignments are currently not supported.\n"; + } + + parser_error(stringf("%sVerific SVA primitive %s (%s) is currently unsupported in this context", + msg.c_str(), inst->View()->Owner()->Name(), inst->Name()), inst->Linefile()); } dict<Net*, bool, hash_ptr_ops> check_expression_cache; |