Functional Coverage Sign-off assisted by Formal Connectivity

Author(s):
Asheque Mohammad Zaidi, Muhammad Ul Haque Khan