In the second part of the series, I explore how to develop my design using RISC-V on the Raspberry Pi Pico 2 W. I take a deep dive into the toolchain setup, including the SDK installation, building a GNU cross compiler, and configuring OpenOCD. I document my findings along the way. The goal for Part 2 is to bring up UART communication and start blinking a few LEDs.
I haven’t done any embedded design for quite a while, probably a couple of years. Recently, I felt a surge of creative energy and decided to explore what is currently available in the world of microcontrollers, peripherals, debugging tools, and other embedded essentials. And what better way to catch up than by actually building something fun?
In this post I give a quick overview of the most used SVA constructs for simulation and formal verification, along with usage examples.