Incisive Formal Verifier

Hi all,

I have been working on ifv tool for connectivity verification. I have passed blackbox list file to ifv which includes one of the modules that is responsible for system ready signal. I need to do this because I am checking connectivity for some of the signals which are part of that module. If I do so, I should not be able to verify connectivity since system ready signal will not be driven. But still I am getting positive results. Can you please help how this can happen?

CDNS Forum Thread CSS JS
CDNS - Fix Layout