Add Formal #54
main.yml
on: pull_request
Build Simulators
30s
Run VCS
32s
Run Verilator
22s
Run Formal Verification
42s