Supply network connectivity: An imperative part in low power gate-level verification