讲到这里，大家可能认为就没有什么大问题了，其实不然，我们知道，将一个二进制的计数值从一个时钟域同步到另一个时钟域的时候很容易出现问题，因为采用二进制计数器时所有位都可能同时变化，在同一个时钟沿同步多个信号的变化会产生亚稳态问题。而使用格雷码只有一位变化，因此在两个时钟域间同步多个位不会产生问题。所以需要一个二进制到gray码的转换电路，将地址值转换为相应的gray码，然后将该gray码同步到另一个时钟域进行对比，作为空满状态的检测。

二进制转换为格雷码：二进制数的最高位保持不变， 后续位依次与前一位进行异或运算。判断读空时 ：将写时钟域的写指针同步到读时钟，然后与读时钟域的读指针进行比较，每一位都完全相同才判断为读空；判断写满时：需要 写时钟域的格雷码wgray_next 和 被同步到写时钟域的读指针wr2_rp 高两位不相同，其余各位完全相同。

假空假满现象

这里有空两格问题需要讨论:使用格雷码进行空满判断一定正确么？如果不正确的话，是不是不应该使用该方法呢？我们一个一个问题来看。

首先我们先设想将读指针同步到写时钟域下：读指针同步到写时钟域需要时间T，在经过T时间后，可能原来的读指针会增加或者不变，也就是说同步后的读指针一定是小于等于原来的读指针的。写指针也可能发生变化，但是写指针本来就在这个时钟域，所以是不需要同步的，也就意味着进行对比的写指针就是真实的写指针。此时我们一定要记住，同步过来的读指针实际上是时间T之前的读指针，而并非此时此刻的读指针。如果我们进行写满判断的时候，此刻同步过来的读指针应该小于或等于此刻没有同步过来的读指针，就算出现了写满，那也是假满。还是可以往里面写的，但是我们不管真满假满，我们只知道满了。就不会往里面写数据了，那么这就不是一种错误设计。可以想象一下，假设一个深度为256的FIFO，在写到第254个数据的时候就报了“写满”，大不了FIFO的深度我少用一点点就是的。但是这是安全的
读空判断：如果我们在写时钟域下进行判空，即也就是同步后的读指针追上了写指针。但是原来的读指针是大于等于同步后的读指针的，所以实际上这个时候读指针实际上是超过了写指针。这种情况意味着已经发生了“读空”，却仍然有错误数据读出。所以这种情况就造成了FIFO的功能错误。这时候输出的是真空信号，但是会造成“读空”，所以不可取。因此万万不可以在写时钟域下进行判空。
接下来我们设想将写指针同步到读时钟域下：
  写指针同步到读时钟域需要时间T，在经过T时间后，可能原来的写指针会增加或者不变，也就是说同步后的写指针一定是小于等于原来的写指针的。读指针也可能发生变化，但是读指针本来就在这个时钟域，所以是不需要同步的，也就意味着进行对比的读指针就是真实的读指针。

读空判断：我们知道同步过来的写指针是小于此时此刻真实的写指针的，也就是说这种情况是“假读空”。。可以想象一下，假设某个FIFO，在读到还剩2个数据的时候就报了“读空”，大不了我先不读了，等数据多了再读，但是这也是安全的。
写满判断：也就是同步后的写指针超过了读指针一圈。我们知道同步过来的写指针是小于此时此刻真实的写指针的，所以实际上这个时候写指针已经超过了读指针不止一圈，这种情况意味着已经发生了“写满”，却仍然数据被覆盖写入。所以是不行的
  所以总结一下，判断读空在读时钟域，判断写满在写时钟域。那么假读空会不会造成有数据在FIFO里面读不出来？答案是不会，同步时虽然延迟了两个信号，但是最终还是会同步到跨时钟域，所以假读空信号不会一直有效，还是会在延后几个周期把数据读出来。