All XTFA firmware is in verilog, all verilog files are in the maxplus subdirectory.
If you need more information please contact the board designer (see previous page).