Skip to content
formal

[WIP] rtl: Model the power distributing using USE_POWER_PINS define #78

Sign in to view logs

[WIP] rtl: Model the power distributing using USE_POWER_PINS define

[WIP] rtl: Model the power distributing using USE_POWER_PINS define #78

Triggered via push October 15, 2023 19:54
@smunautsmunaut
pushed 4711d66
dev
Status Success
Total duration 6m 53s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

formal.yaml

on: push
formal
6m 42s
formal
Fit to window
Zoom out
Zoom in