Design and Verification of an open-source SFU model for GPGPUs