the socfpga experiment on sockit