Formal verification

bufreg2: Split up dat_en to cnt_en and shift_en #144

Sign in to view logs

Triggered via push March 1, 2025 22:15

olofk

main

Status Success

Total duration 5m 50s

Artifacts –

formal.yml

on: push

Run RISCV-formal verification suite