Integration Verification of Safety Components in Automotive Chip Modules