diff options
| author | Clifford Wolf <clifford@clifford.at> | 2018-05-15 19:27:00 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2018-05-15 19:27:00 +0200 |
| commit | a7281930c5877b34e072d90d5ca013f8fda7e2cc (patch) | |
| tree | b58a6b18cd643cadd0954207447b925d7fa67c66 /frontends/verific | |
| parent | 4b6c0e331d0ef4188f8fa2443f8f7999231af052 (diff) | |
| download | yosys-a7281930c5877b34e072d90d5ca013f8fda7e2cc.tar.gz yosys-a7281930c5877b34e072d90d5ca013f8fda7e2cc.tar.bz2 yosys-a7281930c5877b34e072d90d5ca013f8fda7e2cc.zip | |
Fix handling of anyconst/anyseq attrs in VHDL code via Verific
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Diffstat (limited to 'frontends/verific')
| -rw-r--r-- | frontends/verific/verific.cc | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc index ee09c7523..624c04be9 100644 --- a/frontends/verific/verific.cc +++ b/frontends/verific/verific.cc @@ -871,22 +871,22 @@ void VerificImporter::import_netlist(RTLIL::Design *design, Netlist *nl, std::se const char *allconst_attr = net->GetAttValue("allconst"); const char *allseq_attr = net->GetAttValue("allseq"); - if (rand_const_attr != nullptr && !strcmp(rand_const_attr, "1")) + if (rand_const_attr != nullptr && (!strcmp(rand_const_attr, "1") || !strcmp(rand_const_attr, "'1'"))) anyconst_nets.insert(net); - else if (rand_attr != nullptr && !strcmp(rand_attr, "1")) + else if (rand_attr != nullptr && (!strcmp(rand_attr, "1") || !strcmp(rand_attr, "'1'"))) anyseq_nets.insert(net); - else if (anyconst_attr != nullptr && !strcmp(anyconst_attr, "1")) + else if (anyconst_attr != nullptr && (!strcmp(anyconst_attr, "1") || !strcmp(anyconst_attr, "'1'"))) anyconst_nets.insert(net); - else if (anyseq_attr != nullptr && !strcmp(anyseq_attr, "1")) + else if (anyseq_attr != nullptr && (!strcmp(anyseq_attr, "1") || !strcmp(anyseq_attr, "'1'"))) anyseq_nets.insert(net); - else if (allconst_attr != nullptr && !strcmp(allconst_attr, "1")) + else if (allconst_attr != nullptr && (!strcmp(allconst_attr, "1") || !strcmp(allconst_attr, "'1'"))) allconst_nets.insert(net); - else if (allseq_attr != nullptr && !strcmp(allseq_attr, "1")) + else if (allseq_attr != nullptr && (!strcmp(allseq_attr, "1") || !strcmp(allseq_attr, "'1'"))) allseq_nets.insert(net); if (net_map.count(net)) { |