Skip to content
Build and Run Simulation

Add Formal #48

Sign in to view logs

Add Formal

Add Formal #48

Triggered via pull request September 21, 2024 16:52
@Clo91eafClo91eaf
synchronize #18
try_formal
Status Failure
Total duration 1m 0s
Artifacts –

main.yml

on: pull_request
Build Simulators
36s
Build Simulators
Run VCS
34s
Run VCS
Run Verilator
31s
Run Verilator
Run Formal Verification
29s
Run Formal Verification
Fit to window
Zoom out
Zoom in

Annotations

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