set_device -fam SmartFusion2
read_edif  \
    -file {D:\11.8\m2s_dg0637_liberov11p7sp2__df\Libero\CoreTSE_M2S090\synthesis\CoreTSE_M2S090.edn}
write_verilog -file {D:\11.8\m2s_dg0637_liberov11p7sp2__df\Libero\CoreTSE_M2S090\synthesis\CoreTSE_M2S090.v}
