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

add more covg refinements

!368 · created Nov 13, 2020 by Eclipse Webmaster
- Merged
- 1
updated Nov 29, 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
point to latest core with generate block naming fixes

!360 · created Nov 11, 2020 by Eclipse Webmaster
- Merged
- 1
- Approved
updated Nov 29, 2020
more ISA functional coverage fixes

!293 · created Oct 19, 2020 by Eclipse Webmaster
- Merged
- 1
- Approved
updated Nov 29, 2020
set licqueue for Xcelium by default for running tests and corev-dv

!291 · created Oct 19, 2020 by Eclipse Webmaster
- Merged
- 1
- Approved
updated Nov 29, 2020
enable random illegal instruction generation in core-dv

!289 · created Oct 16, 2020 by Eclipse Webmaster
- Merged
- 2
- Approved
updated Nov 29, 2020
function coverage fixes and updates

!287 · created Oct 15, 2020 by Eclipse Webmaster
- Merged
- 2
- Approved
updated Nov 29, 2020
vRefine auto file updated to latest RTL

!281 · created Oct 08, 2020 by Eclipse Webmaster
- Merged
- 2
- Approved
updated Nov 29, 2020
integrate random stalls in RAM interfaces

!279 · created Oct 07, 2020 by Eclipse Webmaster
- Merged
- 8
- Approved
updated Nov 29, 2020
remove xrun elab flags from comp_corev-dv target

!275 · created Oct 06, 2020 by Eclipse Webmaster
- Merged
- 1
- Approved
updated Nov 29, 2020
fix stray semicolon forcing mtvec_addr into ovpsim.ic

!274 · created Oct 06, 2020 by Eclipse Webmaster
- Merged
- 1
- Approved
updated Nov 29, 2020
fix default.yaml

!273 · created Oct 06, 2020 by Eclipse Webmaster
- Merged
- 1
- Approved
updated Nov 29, 2020
update interrupt assertions with feedback from formal verification

!270 · created Oct 03, 2020 by Eclipse Webmaster
- Merged
- 4
- Approved
updated Nov 29, 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
more coverage fixes

!356 · created Nov 10, 2020 by Eclipse Webmaster
- Merged
- 1
- Approved
updated Nov 29, 2020
shorten some tests

!350 · created Nov 10, 2020 by Eclipse Webmaster
- Merged
- 1
- Approved
updated Nov 29, 2020
many interrupt functional coverage fixes

!348 · created Nov 10, 2020 by Eclipse Webmaster
- Merged
- 2
- Approved
updated Nov 29, 2020
fix debug cov assert module port warnings

!343 · created Nov 06, 2020 by Eclipse Webmaster
- Merged
- 2
- Approved
updated Nov 29, 2020