format
Signed-off-by: James Cherry <cherry@CerezoBook.local>
This commit is contained in:
parent
f29b200bcd
commit
08cf90d3fd
|
|
@ -96,7 +96,8 @@ EvalPred::searchThru(Edge *edge,
|
||||||
{
|
{
|
||||||
const TimingRole *role = edge->role();
|
const TimingRole *role = edge->role();
|
||||||
return SearchPred0::searchThru(edge, mode)
|
return SearchPred0::searchThru(edge, mode)
|
||||||
&& (sta_->variables()->dynamicLoopBreaking() || !edge->isDisabledLoop())
|
&& (sta_->variables()->dynamicLoopBreaking()
|
||||||
|
|| !edge->isDisabledLoop())
|
||||||
&& (search_thru_latches_
|
&& (search_thru_latches_
|
||||||
|| role->isLatchDtoQ()
|
|| role->isLatchDtoQ()
|
||||||
|| sta_->latches()->latchDtoQState(edge, mode) == LatchEnableState::open);
|
|| sta_->latches()->latchDtoQState(edge, mode) == LatchEnableState::open);
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue