file { .version = 1; entity { .name = "multiplier"; .mra_file = "multiplier.mra"; .arch = {"verilog"}; .syn_files = {"multiplier%verilog.syn", "multiplier%verilog__verilog.syn"}; } }