3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-11-08 23:35:08 +00:00

verific: use SyncActions

This commit is contained in:
Emil J. Tywoniak 2025-11-07 18:23:47 +01:00
parent 26e293d71f
commit 5a797d1678

View file

@ -1271,7 +1271,7 @@ bool VerificImporter::import_netlist_instance_cells(Instance *inst, RTLIL::IdStr
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;
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;
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);
return true;