FIFO空满标志的产生

自己写同步FIFO的时候，需要判断满空标志；使用冗余一位地址的方式来实现；假设实现一个深度为4的FIFO那么地址位宽设为3bit，最高bit实现满标志判断。地址变化如下：
000
001
010
011
——实际地址使用低两位，此时已经写满了，再往下是套圈了，最高位是套圈标志；
100
101
110
111
——再往下就循环之前的过程了
好比在操场一圈跑步，读写指针相互追赶，实质上是写指针在前，读指针在后，因为FIFO里面没有数读了也没意义；如果写指针停止了，读指针赶上了写指针，那么FIFO就是空了，无论在第几圈赶上的；如果读指针停止了，写指针的最高位和读指针的最高位不相等，并且低位相等则写指针再写就套圈了，之前的数据就会被覆盖，此时已经写满了。
empty = (wrptr == rdptr);
full = ((wrptr[2]！=rdptr[2]) && (wrptr[1:0]==rdptr[1:0]));

异步FIFO将wrptr和rdptr在不同时钟域变化，判断的时候通过（使用格雷码变换后）CDC变换到两边进行判断；有一篇文章说了真假空满；链接于此IC基础课：异步FIFO的"假"满空和"真"满空