read_liberty <liberty>/NangateOpenCellLibrary_typical.lib
read_verilog <build>/syn/x1/mapped_sta.v
link_design cv_x1_pro_axi
read_sdc integration/sdc/cv_x1_pro_axi.sdc
check_setup -verbose
report_checks -path_delay max -digits 4
report_checks -path_delay min -digits 4
report_wns -digits 4
report_tns -digits 4
report_worst_slack -max -digits 4
report_clock_min_period
exit