Fix verific import of enum values with x and/or z

Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>

diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index dccdcb48257b1731b2ae1bcf2a245fdb06eee813..03640e9aaf662fb2c024ddadf0572a38799b7d1e 100644 (file)
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -198,7 +198,7 @@ void VerificImporter::import_attributes(dict<RTLIL::IdString, RTLIL::Const> &att
                                                p = nullptr;
                                        else
                                                for (auto q = p+2; *q != '\0'; q++)
-                                                       if (*q != '0' && *q != '1') {
+                                                       if (*q != '0' && *q != '1' && *q != 'x' && *q != 'z') {
                                                                p = nullptr;
                                                                break;
                                                        }