• Markdown demo

    A markdown demo page
  • Weather and air quality station: Part 2

    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.
  • Weather and air quality station: Part 1

    Design of a battery powered device with a nice e-ink display used to display time, weather forecast and air quality. In this post I outline a list of key features, a rough development outline, an initial bill of materials and an estimate of power consumption. I also evaluate feasibility to ensure the embedded device can be built within reasonable price and that it can be battery powered.
  • SystemVerilog Assertions cheat sheet

    A quick overview of the most used SVA constructs for simulation and formal verification, along with usage examples.
  • 1