Do We need GLS ? Can STA/Formal Verification Substitute it ?
Stayed tuned for my detailed comment,meanwhile you can post your response.
1> STA Covers all timing constraint on the other hand GLS does this for few paths(not all)
2> If by chance wrong desing undertanding leads to incorrect flase path/multicycle path than it can be avoided if GLS was done.
3> GLS provides power/switching information which STA will not provide. And yes everyone wants to know power usage.
4> GLS Provides Good check on Reset release,initialization.