~/talk

Spade: An HDL Inspired By Modern Software Languages

Talkat Latch-Up 2024 · 2024-04-19..04-21· [compilers-and-language-design]
slides:none on file

Spade is an open source EUPL‑1.2 HDL that adds native pipelining (declare pipeline depth, use explicit r registers; compiler retimes and errors when values are used too early, example latency two), a rust-inspired type system and affine‑typed ports to prevent misuse, and a package manager/build tool swim with plugins that fetch cores and chain yosys/nextpnr to ecp5 flows. A two‑lane CSI‑2 camera parser, HDMI output and a Fomu upload path are built; camera pipeline works (monitor rotation aside) and swim can produce a blinking Fomu bitstream.

AI-written summary · about

  1. 0:00Introduction
  2. 0:37Modern Software Languages
  3. 1:25Stealing from Software
  4. 2:48Pipelines
  5. 6:13Camera Demo
  6. 6:58Basic Ada
  7. 10:29Tools
  8. 12:20Conclusion
  9. 14:11Questions
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.