set_device -fam SmartFusion2
read_edif  \
    -file {D:\CASES\coretse\CoreTSE_Webserver\synthesis\CoreTSE_Webserver.edn}
write_verilog -file {D:\CASES\coretse\CoreTSE_Webserver\synthesis\CoreTSE_Webserver.v}
