Skip to content
Build and Run Simulation

Add Formal #51

Sign in to view logs

Add Formal

Add Formal #51

Triggered via pull request September 21, 2024 17:28
@unlsycnunlsycn
synchronize #18
try_formal
Status Failure
Total duration 50s
Artifacts –

main.yml

on: pull_request
Build Simulators
10s
Build Simulators
Run VCS
8s
Run VCS
Run Verilator
7s
Run Verilator
Run Formal Verification
30s
Run Formal Verification
Fit to window
Zoom out
Zoom in

Annotations

1 error
Run Formal Verification
Process completed with exit code 1.