I've been using the IFV tool for quite sometime now and I notice that when I run FSM assertions under AFA, No deadlock assertions remain explored while the others pass easily. Is there anyway to improve this?
Thanks for the immediate response.
I tried the same RTL with the 13th version. All these deadcode checks failed as Fail (Inf). What do you mean by unfair input behavior?