mirror of
https://github.com/lowRISC/ibex.git
synced 2025-06-27 17:00:41 -04:00
75e1c28107
This fixes a bug where .csv.rpt files weren't being generated properly. OpenSTA was outputting a simple 'Q' or 'D' for start and end path points where the full instance name was required (which is then fed to yosys to translate to a human readable name). The issue was in the `timing_report` proc in syn/tcl/sta_utils.tcl which needed to request the full name of the start and end points. The syn README is updated to note which tool versions have been used to test the flow. Fixes #1193
51 lines
1.8 KiB
Tcl
51 lines
1.8 KiB
Tcl
# Copyright lowRISC contributors.
|
|
# Licensed under the Apache License, Version 2.0, see LICENSE for details.
|
|
# SPDX-License-Identifier: Apache-2.0
|
|
|
|
proc setup_path_groups {input_list output_list path_group_list_name} {
|
|
upvar $path_group_list_name path_group_list
|
|
|
|
set flops_in [all_registers -edge_triggered -data_pins]
|
|
set flops_out [all_registers -edge_triggered -clock_pins]
|
|
group_path -name reg2reg -from $flops_out -to $flops_in
|
|
lappend path_group_list reg2reg
|
|
|
|
foreach output $output_list {
|
|
set output_name [lindex $output 0]
|
|
lappend outputs_list [get_ports $output_name]
|
|
}
|
|
group_path -name reg2out -from $flops_out -to $outputs_list
|
|
lappend path_group_list reg2out
|
|
|
|
foreach input $input_list {
|
|
set input_name [lindex $input 0]
|
|
lappend inputs_list [get_ports $input_name]
|
|
}
|
|
group_path -name in2reg -from $inputs_list -to $flops_in
|
|
lappend path_group_list in2reg
|
|
|
|
group_path -name in2out -from $inputs_list -to $outputs_list
|
|
lappend path_group_list in2out
|
|
|
|
}
|
|
|
|
proc timing_report {path_group rpt_out path_count} {
|
|
set sta_report_out_filename "${rpt_out}.rpt"
|
|
set sta_csv_out_filename "${rpt_out}.csv.rpt"
|
|
|
|
puts "Reporting $path_group to $sta_report_out_filename and $sta_csv_out_filename"
|
|
report_checks -group_count $path_count -path_group $path_group > $sta_report_out_filename
|
|
|
|
set paths [find_timing_paths -group_count $path_count -path_group $path_group]
|
|
set sta_csv_out [open $sta_csv_out_filename "w"]
|
|
|
|
foreach path $paths {
|
|
set startpoint_name [get_property [get_property $path startpoint] full_name]
|
|
set endpoint_name [get_property [get_property $path endpoint] full_name]
|
|
set slack [get_property $path slack]
|
|
puts $sta_csv_out [format "$startpoint_name,$endpoint_name,%.4f" $slack]
|
|
}
|
|
|
|
close $sta_csv_out
|
|
}
|
|
|