In reply to PJ:
Your environment looks a little bit like quick & dirty. There are a few weaknesses:
(1) the ADDR_WIDTH is not consistent (8/32 bit)
(2) you are dealing in some components with the clocking block in others not
(3) if you want to compare x-values (undefined) you have to use the case equality (===). Changing this generates only passes.
I did not investigate where the x-values are coming from and if they are correct.