riscv
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

SV + VHDL with RTL support

This commit is contained in:
Miodrag Milanovic 2024-06-10 09:44:39 +02:00
parent 25d50bb2af
commit 7bec332b68
1 changed files with 18 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
frontends/verific/verific.cc
View File

@ -2816,6 +2816,14 @@ std::string verific_import(Design *design, const std::map<std::string,std::strin
netlists->InsertLast(Netlist::PresentDesign()); netlists->InsertLast(Netlist::PresentDesign());
#else #else
// Both SystemVerilog and VHDL support // Both SystemVerilog and VHDL support
if (veri_modules.Size()>0)
netlists = veri_file::ElaborateMultipleTop(&veri_modules, &verific_params);
else
netlists = new Array(1);
if (vhdl_units.Size()>0) {
vhdl_file::Elaborate(top.c_str(), "work", 0, &verific_params);
netlists->InsertLast(Netlist::PresentDesign());
}
#endif #endif
#endif #endif
} }
@ -4113,6 +4121,16 @@ struct VerificPass : public Pass {
} }
#else #else
// Both SystemVerilog and VHDL support // Both SystemVerilog and VHDL support
if (veri_modules.Size()>0)
netlists = veri_file::ElaborateMultipleTop(&veri_modules, &parameters);
else
netlists = new Array(1);
if (vhdl_units.Size()>0) {
for (auto &name : top_mod_names) {
vhdl_file::Elaborate(name.c_str(), work.c_str(), 0, &parameters);
netlists->InsertLast(Netlist::PresentDesign());
}
}
#endif #endif
#endif #endif
} }