Notes and things

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

2025

  1. The implication operators in PSL and SVA What are the three implication operators in PSL/SVA, and what do they all mean?
  2. 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
  3. He made the best of this In memoriam

2023

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