ASIC Top Level Verification-Formal Connectivity Verification | Ericsson