Skip to content
Formal verification

Make serv_alu.v synthesizable with Vivado #60

Sign in to view logs

Make serv_alu.v synthesizable with Vivado

Make serv_alu.v synthesizable with Vivado #60

Triggered via push November 16, 2023 13:41
@olofkolofk
pushed 7a6d5d3
main
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