FIFO空满的验证思路

乐在其中296

请教fifo空满的验证思路？？？？？？？简单说下我了解的，fifo空时不能读数据，满时不能写数据。
对于数据包来说，满时会触发反压，那fifo满时紧接着来的下一包数据怎么处理，丢弃？如何判断丢的是不是整包
                      空时。。。不懂，没验过

乐在其中296

达到fifo满时，包大小的控制

rosshardware

正常设计FIFO前一级会接收到FIFO的满信号反压自己的发送，否则，在FIFO的入口，会丢弃满状态时，上一级送过来的包

rosshardware

验证需要对设计支持的规格和场景有充分的理解，才能谈验证思路。对于FIFO的满的验证，需要考虑如果设计用满作反压，那么就是要求，FULL有效后，立即停止发包，因此Drive必须要要有这种的功能。同时也需要考虑异常场景，即FIFO满后，仍然往FIFO发包，FIFO正常丢包，不挂死，当FIFO 满撤销后，还能正常继续工作。

乐在其中296

回复 4# rosshardware


   如果来了7个包没有满，第8个包来时只存进去一半，这种正常吗？？如何控制包大小和fifo满的关系？？
对于存进去的这半个包会不会继续往后走？

乐在其中296

回复 4# rosshardware


   另外，设计中存放大量数据包的缓存会采用伪双口ram来做，一个口只读，一个口只写，但是此缓冲只需要来的数据按顺序一个个存进去，过一会再一个个读出来，不需要地址线的控制。那如何在一个控制单元确保读写指针是一个个递增那？？？而且读写时钟不同？？

rosshardware

回复 6# 乐在其中296
你说的这种RAM，其实一种FIFO，这个读写地址控制需要在RAM 外部自己作FIFO控制器来完成

rosshardware

回复 5# 乐在其中296


    如果要需要存在整包，那就只能通过afull来进行反压，FIFO预留一个包的空间，FIFO还剩余一个包的空间就产生反压。 如果需求不是存整包，则上一级模块需要收到反压后，停止发包，等待FIFO撤离，再将剩余报文发送出去。

乐在其中296

回复 8# rosshardware


   对，现在我参与的项目就是你说的这样，通过水位进行控制，水位与真实满预留超过一个最长包的大小。超过水位就进行反压，停止发包。
我的疑问就是就算设置了水位线，由于发送的包大小不一，如何确保达到水位线时，里面存的是整包，而没有一半的包那（7个包达不到水位线，7个半包达到了水位线）？？

当然，真实的情况下如果读写正常，不会达到水位线，如果连续发送超长包或者后续模块存在反压就会达到水位线

乐在其中296

回复 8# rosshardware


   重点是包的大小不一致