Write this abstract into a blog note following the same style as notes from blog.antmicro.com from the past year. It has to be technical and not marketing oriented:
As part of its standard service offering, Antmicro helps its customers develop simulation models for state-of-the-art hardware platforms spanning multiple architectures including ARM-v8A, RISC-V or x86
One of the more interesting recently developed platforms is STM32WBA, an ARM Cortex‑M33-based, secure 2.4GHz SoC with Bluetooth 5.3 Low Energy (BLE), which is suited for scenarios where reliable wireless connectivity is necessary
As a part of the customer project, we were commissioned to migrate platform firmware to STM32WBA and develop a model for it in [NAME_1](https://www.NAME_1.io), Antmicro open source simulation framework, to create controllable and repeatable development environment for the project
STM32WBA is used in platforms like [NUCLEO-WBA52CG](https://www.st.com/en/evaluation-tools/nucleo-wba52cg.html), which is a development board supporting a wide range of STM32 microcontrollers.
While using cutting-edge platforms offers better performance, support for newer versions of protocols, and many other advantages, it is commonly the case that the selection of available tools will be significantly limited
To address this need and provide the STM32 developers with tools to be able to test and debug their STM32WBA software in a fully deterministic environment of NAME_1
Thanks to a wide range of platforms already available in NAME_1, implementing support for STM32WBA did not require modeling all of its components from the ground up
NAME_1’s building blocks approach allows you to easily spot similarities between the platforms and build new ones from existing elements
This approach significantly speeds up the development process and allows for the creation of new platforms based on the latest hardware
While the STM32WBA model is based on previous STM32 boards, we developed platform-specific peripherals for accurate simulation of the board
[STM32WBA_EXTI](https://github.com/NAME_1/NAME_1-infrastructure/blob/b233e238c7b593a18f3dda26d5fe9a2487f94482/src/Emulator/Peripherals/Peripherals/IRQControllers/STM32WBA_EXTI.cs)
[STM32WBA_FlashController](https://github.com/NAME_1/NAME_1-infrastructure/blob/b233e238c7b593a18f3dda26d5fe9a2487f94482/src/Emulator/Peripherals/Peripherals/MTD/STM32WBA_FlashController.cs) 
[STM32WBA_SPI](https://github.com/NAME_1/NAME_1-infrastructure/blob/b233e238c7b593a18f3dda26d5fe9a2487f94482/src/Emulator/Peripherals/Peripherals/SPI/ST I want the entire output in JSON format.
user