Skip to content
Formal verification

support for W=4 #57

Sign in to view logs

support for W=4

support for W=4 #57

Triggered via push October 31, 2023 14:53
@olofkolofk
pushed 46a820e
main
Status Success
Total duration 8m 35s
Artifacts –

formal.yml

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