set source_folder "../verilog_source/"# List all files in the source folderset source_file_names {"subterranean_round.v""subterranean_round_with_communication.v""subterranean_simple_no_communication.v""subterranean_simple_axi4_lite.v"}foreach source_file_name ${source_file_names}{yosys read_verilog [expr{"${source_folder}${source_file_name}"}]}