The-OpenROAD-Project / OpenSTA

OpenSTA engine
GNU General Public License v3.0
386 stars 167 forks source link

Found might be functionality inconsistency in Search::seedClkArrival with Search::thruClkInfo #221

Open icbenchpeng opened 4 months ago

icbenchpeng commented 4 months ago

The inconsistency is about sdc_->isPropagatedClock(pin).

seedClkArrival do always check sdc->isPropagatedClock if pin clock latency does not exists. thruClkInfo first check sdc->isPropagatedClock of the local pin, but then overwrites when pin's clock latency does not exist but hierarchical pin latency thru edge exist. Is there an assumption exist here ?

jjcherry56 commented 2 months ago

I can't parse your description to understand what your point is. Exactly what assumption are you speculating exists? If you can create a test case that demonstrates a bug I can look into it.