It's actually quite big. We are synthesizing a 64 bit core, so 32 GPRS x 64 bit. To make matters worse we have instructions that take 3 inputs, so our register file is 3R1W