验证计划:
(1)对于apb模块寄存器的测试,包括复位值、写入读回的一致性、对非法地址进行写入、写入非法数据不会影响设计正常工作等;
(2)数据的写入和读回,读写的single传输(len为0),读写的burst传输,多个读写的burst传输,读写数据长度、首地址不一致;
(3)w通道的FIFO的验证,在w通道的256-64FIFO为满的情况下继续往w通道发送数据,设计能正常工作;
(4)一次burst传输过程w通道的数据不连续,设计能正常工作;
(5)r通道FIFO的验证,r通道的64-256FIFO为满的情况下ar通道无法继续接收命令,同时arry_rd模块的FIFO也无法接收数据;
(6)arbiter仲裁功能的测试,包括读优先、写优先、读写轮询等特性,读写命令同时来,判断是否满足一直使得读优先、写优先或者读写轮询;
(7)axi_slave发送一帧、多帧数据给array,对帧格式的检测,如sof、eof、读写命令位等;
(8)刷新时间不能小于64ms,刷新周期可以动态调整,动态调整刷新周期的时候需要进行一次刷新,刷新过程中需要保证每一行都被刷新过,切换刷新周期的时候刷新的时序参数、周期选择信号发生变化;
(9)memory_control关闭的时候模块不能在工作;
整体框架: