Skip to content
Build and Run Simulation

Add Formal #47

Sign in to view logs

Add Formal

Add Formal #47

Triggered via pull request September 21, 2024 15:22
@unlsycnunlsycn
synchronize #18
try_formal
Status Failure
Total duration 49s
Artifacts –

main.yml

on: pull_request
Build Simulators
9s
Build Simulators
Run VCS
30s
Run VCS
Run Verilator
5s
Run Verilator
Run Formal Verification
5s
Run Formal Verification
Fit to window
Zoom out
Zoom in

Annotations

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