@zipcpu It turns out I was missing a define I have traces now and somehow it works if I change the f_min_busy period to one clock, let me try again keenly then I will take up your time. Thank you so much for the help. I do appreciate it
Hi @zipcpu hope you are well! I hope it's ok to bug you here, I'm struggling a little with https://t.co/COtlWnYmiX My cover proofs never generate a trace. Just passes all the time is there a flag or something to retain the trace?
@zipcpu Yes to both module does include cover statements and sby file as well. All I have done different is to fix for the dangling o_busy and the other off by one state issues. The tests just pass :(