一个容易忽视的FIFO跨时钟域中的隐藏假设

 

设计长期以来一直使用基于gray code的FIFO来在异步时钟域之间安全地传输数据。

然而，某些时候可能会打破这些FIFO的基本假设，导致它们失效。这类跨域传输的正确性通常由"设计负责"，不在静态时序分析中进行检查。前仿真也无法发现。