i got the public keccak source and synthesized,not sure whether it can run properly,just evaluation of resources.
i put 24 core and set to 300MHz
so XUVU9P may run 7.2G ,160W power
how can you get 17G?
No, it is not enough.
I can make a 24 cores and 550 MHz with 0 WNS slack, probably 600 MHz. But it is less than 17G anyway. My ego is hurting.
it is max clock 725MHz in datasheet , x24 core =17.4G
but the power may be 386W
It is possible to get close to max clock of the trigger, may be 0.9*fmax.
The power should be about 180-200 W.