| source $::env(TIMING_ROOT)/env/common.tcl |
| source $::env(TIMING_ROOT)/env/caravel_spef_mapping-mpw7.tcl |
| |
| if { [file exists $::env(CUP_ROOT)/env/spef-mapping.tcl] } { |
| source $::env(CUP_ROOT)/env/spef-mapping.tcl |
| } else { |
| puts "WARNING no user project spef mapping file found" |
| } |
| |
| source $::env(TIMING_ROOT)/env/$::env(LIB_CORNER).tcl |
| |
| set libs [split [regexp -all -inline {\S+} $libs]] |
| set verilogs [split [regexp -all -inline {\S+} $verilogs]] |
| |
| |
| foreach liberty $libs { |
| } |
| |
| foreach liberty $libs { |
| run_puts "read_liberty $liberty" |
| } |
| |
| foreach verilog $verilogs { |
| run_puts "read_verilog $verilog" |
| } |
| |
| run_puts "link_design caravel" |
| |
| if { $::env(SPEF_OVERWRITE) ne "" } { |
| puts "overwriting spef from " |
| puts "$spef to" |
| puts "$::env(SPEF_OVERWRITE)" |
| eval set spef $::env(SPEF_OVERWRITE) |
| } |
| |
| set missing_spefs 0 |
| set missing_spefs_list "" |
| run_puts "read_spef $spef" |
| foreach key [array names spef_mapping] { |
| set spef_file $spef_mapping($key) |
| if { [file exists $spef_file] } { |
| run_puts "read_spef -path $key $spef_mapping($key)" |
| } else { |
| set missing_spefs 1 |
| set missing_spefs_list "$missing_spefs_list $key" |
| puts "$spef_file not found" |
| if { $::env(ALLOW_MISSING_SPEF) } { |
| puts "WARNING ALLOW_MISSING_SPEF set to 1. continuing" |
| } else { |
| exit 1 |
| } |
| } |
| } |
| |
| #set sdc $::env(CARAVEL_ROOT)/signoff/caravel/caravel.sdc |
| set sdc $::env(CUP_ROOT)/sdc/caravel.sdc |
| run_puts "read_sdc -echo $sdc" |
| |
| set logs_path "$::env(PROJECT_ROOT)/signoff/caravel/openlane-signoff/timing/$::env(RCX_CORNER)/$::env(LIB_CORNER)" |
| file mkdir [file dirname $logs_path] |
| |
| run_puts_logs "report_checks \\ |
| -path_delay min \\ |
| -format full_clock_expanded \\ |
| -fields {slew cap input_pins nets fanout} \\ |
| -no_line_splits \\ |
| -group_count 10000 \\ |
| -slack_max 10 \\ |
| -digits 4 \\ |
| -endpoint_count 10 \\ |
| -unique_paths_to_endpoint \\ |
| "\ |
| "${logs_path}-min.rpt" |
| |
| run_puts_logs "report_checks \\ |
| -path_delay max \\ |
| -format full_clock_expanded \\ |
| -fields {slew cap input_pins nets fanout} \\ |
| -no_line_splits \\ |
| -group_count 10000 \\ |
| -slack_max 10 \\ |
| -digits 4 \\ |
| -endpoint_count 10 \\ |
| -unique_paths_to_endpoint \\ |
| "\ |
| "${logs_path}-max.rpt" |
| |
| run_puts_logs "report_checks \\ |
| -path_delay min \\ |
| -format full_clock_expanded \\ |
| -fields {slew cap input_pins nets fanout} \\ |
| -no_line_splits \\ |
| -path_group hk_serial_clk \\ |
| -group_count 1000 \\ |
| -slack_max 10 \\ |
| -digits 4 \\ |
| -unique_paths_to_endpoint \\ |
| "\ |
| "${logs_path}-hk_serial_clk-min.rpt" |
| |
| |
| run_puts_logs "report_checks \\ |
| -path_delay max \\ |
| -format full_clock_expanded \\ |
| -fields {slew cap input_pins nets fanout} \\ |
| -no_line_splits \\ |
| -path_group hk_serial_clk \\ |
| -group_count 1000 \\ |
| -slack_max 10 \\ |
| -digits 4 \\ |
| -unique_paths_to_endpoint \\ |
| "\ |
| "${logs_path}-hk_serial_clk-max.rpt" |
| |
| run_puts_logs "report_checks \\ |
| -path_delay max \\ |
| -format full_clock_expanded \\ |
| -fields {slew cap input_pins nets fanout} \\ |
| -no_line_splits \\ |
| -path_group hkspi_clk \\ |
| -group_count 1000 \\ |
| -slack_max 10 \\ |
| -digits 4 \\ |
| -unique_paths_to_endpoint \\ |
| "\ |
| "${logs_path}-hkspi_clk-max.rpt" |
| |
| run_puts_logs "report_checks \\ |
| -path_delay min \\ |
| -format full_clock_expanded \\ |
| -fields {slew cap input_pins nets fanout} \\ |
| -no_line_splits \\ |
| -path_group hkspi_clk \\ |
| -group_count 1000 \\ |
| -slack_max 10 \\ |
| -digits 4 \\ |
| -unique_paths_to_endpoint \\ |
| "\ |
| "${logs_path}-hkspi_clk-min.rpt" |
| |
| run_puts_logs "report_checks \\ |
| -path_delay min \\ |
| -format full_clock_expanded \\ |
| -fields {slew cap input_pins nets fanout} \\ |
| -no_line_splits \\ |
| -path_group clk \\ |
| -group_count 1000 \\ |
| -slack_max 10 \\ |
| -digits 4 \\ |
| -unique_paths_to_endpoint \\ |
| "\ |
| "${logs_path}-clk-min.rpt" |
| |
| run_puts_logs "report_checks \\ |
| -path_delay max \\ |
| -format full_clock_expanded \\ |
| -fields {slew cap input_pins nets fanout} \\ |
| -no_line_splits \\ |
| -path_group clk \\ |
| -group_count 1000 \\ |
| -slack_max 10 \\ |
| -digits 4 \\ |
| -unique_paths_to_endpoint \\ |
| "\ |
| "${logs_path}-clk-max.rpt" |
| |
| run_puts_logs "report_checks \\ |
| -path_delay min \\ |
| -through [get_cells soc] \\ |
| -format full_clock_expanded \\ |
| -fields {slew cap input_pins nets fanout} \\ |
| -no_line_splits \\ |
| -group_count 1000 \\ |
| -slack_max 10 \\ |
| -digits 4 \\ |
| -unique_paths_to_endpoint \\ |
| "\ |
| "${logs_path}-soc-min.rpt" |
| |
| run_puts_logs "report_checks \\ |
| -path_delay max \\ |
| -through [get_cells soc] \\ |
| -format full_clock_expanded \\ |
| -fields {slew cap input_pins nets fanout} \\ |
| -no_line_splits \\ |
| -group_count 1000 \\ |
| -slack_max 10 \\ |
| -digits 4 \\ |
| -unique_paths_to_endpoint \\ |
| "\ |
| "${logs_path}-soc-max.rpt" |
| |
| run_puts_logs "report_checks \\ |
| -path_delay min \\ |
| -through [get_cells mprj] \\ |
| -format full_clock_expanded \\ |
| -fields {slew cap input_pins nets fanout} \\ |
| -no_line_splits \\ |
| -group_count 1000 \\ |
| -slack_max 40 \\ |
| -digits 4 \\ |
| -unique_paths_to_endpoint \\ |
| "\ |
| "${logs_path}-mprj-min.rpt" |
| |
| run_puts_logs "report_checks \\ |
| -path_delay max \\ |
| -through [get_cells mprj] \\ |
| -format full_clock_expanded \\ |
| -fields {slew cap input_pins nets fanout} \\ |
| -no_line_splits \\ |
| -group_count 1000 \\ |
| -slack_max 40 \\ |
| -digits 4 \\ |
| -unique_paths_to_endpoint \\ |
| "\ |
| "${logs_path}-mprj-max.rpt" |
| |
| run_puts "report_parasitic_annotation -report_unannotated > ${logs_path}-unannotated.log" |
| if { $missing_spefs } { |
| puts "there are missing spefs. check the log for ALLOW_MISSING_SPEF" |
| puts "the following macros don't have spefs" |
| foreach spef $missing_spefs_list { |
| puts "$spef" |
| } |
| } |
| report_parasitic_annotation |
| puts "you may want to edit sdc: $sdc to change i/o constraints" |
| puts "check $logs_path" |
