Hi,
no, that's not normal. With the delivered bitstream, they stay quite cool. Of course depending on your bitstream, they can become hot, and need some cooling.
Which chips get hot?
What is the current consumption?
Are all voltages in normal range?
best regards
Thorsten Trenz