diff options
| author | Clifford Wolf <clifford@clifford.at> | 2018-07-17 12:43:30 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2018-07-17 12:43:30 +0200 |
| commit | 65234d4b24edd1ec8ec5d41df2d56d76fa41dcc5 (patch) | |
| tree | fedc4069139e5c8824c005b60e1988aff8e5ddef /frontends/verific/verificsva.cc | |
| parent | 5041ed2f7df1e932eed6bc4ad38fb0f0973700af (diff) | |
| download | yosys-65234d4b24edd1ec8ec5d41df2d56d76fa41dcc5.tar.gz yosys-65234d4b24edd1ec8ec5d41df2d56d76fa41dcc5.tar.bz2 yosys-65234d4b24edd1ec8ec5d41df2d56d76fa41dcc5.zip | |
Fix handling of eventually properties in verific importer
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Diffstat (limited to 'frontends/verific/verificsva.cc')
| -rw-r--r-- | frontends/verific/verificsva.cc | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/frontends/verific/verificsva.cc b/frontends/verific/verificsva.cc index 8e985c3a6..85b842186 100644 --- a/frontends/verific/verificsva.cc +++ b/frontends/verific/verificsva.cc @@ -1517,9 +1517,11 @@ struct VerificSvaImporter Instance *consequent_inst = net_to_ast_driver(consequent_net); - if (consequent_inst->Type() != PRIM_SVA_S_EVENTUALLY && consequent_inst->Type() != PRIM_SVA_EVENTUALLY) { + if (consequent_inst == nullptr) + return false; + + if (consequent_inst->Type() != PRIM_SVA_S_EVENTUALLY && consequent_inst->Type() != PRIM_SVA_EVENTUALLY) return false; - } if (mode_cover || mode_trigger) parser_error(consequent_inst); |