@@ -270,28 +270,28 @@ void YYosys::execute() {
270270 aggregated_circuits += circuit + " " ;
271271 // Read Verilog/SystemVerilog/UHDM files based on their type, considering the SystemVerilog/UHDM plugins
272272# ifdef YOSYS_SV_UHDM_PLUGIN
273- /* Load SystemVerilog/UHDM plugins in the Yosys frontend */
274- switch (configuration.input_file_type ) {
275- case (file_type_e::_VERILOG): // fallthrough
276- case (file_type_e::_VERILOG_HEADER): {
277- run_pass (std::string (" read_verilog -sv -nolatches " + aggregated_circuits));
278- break ;
279- }
280- case (file_type_e::_SYSTEM_VERILOG): {
281- run_pass (std::string (" read_systemverilog -debug " + aggregated_circuits));
282- break ;
283- }
284- case (file_type_e::_UHDM): {
285- run_pass (std::string (" read_uhdm -debug " + aggregated_circuits));
286- break ;
287- }
288- default : {
289- error_message (UTIL, unknown_location,
290- " Invalid file type (%s) for Yosys+Odin-II synthesizer." , file_extension_strmap[configuration.input_file_type ]);
291- }
273+ /* Load SystemVerilog/UHDM plugins in the Yosys frontend */
274+ switch (configuration.input_file_type ) {
275+ case (file_type_e::_VERILOG): // fallthrough
276+ case (file_type_e::_VERILOG_HEADER): {
277+ run_pass (std::string (" read_verilog -sv -nolatches " + aggregated_circuits));
278+ break ;
292279 }
280+ case (file_type_e::_SYSTEM_VERILOG): {
281+ run_pass (std::string (" read_systemverilog -debug " + aggregated_circuits));
282+ break ;
283+ }
284+ case (file_type_e::_UHDM): {
285+ run_pass (std::string (" read_uhdm -debug " + aggregated_circuits));
286+ break ;
287+ }
288+ default : {
289+ error_message (UTIL, unknown_location,
290+ " Invalid file type (%s) for Yosys+Odin-II synthesizer." , file_extension_strmap[configuration.input_file_type ]);
291+ }
292+ }
293293# else
294- run_pass (std::string (" read_verilog -sv -nolatches " + aggregated_circuits));
294+ run_pass (std::string (" read_verilog -sv -nolatches " + aggregated_circuits));
295295# endif
296296 // Check whether cells match libraries and find top module
297297 if (global_args.top_level_module_name .provenance () == argparse::Provenance::SPECIFIED) {
0 commit comments