Skip to content

Validation Report: stk3800

Architecture: ARM Cortex-M4F.

1. Dynamic Simulation Validation

Status: ✅ Passed (simulation-ok)

2026-10-18T14:40:25.305751Z  INFO labwired_cli::commands::run: Starting LabWired Simulator
2026-10-18T14:40:25.306143Z  INFO labwired_core::system::builder: Loading chip descriptor: ../../chips/onboarding/stk3800.yaml
2026-10-18T14:40:25.307719Z  INFO labwired_cli::commands::run: Loading firmware: "/home/andrii/Projects/labwired-renode/core/tests/fixtures/uart-ok-thumbv7m.elf"
2026-10-18T14:40:25.307886Z  INFO labwired_loader: ELF Entry Point: 0x401
2026-10-18T14:40:25.308462Z  INFO labwired_cli::commands::run: Firmware Loaded Successfully!
2026-10-18T14:40:25.308517Z  INFO labwired_cli::commands::run: Entry Point: 0x401
2026-10-18T14:40:25.309587Z  INFO labwired_cli::commands::run: Starting Simulation (ARM Cortex-M)...
2026-10-18T14:40:25.309664Z  INFO labwired_cli::commands::run: Initial PC: 0x400, SP: 0x20020000
2026-10-18T14:40:25.309707Z  INFO labwired_cli: Running for 20000 steps...
2026-10-18T14:40:25.309818Z  INFO labwired_cli: Simulation Error at step 2: Memory access violation at 0x2001ffe0
2026-10-18T14:40:25.309879Z  INFO labwired_cli::report: Simulation loop finished.
2026-10-18T14:40:25.309909Z  INFO labwired_cli::report: Final PC: 0x45c
2026-10-18T14:40:25.309938Z  INFO labwired_cli::report: Total Instructions: 2
2026-10-18T14:40:25.309964Z  INFO labwired_cli::report: Total Cycles: 2
2026-10-18T14:40:25.309989Z  INFO labwired_cli::report: Average IPS: 1398.08

Hardware Coverage Report

Peripheral ID Base Address Type
led0 0x00000042 led
led1 0x00000043 led
button0 0x00000040 button
button1 0x00000041 button
i2c0 0x4000a000 efm32ggi2ccontroller
i2c1 0x4000a400 efm32ggi2ccontroller
timer0 0x40010000 efm32timer
timer1 0x40010400 efm32timer
timer2 0x40010800 efm32timer
timer3 0x40010c00 efm32timer
uart0 0x4000e000 efm32_uart
uart1 0x4000e400 efm32_uart
usart0 0x4000c000 efm32_uart
usart1 0x4000c400 efm32_uart
usart2 0x4000c800 efm32_uart
leUart0 0x40084000 leuart
leUart1 0x40084400 leuart
gpioPort 0x40006000 efmgpioport
bitband 0x42000000 bitbanding
cmuStatusOscillator 0x400c802c pythonperipheral
vcmpStatus 0x40000008 pythonperipheral

Total Peripherals: 21