github-mirrors/ibex
1
0
Fork 0
mirror of https://github.com/lowRISC/ibex.git synced 2025-04-22 21:07:34 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions

[rtl] Fix MaxOutstandingDSideAccessesCorrect assertion

Browse source
This commit is contained in:
Greg Chadwick 2022-08-11 10:18:48 +01:00 • committed by Greg Chadwick
parent 4acc27b7ab
commit 8282a0d244
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
rtl/ibex_top.sv
View file

@ -1104,7 +1104,7 @@ module ibex_top import ibex_pkg::*; #(
// the new request.
`ASSERT(MaxOutstandingDSideAccessesCorrect,
data_req_o |->
~pending_dside_accesses_d[MaxOutstandingDSideAccesses-1].valid | data_rvalid_i)
~pending_dside_accesses_q[MaxOutstandingDSideAccesses-1].valid | data_rvalid_i)
// Should only see a request response if we're expecting one
`ASSERT(PendingAccessTrackingCorrect, data_rvalid_i |-> pending_dside_accesses_q[0])