Guppy: A GPU-like soft-core processor. - Abdullah Al-Dujaili; Florian Deragisch; Andrei Hagiescu; Weng-Fai Wong (FPT, 2012)