set_device \
    -fam SmartFusion2 \
    -die PA4M7500_TS \
    -pkg fg484
set_input_cfg \
	-path {E:/update/m2s_ac436_liberov11p6_df/SF2_Devicecertificate_AN/component/work/DeviceCertificate_MSS/ENVM.cfg}
set_output_efc \
    -path {E:\update\m2s_ac436_liberov11p6_df\SF2_Devicecertificate_AN\designer\DeviceCertificate_top\DeviceCertificate_top.efc}
set_proj_dir \
    -path {E:\update\m2s_ac436_liberov11p6_df\SF2_Devicecertificate_AN}
gen_prg -use_init false
