Skip to content
Build and Run Simulation

Add Formal #36

Sign in to view logs

Add Formal

Add Formal #36

Triggered via pull request September 19, 2024 16:17
@Clo91eafClo91eaf
synchronize #18
try_formal
Status Success
Total duration 45s
Artifacts –

main.yml

on: pull_request
Build Simulators
12s
Build Simulators
Run VCS
21s
Run VCS
Run Verilator
12s
Run Verilator
Fit to window
Zoom out
Zoom in