set_device -family {PolarFire} -die {MPF300TS} -speed {-1}
read_adl {C:\WFH_Tasks\RTG4_v12.6_Updates\PF_v12.6\AC468_DFE\Libero_Project\designer\top\top.adl}
read_afl {C:\WFH_Tasks\RTG4_v12.6_Updates\PF_v12.6\AC468_DFE\Libero_Project\designer\top\top.afl}
map_netlist
read_sdc {C:\WFH_Tasks\RTG4_v12.6_Updates\PF_v12.6\AC468_DFE\Libero_Project\constraint\top_derived_constraints.sdc}
read_sdc {C:\WFH_Tasks\RTG4_v12.6_Updates\PF_v12.6\AC468_DFE\Libero_Project\constraint\timing_user_constraints.sdc}
check_constraints {C:\WFH_Tasks\RTG4_v12.6_Updates\PF_v12.6\AC468_DFE\Libero_Project\constraint\timing_sdc_errors.log}
write_sdc -mode smarttime {C:\WFH_Tasks\RTG4_v12.6_Updates\PF_v12.6\AC468_DFE\Libero_Project\designer\top\timing_analysis.sdc}
