Merge requests · OpenHW Group / backup-20241120 / core-v-verif

fix jalr_cg, was missing the zero bin

!370 · created Nov 13, 2020 by Eclipse Webmaster
- Merged
- 10
- Approved
updated Nov 29, 2020
remove FSM arcs proven unhittable in JG formal

!369 · created Nov 13, 2020 by Eclipse Webmaster
- Merged
- 1
- Approved
updated Nov 29, 2020
add more covg refinements

!368 · created Nov 13, 2020 by Eclipse Webmaster
- Merged
- 1
updated Nov 29, 2020
Update to fill coverage holes

!367 · created Nov 13, 2020 by Eclipse Webmaster
- Merged
- 3
- Approved
updated Nov 13, 2020
Move to latest RTL

!365 · created Nov 12, 2020 by Eclipse Webmaster
- Merged
- 2
- Approved
updated Nov 12, 2020
disable stalls for directed trigger debug test

!364 · created Nov 12, 2020 by Eclipse Webmaster
- Merged
- 2
- Approved
updated Nov 29, 2020
regenerate auto UNR vRefine for gen blocks

!363 · created Nov 11, 2020 by Eclipse Webmaster
- Merged
- 1
updated Nov 29, 2020
add OBI assertions

!362 · created Nov 11, 2020 by Eclipse Webmaster
- Merged
- 1
- Approved
updated Nov 29, 2020
fix in vcs.mk for riscv-dv

!361 · created Nov 11, 2020 by Eclipse Webmaster
- Merged
- 3
- Approved
updated Nov 11, 2020
point to latest core with generate block naming fixes

!360 · created Nov 11, 2020 by Eclipse Webmaster
- Merged
- 1
- Approved
updated Nov 29, 2020
Use state machine in step & compare instead of asynchronous always blocks

!359 · created Nov 11, 2020 by Eclipse Webmaster
- Merged
- 2
- Approved
updated Nov 13, 2020
fixes corner cases in TB with irq wakeup and debug_req wakeup from wfi

!358 · created Nov 11, 2020 by Eclipse Webmaster
- Merged
- 2
- Approved
updated Nov 29, 2020
Add illegal instruction test to regression

!357 · created Nov 11, 2020 by Mike Thompson
- Merged
- 4
updated Nov 12, 2020
more coverage fixes

!356 · created Nov 10, 2020 by Eclipse Webmaster
- Merged
- 1
- Approved
updated Nov 29, 2020
Use state machine in step & compare instead of asynchronous always blocks

!355 · created Nov 10, 2020 by Eclipse Webmaster
- Closed
- 11
updated Nov 13, 2020
define default SHELL interpreter

!354 · created Nov 10, 2020 by Eclipse Webmaster
- Merged
- 1
- Approved
updated Nov 10, 2020
Add defined behavior for MRET in DEBUG mode

!352 · created Nov 10, 2020 by Eclipse Webmaster
- Merged
- 1
- Approved
updated Nov 10, 2020
Filling coverage hole for illegal_insn + debug_req

!351 · created Nov 10, 2020 by Eclipse Webmaster
- Merged
- 5
- Approved
updated Nov 11, 2020
shorten some tests

!350 · created Nov 10, 2020 by Eclipse Webmaster
- Merged
- 1
- Approved
updated Nov 29, 2020
Point to latest RTL (6c858bc)

!349 · created Nov 10, 2020 by Mike Thompson
- Merged
- 2
updated Nov 10, 2020