Graphical Processing Units (GPUs) are particularly problematiccomponents in embedded systems, especially when used for safetycritical systems where design verification and certification isrequired.