在对Xilinx ISE Block RAM进行仿真时碰到“$recovery posedge CLKB posedge CLKA ”的问题。在BLKMEM**.v中注释掉最后对应的语句
$recovery (posedge CLKB, posedge CLKA &&& collision_posa_posb, 1, recovery_b后,仿真可以继续。