Notes and things

Sometimes I write for things that aren't my job. If I do, I stick them here.

2025

  1. Proving SPI transfer speeds with formal verification a brief look at using sby and formal verification to prove how fast an SPI core can transfer data
  2. He made the best of this in memoriam

2023

  1. It was power sequencing tracking down hardware bugs is sometimes simpler than it feels