diff options
| author | Claire Xenia Wolf <claire@clairexen.net> | 2021-12-10 14:52:27 +0100 |
|---|---|---|
| committer | Claire Xenia Wolf <claire@clairexen.net> | 2021-12-10 14:52:27 +0100 |
| commit | 2da214d72168400b9ea4d0d2f1a90417c1525658 (patch) | |
| tree | ebd65ade8fab6c8de1471868e6cf8ca71f5e6709 | |
| parent | ce82afe44f4c396c253a293a5f0d56212fe27010 (diff) | |
| download | yosys-2da214d72168400b9ea4d0d2f1a90417c1525658.tar.gz yosys-2da214d72168400b9ea4d0d2f1a90417c1525658.tar.bz2 yosys-2da214d72168400b9ea4d0d2f1a90417c1525658.zip | |
Fix verific import of enum values with x and/or z
Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>
| -rw-r--r-- | frontends/verific/verific.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc index dccdcb482..03640e9aa 100644 --- 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; } |