github-mirrors/ibex
1
0
Fork 0
mirror of https://github.com/lowRISC/ibex.git synced 2025-04-23 13:27:10 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions

Fix assertion in ibex_icache_core_protocol_checker

Browse source 
This assertion is supposed to say "the core may not request more data
from the cache when there's no valid address".

Unfortunately, I'd represented "requesting more data" by req being
high, rather than ready being high. This is wrong: req is a signal
saying "the core isn't currently asleep". ready (of a ready/valid
pair) is the one I wanted.
This commit is contained in:
Rupert Swarbrick 2020-05-11 16:24:18 +01:00 • committed by Rupert Swarbrick
parent 4814b6776f
commit d51d970089
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
dv/uvm/icache/dv/ibex_icache_core_agent/ibex_icache_core_protocol_checker.sv
View file

@ -88,7 +88,7 @@ interface ibex_icache_core_protocol_checker (
end
end
`ASSERT(NoFetchWithoutAddr, req |-> (branch | has_addr), clk, !rst_n)
`ASSERT(NoFetchWithoutAddr, ready |-> (branch | has_addr), clk, !rst_n)
// The err_plus2 signal means "this error was caused by the upper two bytes" and is only read when
// both valid and err are true. It should never be set for compressed instructions (for them, the