debuginfod is a protocol / server which takes basically locals debug symbols and then published them as a HTTP server
So it would be good if the FPGA tooling was build with "split debug symbols" and then the split debug symbols are saved somewhere and then published in a debuginfod compatible form
https://developers.redhat.com/blog/2019/10/14/introducing-debuginfod-the-elfutils-debuginfo-server/
From the Symbiflow IRC room: