diff options
| author | Clifford Wolf <clifford@clifford.at> | 2018-02-22 12:37:30 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2018-02-22 12:37:30 +0100 |
| commit | 2521ed305e9d48929c9ede93b8cb0069739408f5 (patch) | |
| tree | a3a3555a434be33f53fefb0e96809a056f90cda3 /frontends/verific | |
| parent | 6d12c83d362c709f72e64eea2121b2cffc12ee8d (diff) | |
| download | yosys-2521ed305e9d48929c9ede93b8cb0069739408f5.tar.gz yosys-2521ed305e9d48929c9ede93b8cb0069739408f5.tar.bz2 yosys-2521ed305e9d48929c9ede93b8cb0069739408f5.zip | |
Add Verific SVA support for ranges in repetition operator
Diffstat (limited to 'frontends/verific')
| -rw-r--r-- | frontends/verific/verificsva.cc | 31 |
1 files changed, 26 insertions, 5 deletions
diff --git a/frontends/verific/verificsva.cc b/frontends/verific/verificsva.cc index c3b2a2f5e..d970756ac 100644 --- a/frontends/verific/verificsva.cc +++ b/frontends/verific/verificsva.cc @@ -421,15 +421,36 @@ struct VerificSvaImporter int sva_high = atoi(sva_high_s); bool sva_inf = !strcmp(sva_high_s, "$"); - if (sva_inf || sva_low != sva_high) - log_error("Ranges on SVA consecutive repeat operator are not supported at the moment.\n"); - parse_sequence(seq, inst->GetInput()); for (int i = 1; i < sva_low; i++) { sequence_ff(seq); parse_sequence(seq, inst->GetInput()); } + + if (sva_inf) + { + SigBit latched_a = module->addWire(NEW_ID); + SigBit latched_en = module->addWire(NEW_ID); + combine_seq(seq, latched_a, latched_en); + + sequence_t seq_latched = seq; + sequence_ff(seq_latched); + parse_sequence(seq_latched, inst->GetInput()); + module->connect(latched_a, seq_latched.sig_a); + module->connect(latched_en, seq_latched.sig_en); + } + else + { + for (int i = sva_low; i < sva_high; i++) + { + sequence_t last_seq = seq; + sequence_ff(seq); + parse_sequence(seq, inst->GetInput()); + combine_seq(seq, last_seq); + } + } + return; } @@ -463,8 +484,8 @@ struct VerificSvaImporter // Handle unsupported primitives if (!importer->mode_keep) - log_error("Unsupported Verific SVA primitive %s of type %s.\n", inst->Name(), inst->View()->Owner()->Name()); - log_warning("Unsupported Verific SVA primitive %s of type %s.\n", inst->Name(), inst->View()->Owner()->Name()); + log_error("Verific SVA primitive %s (%s) is currently unsupported in this context.\n", inst->View()->Owner()->Name(), inst->Name()); + log_warning("Verific SVA primitive %s (%s) is currently unsupported in this context.\n", inst->View()->Owner()->Name(), inst->Name()); } void import() |