Skip to content
Formal verification

alu with support for W=4 #54

Sign in to view logs

alu with support for W=4

alu with support for W=4 #54

Triggered via push October 31, 2023 11:42
@olofkolofk
pushed 2e23b53
main
Status Success
Total duration 8m 50s
Artifacts –

formal.yml

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