
read_liberty -min $::env(LIB_MIN)
read_liberty -max $::env(LIB_MAX)
read_verilog $::env(yosys_result_file_tag).v
link_design $::env(DESIGN_NAME)

set_units -time ns
#set_units -capacitance ff
read_sdc -echo ./scripts/base.sdc
#report_checks
report_tns
report_tns >> $::env(opensta_report_file_tag)_tns.rpt
report_wns
report_wns >> $::env(opensta_report_file_tag)_wns.rpt
report_checks -group_count 100  -slack_max -0.01 
report_checks -group_count 100  -slack_max -0.01 >> $::env(opensta_report_file_tag).rpt
exit