Commit 129bbac
committed
[dv] Use
This refactors `instr_vif` to use `rvfi_id_done` instead of
`instr_new_id` to track when a new instruction appears in the ID stage.
This interface and signal are only used to keep track of instruction
fetch errors by using the aforementioned valid signal and checking
whether the `rvfi_order_id` has changed. However, if an instruction
fetch error is consecutive to another error, `instr_new_id` will be
gated, which leads us to miss the `fetch_err` in the verification.
This will fix failing `riscv_mem_error_test`id_done to accurately track instruction monitor1 parent 246849e commit 129bbac
File tree
3 files changed
+6
-7
lines changed- dv/uvm/core_ibex
- common/ibex_cosim_agent
- env
- tb
3 files changed
+6
-7
lines changedLines changed: 3 additions & 4 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
268 | 268 | | |
269 | 269 | | |
270 | 270 | | |
271 | | - | |
272 | | - | |
| 271 | + | |
273 | 272 | | |
274 | 273 | | |
275 | 274 | | |
| |||
320 | 319 | | |
321 | 320 | | |
322 | 321 | | |
323 | | - | |
| 322 | + | |
324 | 323 | | |
325 | | - | |
| 324 | + | |
326 | 325 | | |
327 | 326 | | |
328 | 327 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
15 | 15 | | |
16 | 16 | | |
17 | 17 | | |
18 | | - | |
| 18 | + | |
19 | 19 | | |
20 | 20 | | |
21 | 21 | | |
| |||
30 | 30 | | |
31 | 31 | | |
32 | 32 | | |
33 | | - | |
| 33 | + | |
34 | 34 | | |
35 | 35 | | |
36 | 36 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
274 | 274 | | |
275 | 275 | | |
276 | 276 | | |
277 | | - | |
| 277 | + | |
278 | 278 | | |
279 | 279 | | |
280 | 280 | | |
| |||
0 commit comments