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

issue107 crpr with clock min false and max delay exceptions 

Signed-off-by: James Cherry <cherry@parallaxsw.com>
This commit is contained in:
James Cherry 2024-11-13 11:28:40 -08:00
parent 3166392242
commit b8f2b07872
1 changed files with 3 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
search/Tag.cc
View File

@ -607,7 +607,7 @@ tagStateEqual(ExceptionStateSet *states1,
return false;
}
// Match false, loop exception states only for crpr min/max paths.
// Match loop exception states only for crpr min/max paths.
static bool
tagStateEqualCrpr(const Tag *tag1,
const Tag *tag2)
@ -622,8 +622,7 @@ tagStateEqualCrpr(const Tag *tag1,
while (state_iter1.hasNext()) {
state1 = state_iter1.next();
ExceptionPath *exception1 = state1->exception();
if (exception1->isFalse()
|| exception1->isLoop())
if (exception1->isLoop())
break;
else
state1 = nullptr;
@ -632,8 +631,7 @@ tagStateEqualCrpr(const Tag *tag1,
while (state_iter2.hasNext()) {
state2 = state_iter2.next();
ExceptionPath *exception2 = state2->exception();
if (exception2->isFalse()
|| exception2->isLoop())
if (exception2->isLoop())
break;
else
state2 = nullptr;