Functional Coverage Sign-off assisted by Formal Connectivity Author(s): Asheque Mohammad Zaidi, Muhammad Ul Haque Khan Download