search

openrisc / mor1kx

mor1kx - an OpenRISC 1000 processor IP core
Other
490 stars 146 forks source link

icache: Don't allow invalidate on reset or error #129

Closed stffrdhrn closed 3 years ago

stffrdhrn commented 3 years ago

Issue: #127

The reset and error cases override the state to IDLE, we should check invalidate after this to avoid setting the spr_bus_ack_o when we are not going to invalidate.

This was detected via formal verification.