can anybody explain me final phase with some example?
See Phasing | Verification Academy
I’ve never seen anyone use it.