求解：关于Clifford E. Cummings论文中异步FIFO的问题

秦一1994

在做异步FIFO的时候，一个难点是FULL和EMPTY的确定条件，论文中有这么一句话：FIFO empty when the next rptr == synchronized wptr or on reset；我的疑问是为什么读指针要比同步过来的写指针要晚一拍呢
同样的判定条件也出现在FULL的判定中，也是用next wptr和synchronized rptr做比较。

论文名：Simulation and Synthesis Techniques for Asynchronous FIFO Design     问题出处P11