Skip to content
Build and Run Simulation

Add Formal #44

Sign in to view logs

Add Formal

Add Formal #44

Triggered via pull request September 21, 2024 13:19
@Clo91eafClo91eaf
synchronize #18
try_formal
Status Success
Total duration 3m 24s
Artifacts –

main.yml

on: pull_request
Build Simulators
3m 7s
Build Simulators
Run VCS
3m 5s
Run VCS
Run Verilator
2m 53s
Run Verilator
Fit to window
Zoom out
Zoom in