Generating evidence for certification of modern processors for use in safety-critical systems.