chipsalliance / Cores-VeeR-EL2

VeeR EL2 Core
https://chipsalliance.github.io/Cores-VeeR-EL2/html/
Apache License 2.0
247 stars 74 forks source link

Microarchitectural tests for PIC #116

Closed mkurc-ant closed 1 year ago

mkurc-ant commented 1 year ago

This PR adds microarchitectural tests for the PIC. The tests are written in Python using the pyvum framework. This makes them architecturally compatible with UVM.

The tests are run in the CI by the added test-uarch.yml workflow. Coverage data is collected and aggregated with data obtained from existing tests.

github-actions[bot] commented 1 year ago

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

github-actions[bot] commented 1 year ago

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

github-actions[bot] commented 1 year ago

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

github-actions[bot] commented 1 year ago

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

tmichalak commented 1 year ago

LGTM