用于验证同步FIFO的拐角情况

Question

我试图找出在硬件验证过程中验证同步FIFO的极端情况。

我的设置是一个非常简单的两端口同步FIFO（写/读），写clk频率与读clk频率相同。

为了测试FIFO是否发生溢出，有人可以帮我识别那些极端情况，以便我们可以完全验证这个简单的同步FIFO吗？