luke
/
OpenSTA
mirror of https://github.com/The-OpenROAD-Project/OpenSTA.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

report_check_types format tweaks

This commit is contained in:
James Cherry 2020-06-02 16:28:12 -07:00
parent 1560a77ba5
commit 1aadb2d895
3 changed files with 20 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
search/ReportPath.cc
View File

@ -1600,6 +1600,10 @@ ReportPath::reportLimitShort(const ReportField *field,
reportField(value, field, result);
result += ' ';
reportField(slack, field, result);
result += (slack >= 0.0)
? " (MET)"
: " (VIOLATED)";
reportEndOfLine(result);
}
void
@ -1632,7 +1636,7 @@ ReportPath::reportLimitVerbose(const ReportField *field,
if (rf)
result += rf->shortName();
else
result += ' ';
result += ' ';
reportEndOfLine(result);
result += min_max->asString();
@ -1646,10 +1650,17 @@ ReportPath::reportLimitVerbose(const ReportField *field,
result += " ";
reportField(value, field, result);
reportEndOfLine(result);
reportDashLine(strlen(field->name()) + field->width() + 5, result);
int name_width = strlen(field->name()) + 5;
reportDashLine(name_width + field->width(), result);
result += "Slack ";
result += "Slack";
for (int i = strlen("Slack"); i < name_width; i++)
result += ' ';
reportField(slack, field, result);
result += (slack >= 0.0)
? " (MET)"
: " (VIOLATED)";
reportEndOfLine(result);
}
////////////////////////////////////////////////////////////////

2
tcl/Search.tcl
View File

@ -257,7 +257,7 @@ proc parse_report_path_options { cmd args_var default_format
foreach field {total incr} {
set_report_path_field_width $field $delay_field_width
}
foreach field {capacitance slew fanout} {
foreach field {capacitance slew} {
set_report_path_field_width $field $field_width
}

8
tcl/Sta.tcl
View File

@ -46,7 +46,7 @@ proc define_report_path_fields {} {
set_report_path_field_properties "incr" "Delay" $width 0
set_report_path_field_properties "capacitance" "Cap" $width 0
set_report_path_field_properties "slew" "Slew" $width 0
set_report_path_field_properties "fanout" "Fanout" 5 0
set_report_path_field_properties "fanout" "Fanout" 6 0
set_report_path_field_properties "edge" " " 1 0
set_report_path_field_properties "case" " " 11 0
}
@ -390,7 +390,9 @@ proc_redirect report_check_types {
set min_period 1
set max_skew 1
set max_fanout 0
set min_fanout 0
set max_capacitance 0
set min_capacitance 0
} else {
parse_key_args "report_check_types" args keys {} \
flags {-max_delay -min_delay -recovery -removal \
@ -482,10 +484,10 @@ proc_redirect report_check_types {
report_fanout_limits "min" $violators $verbose $nosplit
}
if { $max_capacitance } {
# report_capacitance_limits $corner "max" $violators $verbose $nosplit
report_capacitance_limits $corner "max" $violators $verbose $nosplit
}
if { $min_capacitance } {
# report_capacitance_limits $corner "min" $violators $verbose $nosplit
report_capacitance_limits $corner "min" $violators $verbose $nosplit
}
if { $min_pulse_width } {
if { $violators } {