My company wants to have C167-Software certified after IEC 61508 (SIL 2). In this standard it is required to test CPU components and registers as opcode/instruction decoder, SFR's and all CPU registers. Is there any possibility of checking those components without influence to the rest of the functionality? Are there software modules for testing these components, which I can bind into my application software?