Today I was able to bring-up the Logic-X ADC/DAC boards and get the demo firmware and software running.
Said software was platform-specific for Windows, but I was able to install a Windows 11 VM using UTM for MacOS. I had a little trouble getting the JTAG drivers installed and then getting the USB and network interfaces to show up, but now it's all solved and it wasn't that difficult, relatively speaking.
I've used the pre-built artifacts provided in the BSP, so the next step is using a home-built bitstream and executable. I've made some progress with the bitstream but for some reason it's failing timing, so I'll continue to look into this next week. Then we'll be able to incorporate the filter and run some tests with real signals! In parallel I'll also try to run it on the RedPitayas via PYNQ.
By the way, the digitizer board runs HOT, so we're gonna need a cooling solution --- meanwhile, I'll try to get some desk fans to force some air through.
Attached are the program log as well as a plot of the ADC data read out by the demo routine.