Skip to content
Ibex OSS Formal CI

[rtl] Expose lockstep and shadow bus interface core signals to ibex_top #118

Sign in to view logs

[rtl] Expose lockstep and shadow bus interface core signals to ibex_top

[rtl] Expose lockstep and shadow bus interface core signals to ibex_top #118

Triggered via pull request February 6, 2026 19:32
@nasahlpanasahlpa
synchronize #2365
nasahlpa:upstream_expose_lockstep_signals
Status Success
Total duration 1h 20m 19s
Artifacts –

ci-formal.yml

on: pull_request
Run the Open-Source FV flow
1h 20m
Run the Open-Source FV flow
Fit to window
Zoom out
Zoom in