PSTA-based branch and bound approach to the silicon speedpath isolation problem