Skip to content
Formal verification

Fix verilator_waiver.vlt #145

Sign in to view logs

Fix verilator_waiver.vlt

Fix verilator_waiver.vlt #145

Triggered via push March 1, 2025 22:19
@olofkolofk
pushed 9e73e11
main
Status Success
Total duration 5m 43s
Artifacts –

formal.yml

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