Skip to content
Ibex OSS Formal CI

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

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 #122

Triggered via pull request February 10, 2026 12:17
@nasahlpanasahlpa
synchronize #2365
nasahlpa:upstream_expose_lockstep_signals
Status Success
Total duration 1h 19m 39s
Artifacts –

ci-formal.yml

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