汶.z: Tsetup_slack的公式第一个式子做减法的变量反了；

蓝天下的守望者: 其实将满阈值有两种定义，最好说清楚才好，一种是FIFO中填了多少个数开始有afull=1，另一种是FIFO中还剩多少空间时，afull=1

2301_80362643: 引用「port1 higher priority」 同样是两个always，为啥端口1优先级高？

2301_80362643: 阻塞赋值和非阻塞赋值的处理时间不同，实际信号的变化并不严格和时钟边沿重合，采样的时候就可能才到前一个值

2301_80362643: 第二个问题感觉是因为采用了#time 方式赋值，@posedge clk和#time 之间可能有时延，并不严格一致。