Hi! @gcjr
I'm not the one who designed the system so not 100 percent sure,
but I think Arduino and fpga are connected by default serial because the code I upload on the arduino is opening default serial (by just calling Serial.begin(baudrate).
If you mean serial 1 = defult serial, then yes.
Does this answer your question?