Tell me whether the below code is checker or not

[sai685]

Check the code and tell me still if any checkers i need to do . if there give me a brief about them.

 always@(posedge wr_clk or posedge rd_clk)
    begin
  if(rd_empty && wr_full)
    begin
   $display("error");
    end
    end
  
  always @(posedge wr_clk)
    begin
      if(write_enable && wr_full)
        begin
          $display("error");
        end
    end
  always @(posedge rd_clk)
    begin
      if(read_enable && rd_empty)
        begin
          $display("error");
        end
    end

- - - Updated - - -

the above code is for Asynchronous FIFO

- - - Updated - - -

the above code is for Asynchronous FIFO

 

[aruipksni]

what about overflow underflow ?