mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-11-23 14:11:28 +00:00
Code Activity

verific: use SyncActions

Browse source
This commit is contained in:
Emil J. Tywoniak 2025-11-07 18:23:47 +01:00
parent 1a9459dc46
commit ba3f0a8a49
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
frontends/verific/verific.cc
View file

@ -1271,7 +1271,7 @@ bool VerificImporter::import_netlist_instance_cells(Instance *inst, RTLIL::IdStr
for (unsigned i = 0 ; i < selector->GetNumBranches() ; ++i) { for (unsigned i = 0 ; i < selector->GetNumBranches() ; ++i) {
SigSig action(sig_out_val, sig_data_values.extract(offset_data, data_width)); RTLIL::SyncAction action{sig_out_val, sig_data_values.extract(offset_data, data_width), {}};
offset_data += data_width; offset_data += data_width;
for (unsigned j = 0 ; j < selector->GetNumConditions(i) ; ++j) { for (unsigned j = 0 ; j < selector->GetNumConditions(i) ; ++j) {
@ -1307,7 +1307,7 @@ bool VerificImporter::import_netlist_instance_cells(Instance *inst, RTLIL::IdStr
} }
} }
RTLIL::CaseRule *cs_default = new RTLIL::CaseRule; RTLIL::CaseRule *cs_default = new RTLIL::CaseRule;
cs_default->actions.push_back(SigSig(sig_out_val, sig_data_default)); cs_default->actions.push_back({sig_out_val, sig_data_default, {}});
sw->cases.push_back(cs_default); sw->cases.push_back(cs_default);
return true; return true;