set_device \
    -fam SmartFusion2 \
    -die PA4M12000_TS \
    -pkg fc1152
set_input_cfg \
    -path {D:\Projects\EDAC_SF2\libero\designer\EDAC_top\EDAC_top_envm.cfg}
set_output_cfg \
    -path {D:\Projects\EDAC_SF2\libero\designer\EDAC_top\EDAC_top_envm.cfg}
gen_envm -generate_cfg true -generate_efc false
