Skip to content

Commit d565906

Browse files
committed
tag/glk_info debug
Signed-off-by: James Cherry <[email protected]>
1 parent f18df8a commit d565906

File tree

3 files changed

+27
-5
lines changed

3 files changed

+27
-5
lines changed

search/ClkInfo.cc

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -166,8 +166,10 @@ ClkInfo::to_string(const StaState *sta) const
166166
const Pin *crpr_clk_pin = crpr_clk_path_.vertex(sta)->pin();
167167
result += " crpr ";
168168
result += network->pathName(crpr_clk_pin);
169-
result += "/";
169+
result += " ";
170170
result += std::to_string(crpr_clk_path_.tag(sta)->index());
171+
result += "/";
172+
result += crpr_clk_path_.minMax(sta)->to_string();
171173
}
172174

173175
if (is_gen_clk_src_path_)

search/Latches.cc

Lines changed: 18 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -75,6 +75,8 @@ Latches::latchRequired(const Path *data_path,
7575
time_given_to_startpoint = 0.0;
7676
}
7777
else if (enable_path && disable_path) {
78+
debugPrint(debug_, "latch", 1, "latch %s",
79+
sdc_network_->pathName(data_path->pin(this)));
7880
Delay open_latency, latency_diff, max_borrow;
7981
float nom_pulse_width, open_uncertainty;
8082
Crpr open_crpr, crpr_diff;
@@ -102,8 +104,7 @@ Latches::latchRequired(const Path *data_path,
102104
+ PathEnd::checkSetupMcpAdjustment(data_clk_edge, enable_clk_edge, mcp,
103105
1, sdc_)
104106
+ open_crpr;
105-
debugPrint(debug_, "latch", 1, "latch data %s %s enable %s",
106-
network_->pathName(data_path->pin(this)),
107+
debugPrint(debug_, "latch", 1, "data %s enable %s",
107108
delayAsString(data_arrival, this),
108109
delayAsString(enable_arrival, this));
109110
if (delayLessEqual(data_arrival, enable_arrival, this)) {
@@ -145,6 +146,11 @@ Latches::latchRequired(const Path *data_path,
145146
adjusted_data_arrival = data_arrival;
146147
time_given_to_startpoint = 0.0;
147148
}
149+
debugPrint(debug_, "latch", 2, "req %s borrow %s time_given %s adj_arrival %s",
150+
delayAsString(required, this),
151+
delayAsString(borrow, this),
152+
delayAsString(time_given_to_startpoint, this),
153+
delayAsString(adjusted_data_arrival, this));
148154
}
149155

150156
void
@@ -209,6 +215,16 @@ Latches::latchBorrowInfo(const Path *data_path,
209215
open_crpr = 0.0;
210216
crpr_diff = 0.0;
211217
}
218+
debugPrint(debug_, "latch", 2, "nom_width %s open_lat %s lat_diff %s open_uncert %s",
219+
delayAsString(nom_pulse_width, this),
220+
delayAsString(open_latency, this),
221+
delayAsString(latency_diff, this),
222+
delayAsString(open_uncertainty, this));
223+
debugPrint(debug_, "latch", 2, "open_crpr %s crpr_diff %s open_uncert %s max_borrow %s",
224+
delayAsString(open_crpr, this),
225+
delayAsString(crpr_diff, this),
226+
delayAsString(open_uncertainty, this),
227+
borrow_limit_exists ? delayAsString(max_borrow, this) : "none");
212228
}
213229

214230
void

search/Tag.cc

Lines changed: 6 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -138,11 +138,15 @@ Tag::to_string(bool report_index,
138138
result += network->pathName(clk_src);
139139
}
140140

141+
result += " crpr_pin ";
141142
const Path *crpr_clk_path = clk_info_->crprClkPath(sta);
142-
if (crpr_clk_path != nullptr) {
143-
result += " crpr_pin ";
143+
if (crpr_clk_path) {
144144
result += network->pathName(crpr_clk_path->pin(sta));
145+
result += " ";
146+
result += crpr_clk_path->minMax(sta)->to_string();
145147
}
148+
else
149+
result += "null";
146150

147151
if (input_delay_) {
148152
result += " input ";

0 commit comments

Comments
 (0)