Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
[rv_dm,dv] Improve modelling of system bringup in ndmreset sequence
This is spurred by a hole in conditional coverage where the following condition doesn't see the state where reset_req_en is not asserted. assign ndmreset_ack = ndmreset_pending_q && lc_rst_pending_q && !ndmreset_req && !lc_rst_asserted && reset_req_en; Thinking about it, we'd expect that to happen! So make it happen. Signed-off-by: Rupert Swarbrick <rswarbrick@lowrisc.org>
- Loading branch information