In reply to dave_59:
Aside wr_en and wr_data there are rd_en and addr. So why don’t I have to consider them as well?
Considering the width of each of those signals, you have ~128k different samples in the space (product of those width). For half of them wr_en is 1’b1 and rd_en is 1’b-. For a fourth wr_en is 1’b1 and rd_en is 1’b0. Solutions are when wr_en is 1’b1 and rd_en is 1’b0 or viceversa. No operation at all or concurrent operations are not permitted, thus ~64k solutions. The same as saying that for wr_en=1’b1 and rd_en=1’b0 there are 256*128 different cases.
So, where is the error in reasoning? What am I missing?