Yes, being IP core there is no such thing as a G12 chip. The board has FPGA chip under the display (they have been designed so that a few different sized FPGAs can be used with the same board design), which is programmed with the USB cable (the other being power) on boot, be it G12, G34, G40 or...