search

chipsalliance / Cores-VeeR-EL2

VeeR EL2 Core
https://chipsalliance.github.io/Cores-VeeR-EL2/html/main/docs_rendered/html/index.html
Apache License 2.0
238 stars 70 forks source link

Use pre-generated RISCV-DV programs as fallback in CI #142

Closed mkurc-ant closed 7 months ago

mkurc-ant commented 7 months ago

This PR adds pre-generated RISCV-DV test programs as a fallback in case of a failure during running their generation with proprietary tools in CI. The reasoning behind is that the programs are random therefore equally good no matter how many times re-generated.

github-actions[bot] commented 7 months ago

Links to coverage and verification reports for this PR (#142) are available at https://chipsalliance.github.io/Cores-VeeR-EL2/

github-actions[bot] commented 7 months ago

Links to coverage and verification reports for this PR (#142) are available at https://chipsalliance.github.io/Cores-VeeR-EL2/

github-actions[bot] commented 7 months ago

Links to coverage and verification reports for this PR (#142) are available at https://chipsalliance.github.io/Cores-VeeR-EL2/