bslathi19/taxi-bsl
1
0
Fork 0
Code Issues Pull Requests Actions 1 Packages Projects Releases Wiki Activity

axis: Add assertions to FIFO modules for USER_EN settings

Browse Source 
Signed-off-by: Alex Forencich <alex@alexforencich.com>
This commit is contained in:
Alex Forencich
2025-11-06 17:58:33 -08:00
parent 9009880073
commit efc907e4c9
2 changed files with 13 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
src/axis/rtl/taxi_axis_async_fifo.sv
View File

@@ -142,6 +142,12 @@ if (m_axis.DATA_W != DATA_W)
if (KEEP_EN && m_axis.KEEP_W != KEEP_W) if (KEEP_EN && m_axis.KEEP_W != KEEP_W)
$fatal(0, "Error: Interface KEEP_W parameter mismatch (instance %m)"); $fatal(0, "Error: Interface KEEP_W parameter mismatch (instance %m)");
if (DROP_BAD_FRAME && !s_axis.USER_EN)
$fatal(0, "Error: DROP_BAD_FRAME set requires s_axis.USER_EN (instance %m)");
if (MARK_WHEN_FULL && !m_axis.USER_EN)
$fatal(0, "Error: MARK_WHEN_FULL set requires m_axis.USER_EN (instance %m)");
localparam KEEP_OFFSET = DATA_W; localparam KEEP_OFFSET = DATA_W;
localparam STRB_OFFSET = KEEP_OFFSET + (KEEP_EN ? KEEP_W : 0); localparam STRB_OFFSET = KEEP_OFFSET + (KEEP_EN ? KEEP_W : 0);
localparam LAST_OFFSET = STRB_OFFSET + (STRB_EN ? KEEP_W : 0); localparam LAST_OFFSET = STRB_OFFSET + (STRB_EN ? KEEP_W : 0);

8
src/axis/rtl/taxi_axis_fifo.sv
View File

@@ -130,10 +130,16 @@ if (m_axis.DATA_W != DATA_W)
if (KEEP_EN && m_axis.KEEP_W != KEEP_W) if (KEEP_EN && m_axis.KEEP_W != KEEP_W)
$fatal(0, "Error: Interface KEEP_W parameter mismatch (instance %m)"); $fatal(0, "Error: Interface KEEP_W parameter mismatch (instance %m)");
if (DROP_BAD_FRAME && !s_axis.USER_EN)
$fatal(0, "Error: DROP_BAD_FRAME set requires s_axis.USER_EN (instance %m)");
if (MARK_WHEN_FULL && !m_axis.USER_EN)
$fatal(0, "Error: MARK_WHEN_FULL set requires m_axis.USER_EN (instance %m)");
localparam KEEP_OFFSET = DATA_W; localparam KEEP_OFFSET = DATA_W;
localparam STRB_OFFSET = KEEP_OFFSET + (KEEP_EN ? KEEP_W : 0); localparam STRB_OFFSET = KEEP_OFFSET + (KEEP_EN ? KEEP_W : 0);
localparam LAST_OFFSET = STRB_OFFSET + (STRB_EN ? KEEP_W : 0); localparam LAST_OFFSET = STRB_OFFSET + (STRB_EN ? KEEP_W : 0);
localparam ID_OFFSET = LAST_OFFSET + (LAST_EN ? 1 : 0); localparam ID_OFFSET = LAST_OFFSET + (LAST_EN ? 1 : 0);
localparam DEST_OFFSET = ID_OFFSET + (ID_EN ? ID_W : 0); localparam DEST_OFFSET = ID_OFFSET + (ID_EN ? ID_W : 0);
localparam USER_OFFSET = DEST_OFFSET + (DEST_EN ? DEST_W : 0); localparam USER_OFFSET = DEST_OFFSET + (DEST_EN ? DEST_W : 0);
localparam WIDTH = USER_OFFSET + (USER_EN ? USER_W : 0); localparam WIDTH = USER_OFFSET + (USER_EN ? USER_W : 0);