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

path enum with latches critical error 

Signed-off-by: James Cherry <cherry@parallaxsw.com>
This commit is contained in:
James Cherry 2023-07-18 17:06:37 -07:00
parent f95dcbfa30
commit f2bd778277
1 changed files with 5 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
search/PathEnum.cc
View File

@ -531,9 +531,12 @@ PathEnum::makeDivertedPath(Path *path,
PathEnumedSeq copies; PathEnumedSeq copies;
PathRef p(path); PathRef p(path);
bool first = true; bool first = true;
bool is_latch_data = false;
PathEnumed *prev_copy = nullptr; PathEnumed *prev_copy = nullptr;
while (!p.isNull()) { VertexSet visited(graph_);
while (!p.isNull()
// Break latch loops.
&& !visited.hasKey(p.vertex(this))) {
visited.insert(p.vertex(this));
PathRef prev; PathRef prev;
TimingArc *prev_arc; TimingArc *prev_arc;
p.prevPath(this, prev, prev_arc); p.prevPath(this, prev, prev_arc);
@ -550,10 +553,6 @@ PathEnum::makeDivertedPath(Path *path,
div_path = copy; div_path = copy;
if (Path::equal(&p, after_div, this)) if (Path::equal(&p, after_div, this))
after_div_copy = copy; after_div_copy = copy;
// Include latch D input in the diverted path but do not enumerate
// beyond it.
if (is_latch_data)
break;
if (Path::equal(&p, before_div, this)) { if (Path::equal(&p, before_div, this)) {
copy->setPrevArc(div_arc); copy->setPrevArc(div_arc);
// Update the delays forward from before_div to the end of the path. // Update the delays forward from before_div to the end of the path.
@ -565,9 +564,6 @@ PathEnum::makeDivertedPath(Path *path,
p.init(prev); p.init(prev);
prev_copy = copy; prev_copy = copy;
first = false; first = false;
if (prev_arc
&& prev_arc->role() == TimingRole::latchDtoQ())
is_latch_data = true;
} }
if (!found_div) if (!found_div)
criticalError(250, "diversion path not found"); criticalError(250, "diversion path not found");