Validation Report: stm32f4_discovery-kit

Architecture: ARM Cortex-M.

1. Dynamic Simulation Validation

Status: ✅ Passed (simulation-ok)

[2m2026-10-18T14:40:27.477564Z[0m [32m INFO[0m [2mlabwired_cli::commands::run[0m[2m:[0m Starting LabWired Simulator
[2m2026-10-18T14:40:27.482556Z[0m [32m INFO[0m [2mlabwired_core::system::builder[0m[2m:[0m Loading chip descriptor: ../../chips/onboarding/stm32f4_discovery-kit.yaml
[2m2026-10-18T14:40:27.496711Z[0m [32m INFO[0m [2mlabwired_cli::commands::run[0m[2m:[0m Loading firmware: "/home/andrii/Projects/labwired-renode/core/tests/fixtures/uart-ok-thumbv7m.elf"
[2m2026-10-18T14:40:27.496808Z[0m [32m INFO[0m [2mlabwired_loader[0m[2m:[0m ELF Entry Point: 0x401
[2m2026-10-18T14:40:27.496823Z[0m [32m INFO[0m [2mlabwired_cli::commands::run[0m[2m:[0m Firmware Loaded Successfully!
[2m2026-10-18T14:40:27.496827Z[0m [32m INFO[0m [2mlabwired_cli::commands::run[0m[2m:[0m Entry Point: 0x401
[2m2026-10-18T14:40:27.498624Z[0m [32m INFO[0m [2mlabwired_cli::commands::run[0m[2m:[0m Starting Simulation (ARM Cortex-M)...
[2m2026-10-18T14:40:27.498643Z[0m [32m INFO[0m [2mlabwired_cli::commands::run[0m[2m:[0m Initial PC: 0x400, SP: 0x20020000
[2m2026-10-18T14:40:27.498650Z[0m [32m INFO[0m [2mlabwired_cli[0m[2m:[0m Running for 20000 steps...
[2m2026-10-18T14:40:27.512943Z[0m [32m INFO[0m [2mlabwired_cli[0m[2m:[0m Progress: 10000 steps, current IPS: 620825.41
[2m2026-10-18T14:40:27.520266Z[0m [32m INFO[0m [2mlabwired_cli::report[0m[2m:[0m Simulation loop finished.
[2m2026-10-18T14:40:27.520287Z[0m [32m INFO[0m [2mlabwired_cli::report[0m[2m:[0m Final PC: 0x466
[2m2026-10-18T14:40:27.520292Z[0m [32m INFO[0m [2mlabwired_cli::report[0m[2m:[0m Total Instructions: 19999
[2m2026-10-18T14:40:27.520296Z[0m [32m INFO[0m [2mlabwired_cli::report[0m[2m:[0m Total Cycles: 20002
[2m2026-10-18T14:40:27.520300Z[0m [32m INFO[0m [2mlabwired_cli::report[0m[2m:[0m Average IPS: 852152.03

Hardware Coverage Report

Peripheral ID	Base Address	Type
`usart1`	`0x40011000`	`stm32_uart`
`usart2`	`0x40004400`	`stm32_uart`
`usart3`	`0x40004800`	`stm32_uart`
`uart4`	`0x40004c00`	`stm32_uart`
`uart5`	`0x40005000`	`stm32_uart`
`can1`	`0x40006400`	`stmcan`
`can2`	`0x40006800`	`stmcan`
`pwr`	`0x40007000`	`stm32_pwr`
`crc`	`0x40023000`	`stm32_crc`
`gpioPortA`	`0x40020000`	`stm32_gpioport`
`gpioPortB`	`0x40020400`	`stm32_gpioport`
`gpioPortC`	`0x40020800`	`stm32_gpioport`
`gpioPortD`	`0x40020c00`	`stm32_gpioport`
`gpioPortE`	`0x40021000`	`stm32_gpioport`
`gpioPortF`	`0x40021400`	`stm32_gpioport`
`gpioPortG`	`0x40021800`	`stm32_gpioport`
`gpioPortH`	`0x40021c00`	`stm32_gpioport`
`gpioPortI`	`0x40022000`	`stm32_gpioport`
`gpioPortJ`	`0x40022400`	`stm32_gpioport`
`gpioPortK`	`0x40022800`	`stm32_gpioport`
`ethernet`	`0x40028000`	`synopsysethernetmac`
`spi1`	`0x40013000`	`stm32spi`
`spi2`	`0x40003800`	`stm32spi`
`spi3`	`0x40003c00`	`stm32spi`
`i2c1`	`0x40005400`	`stm32f1_i2c`
`i2c2`	`0x40005800`	`stm32f1_i2c`
`i2c3`	`0x40005c00`	`stm32f1_i2c`
`dma1`	`0x40026000`	`stm32dma`
`dma2`	`0x40026400`	`stm32dma`
`rng`	`0x50060800`	`stm32_rng`
`iwdg`	`0x40003000`	`stm32_independentwatchdog`
`rtc`	`0x40002800`	`stm32f4_rtc`
`rcc`	`0x40023800`	`stm32f4_rcc`
`timer1`	`0x40010000`	`stm32_timer`
`timer2`	`0x40000000`	`stm32_timer`
`timer3`	`0x40000400`	`stm32_timer`
`timer4`	`0x40000800`	`stm32_timer`
`timer5`	`0x40000c00`	`stm32_timer`
`timer6`	`0x40001000`	`stm32_timer`
`timer7`	`0x40001400`	`stm32_timer`
`timer8`	`0x40010400`	`stm32_timer`
`timer9`	`0x40014000`	`stm32_timer`
`timer10`	`0x40014400`	`stm32_timer`
`timer11`	`0x40014800`	`stm32_timer`
`timer12`	`0x40001800`	`stm32_timer`
`timer13`	`0x40001c00`	`stm32_timer`
`timer14`	`0x40002000`	`stm32_timer`
`bitbandPeripherals`	`0x42000000`	`bitbanding`
`bitbandSram`	`0x22000000`	`bitbanding`
`phy`	`0x00000000`	`ethernetphysicallayer`
`phy1`	`0x00000001`	`ethernetphysicallayer`

Total Peripherals: 51