mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-11-04 05:19:11 +00:00
Code Activity

Better error for unsupported SVA sequence

Browse source
This commit is contained in:
Miodrag Milanovic 2020-09-18 17:08:00 +02:00
parent 7affef7c17
commit 44705102b5
1 changed files with 8 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

10
frontends/verific/verificsva.cc
View file

@ -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;