
    set ::env(USER_ROOT)    ".."
    set ::env(PDK_ROOT)     "/opt/pdk_mpw7/sky130B"
    define_corners ss tt ff

    read_liberty -corner tt $::env(PDK_ROOT)/libs.ref/sky130_fd_sc_hd/lib/sky130_fd_sc_hd__tt_025C_1v80.lib	

	# User project netlist
    read_verilog $::env(USER_ROOT)/verilog/gl/pinmux_top.v  


	link_design pinmux_top


	## User Project Spef
    read_spef  -corner tt $::env(USER_ROOT)/spef/pinmux_top.spef


	read_sdc -echo ./sdc/pinmux.sdc	
	set_propagated_clock [all_clocks]

	check_setup  -verbose >  unconstraints.rpt
	report_checks -path_delay min -fields {slew cap input nets fanout} -format full_clock_expanded -group_count 50	
	report_checks -path_delay max -fields {slew cap input nets fanout} -format full_clock_expanded -group_count 50	
	report_worst_slack -max 	
	report_worst_slack -min 	
	report_checks -path_delay min -fields {slew cap input nets fanout} -format full_clock_expanded -slack_max 0.18 -group_count 10	
	report_check_types -max_slew -max_capacitance -max_fanout -violators  > slew.cap.fanout.vio.rpt