When I run verilog with a snooper module, I get a bunch of warnings about not being able to compare zs with irsim. What is going on?
Whereas in verilog where you can see a signal at high-z, in IRSIM nodes at retain their old value when tri-stated. What is happenning is that snooper is sampling a node in verilog that is high-z. However, it can’t compare that to the IRSIM run, since a high-z node will hold its old value. This is probably occuring when you are looking at some sort of shared bus. A way to get rid of the warnings is to alter the snooper.v module to only make asserts of the bus when one of the tri-state driver enables is on.