| set ::env(USER_ROOT) "/home/dinesha/workarea/opencore/git/riscduino" | |
| #set ::env(CARAVEL_ROOT) "/home/dinesha/workarea/efabless/MPW-4/caravel_openframe" | |
| #set ::env(CARAVEL_PDK_ROOT) "/opt/pdk_mpw4" | |
| set ::env(CARAVEL_ROOT) "/home/dinesha/workarea/efabless/MPW-5/caravel" | |
| set ::env(CARAVEL_PDK_ROOT) "/opt/pdk_mpw4" | |
| read_liberty $::env(CARAVEL_PDK_ROOT)/sky130A/libs.ref/sky130_fd_sc_hd/lib/sky130_fd_sc_hd__tt_025C_1v80.lib | |
| read_liberty $::env(CARAVEL_PDK_ROOT)/sky130A/libs.ref/sky130_sram_macros/lib/sky130_sram_2kbyte_1rw1r_32x512_8_TT_1p8V_25C.lib | |
| read_liberty $::env(CARAVEL_PDK_ROOT)/sky130A/libs.ref/sky130_sram_macros/lib/sky130_sram_1kbyte_1rw1r_32x256_8_TT_1p8V_25C.lib | |
| read_liberty $::env(CARAVEL_PDK_ROOT)/sky130A/libs.ref/sky130_fd_sc_hvl/lib/sky130_fd_sc_hvl__tt_025C_3v30.lib | |
| read_liberty $::env(CARAVEL_PDK_ROOT)/sky130A/libs.ref/sky130_fd_sc_hvl/lib/sky130_fd_sc_hvl__tt_025C_3v30_lv1v80.lib | |
| read_liberty $::env(CARAVEL_PDK_ROOT)/sky130A/libs.ref/sky130_fd_io/lib/sky130_fd_io__top_gpiov2_tt_tt_025C_1v80_3v30.lib | |
| read_liberty $::env(CARAVEL_PDK_ROOT)/sky130A/libs.ref/sky130_fd_io/lib/sky130_fd_io__top_ground_hvc_wpad_tt_025C_1v80_3v30_3v30.lib | |
| read_liberty $::env(CARAVEL_PDK_ROOT)/sky130A/libs.ref/sky130_fd_io/lib/sky130_fd_io__top_ground_lvc_wpad_tt_025C_1v80_3v30.lib | |
| read_liberty $::env(CARAVEL_PDK_ROOT)/sky130A/libs.ref/sky130_fd_io/lib/sky130_fd_io__top_ground_lvc_wpad_tt_100C_1v80_3v30.lib | |
| read_liberty $::env(CARAVEL_PDK_ROOT)/sky130A/libs.ref/sky130_fd_io/lib/sky130_fd_io__top_power_lvc_wpad_tt_025C_1v80_3v30_3v30.lib | |
| read_liberty $::env(CARAVEL_PDK_ROOT)/sky130A/libs.ref/sky130_fd_io/lib/sky130_fd_io__top_xres4v2_tt_tt_025C_1v80_3v30.lib | |
| read_liberty $::env(CARAVEL_PDK_ROOT)/sky130A/libs.ref/sky130_fd_io/lib/sky130_ef_io__gpiov2_pad_tt_tt_025C_1v80_3v30.lib | |
| read_liberty $::env(CARAVEL_PDK_ROOT)/sky130A/libs.ref/sky130_fd_io/lib/sky130_ef_io__vccd_lvc_clamped_pad_tt_025C_1v80_3v30_3v30.lib | |
| read_liberty $::env(CARAVEL_PDK_ROOT)/sky130A/libs.ref/sky130_fd_io/lib/sky130_ef_io__vdda_hvc_clamped_pad_tt_025C_1v80_3v30_3v30.lib | |
| read_liberty $::env(CARAVEL_PDK_ROOT)/sky130A/libs.ref/sky130_fd_io/lib/sky130_ef_io__vssa_hvc_clamped_pad_tt_025C_1v80_3v30_3v30.lib | |
| read_liberty $::env(CARAVEL_PDK_ROOT)/sky130A/libs.ref/sky130_fd_io/lib/sky130_ef_io__vssd_lvc_clamped3_pad_tt_025C_1v80_3v30.lib | |
| read_liberty $::env(CARAVEL_PDK_ROOT)/sky130A/libs.ref/sky130_fd_io/lib/sky130_ef_io__vccd_lvc_clamped3_pad_tt_025C_1v80_3v30_3v30.lib | |
| read_liberty $::env(CARAVEL_PDK_ROOT)/sky130A/libs.ref/sky130_fd_io/lib/sky130_ef_io__vssd_lvc_clamped_pad_tt_025C_1v80_3v30.lib | |
| # User project netlist | |
| read_verilog $::env(USER_ROOT)/verilog/gl/yifive.v | |
| link_design ycr1_top_wb | |
| ## User Project Spef | |
| read_spef $::env(USER_ROOT)/spef/ycr1_top_wb.spef | |
| read_sdc -echo ./sdc/yifive.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 | |
| #Min Delay check around DFFRAM | |
| echo "DFFRAM Interface Min Timing.................." > dffram.min.rpt | |
| report_checks -path_delay min -fields {slew cap input nets fanout} -through tcm_dffram_wmask0[*] >> dffram.min.rpt | |
| report_checks -path_delay min -fields {slew cap input nets fanout} -through tcm_dffram_cs0 >> dffram.min.rpt | |
| report_checks -path_delay min -fields {slew cap input nets fanout} -through tcm_dffram_din0[*] >> dffram.min.rpt | |
| report_checks -path_delay min -fields {slew cap input nets fanout} -through tcm_dffram_addr0[*] >> dffram.min.rpt | |
| report_checks -path_delay min -fields {slew cap input nets fanout} -through tcm_dffram_dout0[*] >> dffram.min.rpt | |
| report_checks -path_delay min -fields {slew cap input nets fanout} -through tcm_dffram_wmask1[*] >> dffram.min.rpt | |
| report_checks -path_delay min -fields {slew cap input nets fanout} -through tcm_dffram_cs1 >> dffram.min.rpt | |
| report_checks -path_delay min -fields {slew cap input nets fanout} -through tcm_dffram_din1[*] >> dffram.min.rpt | |
| report_checks -path_delay min -fields {slew cap input nets fanout} -through tcm_dffram_addr1[*] >> dffram.min.rpt | |
| report_checks -path_delay min -fields {slew cap input nets fanout} -through tcm_dffram_dout1[*] >> dffram.min.rpt | |
| report_checks -path_delay min -fields {slew cap input nets fanout} -through icache_dffram_wmask0[*] >> dffram.min.rpt | |
| report_checks -path_delay min -fields {slew cap input nets fanout} -through icache_dffram_cs0 >> dffram.min.rpt | |
| report_checks -path_delay min -fields {slew cap input nets fanout} -through icache_dffram_din0[*] >> dffram.min.rpt | |
| report_checks -path_delay min -fields {slew cap input nets fanout} -through icache_dffram_addr0[*] >> dffram.min.rpt | |
| report_checks -path_delay min -fields {slew cap input nets fanout} -through icache_dffram_dout0[*] >> dffram.min.rpt | |
| report_checks -path_delay min -fields {slew cap input nets fanout} -through icache_dffram_wmask1[*] >> dffram.min.rpt | |
| report_checks -path_delay min -fields {slew cap input nets fanout} -through icache_dffram_cs1 >> dffram.min.rpt | |
| report_checks -path_delay min -fields {slew cap input nets fanout} -through icache_dffram_din1[*] >> dffram.min.rpt | |
| report_checks -path_delay min -fields {slew cap input nets fanout} -through icache_dffram_addr1[*] >> dffram.min.rpt | |
| report_checks -path_delay min -fields {slew cap input nets fanout} -through icache_dffram_dout1[*] >> dffram.min.rpt | |
| report_checks -path_delay min -fields {slew cap input nets fanout} -through dcache_dffram_wmask0[*] >> dffram.min.rpt | |
| report_checks -path_delay min -fields {slew cap input nets fanout} -through dcache_dffram_cs0 >> dffram.min.rpt | |
| report_checks -path_delay min -fields {slew cap input nets fanout} -through dcache_dffram_din0[*] >> dffram.min.rpt | |
| report_checks -path_delay min -fields {slew cap input nets fanout} -through dcache_dffram_addr0[*] >> dffram.min.rpt | |
| report_checks -path_delay min -fields {slew cap input nets fanout} -through dcache_dffram_dout0[*] >> dffram.min.rpt | |
| report_checks -path_delay min -fields {slew cap input nets fanout} -through dcache_dffram_wmask1[*] >> dffram.min.rpt | |
| report_checks -path_delay min -fields {slew cap input nets fanout} -through dcache_dffram_cs1 >> dffram.min.rpt | |
| report_checks -path_delay min -fields {slew cap input nets fanout} -through dcache_dffram_din1[*] >> dffram.min.rpt | |
| report_checks -path_delay min -fields {slew cap input nets fanout} -through dcache_dffram_addr1[*] >> dffram.min.rpt | |
| report_checks -path_delay min -fields {slew cap input nets fanout} -through dcache_dffram_dout1[*] >> dffram.min.rpt | |
| #Max Delay check around DFFRAM | |
| echo "DFFRAM Interface Max Timing.................." > dffram.max.rpt | |
| report_checks -path_delay max -fields {slew cap input nets fanout} -through tcm_dffram_wmask0[*] >> dffram.max.rpt | |
| report_checks -path_delay max -fields {slew cap input nets fanout} -through tcm_dffram_cs0 >> dffram.max.rpt | |
| report_checks -path_delay max -fields {slew cap input nets fanout} -through tcm_dffram_din0[*] >> dffram.max.rpt | |
| report_checks -path_delay max -fields {slew cap input nets fanout} -through tcm_dffram_addr0[*] >> dffram.max.rpt | |
| report_checks -path_delay max -fields {slew cap input nets fanout} -through tcm_dffram_dout0[*] >> dffram.max.rpt | |
| report_checks -path_delay max -fields {slew cap input nets fanout} -through tcm_dffram_wmask1[*] >> dffram.max.rpt | |
| report_checks -path_delay max -fields {slew cap input nets fanout} -through tcm_dffram_cs1 >> dffram.max.rpt | |
| report_checks -path_delay max -fields {slew cap input nets fanout} -through tcm_dffram_din1[*] >> dffram.max.rpt | |
| report_checks -path_delay max -fields {slew cap input nets fanout} -through tcm_dffram_addr1[*] >> dffram.max.rpt | |
| report_checks -path_delay max -fields {slew cap input nets fanout} -through tcm_dffram_dout1[*] >> dffram.max.rpt | |
| report_checks -path_delay max -fields {slew cap input nets fanout} -through icache_dffram_wmask0[*] >> dffram.max.rpt | |
| report_checks -path_delay max -fields {slew cap input nets fanout} -through icache_dffram_cs0 >> dffram.max.rpt | |
| report_checks -path_delay max -fields {slew cap input nets fanout} -through icache_dffram_din0[*] >> dffram.max.rpt | |
| report_checks -path_delay max -fields {slew cap input nets fanout} -through icache_dffram_addr0[*] >> dffram.max.rpt | |
| report_checks -path_delay max -fields {slew cap input nets fanout} -through icache_dffram_dout0[*] >> dffram.max.rpt | |
| report_checks -path_delay max -fields {slew cap input nets fanout} -through icache_dffram_wmask1[*] >> dffram.max.rpt | |
| report_checks -path_delay max -fields {slew cap input nets fanout} -through icache_dffram_cs1 >> dffram.max.rpt | |
| report_checks -path_delay max -fields {slew cap input nets fanout} -through icache_dffram_din1[*] >> dffram.max.rpt | |
| report_checks -path_delay max -fields {slew cap input nets fanout} -through icache_dffram_addr1[*] >> dffram.max.rpt | |
| report_checks -path_delay max -fields {slew cap input nets fanout} -through icache_dffram_dout1[*] >> dffram.max.rpt | |
| report_checks -path_delay max -fields {slew cap input nets fanout} -through dcache_dffram_wmask0[*] >> dffram.max.rpt | |
| report_checks -path_delay max -fields {slew cap input nets fanout} -through dcache_dffram_cs0 >> dffram.max.rpt | |
| report_checks -path_delay max -fields {slew cap input nets fanout} -through dcache_dffram_din0[*] >> dffram.max.rpt | |
| report_checks -path_delay max -fields {slew cap input nets fanout} -through dcache_dffram_addr0[*] >> dffram.max.rpt | |
| report_checks -path_delay max -fields {slew cap input nets fanout} -through dcache_dffram_dout0[*] >> dffram.max.rpt | |
| report_checks -path_delay max -fields {slew cap input nets fanout} -through dcache_dffram_wmask1[*] >> dffram.max.rpt | |
| report_checks -path_delay max -fields {slew cap input nets fanout} -through dcache_dffram_cs1 >> dffram.max.rpt | |
| report_checks -path_delay max -fields {slew cap input nets fanout} -through dcache_dffram_din1[*] >> dffram.max.rpt | |
| report_checks -path_delay max -fields {slew cap input nets fanout} -through dcache_dffram_addr1[*] >> dffram.max.rpt | |
| report_checks -path_delay max -fields {slew cap input nets fanout} -through dcache_dffram_dout1[*] >> dffram.max.rpt |