@whitequark I don't have a ton of experience with migen or Amaranth, but I've really enjoyed reading about it and Litex. I've been looking at other HDLs and I found spade. I was curious if you've heard of it before and your thoughts: https://spade-lang.org/