riscv
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Merge pull request #2381 from YosysHQ/unsupported 

Better error for unsupported SVA sequence
This commit is contained in:
clairexen 2020-09-18 17:43:30 +02:00 committed by GitHub
parent 7affef7c17 44705102b5
commit e1ae20d542
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 8 additions and 2 deletions
Show Stats 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;