yes i am building it in simulink,
Even i am checking the whole address like the conditions are (read_addr[8:0] == write_addr[8:0]) empty is enabled.
and ((read_addr[7:0]==write_addr[7:0])&&(read_addr[8]^write_addr[8])) then pop is enabling. Here for 8 bit data i am adding an extra bit for checking the overflow condition it is working fine for synchronous. But implementing for asynchronous what i can do?? like adding a grey counter inplace of binary counter (or) adding delay for read_add and write_addr , can you suggest me the best way of doing? Even tell me whether my assumption is correct or not