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

CSR inst fcov

!376 · created Nov 17, 2020 by Mike Thompson
- Merged
- 2
updated Dec 02, 2020
Updates for coverage of mhpmevents4..31 and mhpmcounter(h)4..31

!386 · created Nov 18, 2020 by Mike Thompson
DO NOT MERGE
- Merged
- 7
updated Dec 02, 2020
Crosses

!402 · created Nov 24, 2020 by Mike Thompson
- Merged
- 2
updated Dec 02, 2020
Compliance Signatures 2 of 2 checklist items completed

!406 · created Nov 26, 2020 by Mike Thompson
- Merged
- 5
updated Dec 02, 2020
Clone RTL from cv32e40p_v1.0.0

!414 · created Dec 01, 2020 by Mike Thompson
- Merged
- 8
updated Dec 02, 2020
isa_fcov_holes requires COREV toolchain

!416 · created Dec 02, 2020 by Mike Thompson
- Merged
- 2
updated Dec 02, 2020
issue 409

!415 · created Dec 01, 2020 by Eclipse Webmaster
- Merged
- 2
- Approved
updated Dec 01, 2020
Load store rs1 eq 0

!396 · created Nov 23, 2020 by Mike Thompson
- Merged
- 7
updated Nov 30, 2020
fix bug with xori not pseudo-op converstion for covg

!392 · created Nov 19, 2020 by Eclipse Webmaster
- Merged
- 2
- Approved
updated Nov 29, 2020
add more manul vrefines

!391 · created Nov 19, 2020 by Eclipse Webmaster
- Merged
- 1
updated Nov 29, 2020
add more expr waivers

!384 · created Nov 18, 2020 by Eclipse Webmaster
- Merged
- 1
- Approved
updated Nov 29, 2020
add branch_zero test to close branch coverage with zero offsets

!383 · created Nov 18, 2020 by Eclipse Webmaster
- Merged
- 1
- Approved
updated Nov 29, 2020
add ability to define CFLAGS on test.yaml command line

!382 · created Nov 17, 2020 by Eclipse Webmaster
- Merged
- 1
- Approved
updated Nov 29, 2020
add a random long stall test to catch multiply load-store FSM interactions in coverage

!381 · created Nov 17, 2020 by Eclipse Webmaster
- Merged
- 1
- Approved
updated Nov 29, 2020
coverage closure fixes

!379 · created Nov 17, 2020 by Eclipse Webmaster
- Merged
- 2
- Approved
updated Nov 29, 2020
add debug_if to hierarchies to refine in coverage

!377 · created Nov 17, 2020 by Eclipse Webmaster
- Merged
- 1
updated Nov 29, 2020
Strichmo/pr/vref interrupt covg

!375 · created Nov 16, 2020 by Eclipse Webmaster
- Merged
- 1
updated Nov 29, 2020
add functional coverage for compressed shift hint instructions with zero immediates

!374 · created Nov 16, 2020 by Eclipse Webmaster
- Merged
- 1
- Approved
updated Nov 29, 2020
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