General-purpose, 32-bit floating-point (IEEE-754), multi-thread multi-processor core in Verilog RTL (four GPU cores)