Maybe I missed it but which FPGA did they use for this? I’m interested in learning FPGAs but there doesn’t seem to be a lot of freewheel documentation or software out there, it’s mostly vendor locked. I’m spoiled by the availability of STM32, AT, TI, etc MCUs and how easy it is to kludge things together.