Skip to content
Formal verification

Used named generate statements #59

Sign in to view logs

Used named generate statements

Used named generate statements #59

Triggered via push November 16, 2023 13:36
@olofkolofk
pushed 64eeedc
namedgen
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