Skip to content
Formal verification

Fix CSR write detection in debug module #137

Sign in to view logs

Fix CSR write detection in debug module

Fix CSR write detection in debug module #137

Triggered via push November 19, 2024 12:20
@olofkolofk
pushed 1e4ea05
main
Status Success
Total duration 5m 26s
Artifacts –

formal.yml

on: push
Run RISCV-formal verification suite
5m 17s
Run RISCV-formal verification suite
Fit to window
Zoom out
Zoom in