Verifying the functionality of an integrated circuit

A data processing system comprising:

• a memory;
• and
• a processor in communications with the memory, wherein the data processing system is configured to perform a method, said method comprising:
• verifying functionality of the integrated circuit to properly recognize the erroneous data packet as being erroneous, the verifying comprising:
• initially obtaining, by another component separate from the integrated circuit, a data packet and evaluating, by the another component, the data packet to identify whether the data packet is an erroneous data packet, the data packet to be processed by the integrated circuit to thereby generate a data processing result;
• based on the data packet being identified by the another component as an erroneous data packet, modifying, by the another component, the erroneous data packet to obtain a modified erroneous data packet, and providing the modified erroneous data packet to the integrated circuit, wherein the modifying provides the erroneous data packet with a modification;
• based on the integrated circuit processing the modified erroneous data packet to generate the data processing result, receiving from the integrated circuit the data processing result;
• identifying whether the integrated circuit properly recognized the erroneous data packet as being erroneous by checking whether the data processing result comprises the modification;
• and
• signaling a malfunction of the integrated circuit to properly recognize the erroneous data packet as being erroneous, based on the data processing result comprising the modification.

A computer program product comprising:

• a non-transitory computer readable storage medium readable by a processing circuit and storing instructions for execution by the processing circuit for performing a method comprising:
• verifying functionality of the integrated circuit to properly recognize the erroneous data packet as being erroneous, the verifying comprising:
• initially obtaining, by another component separate from the integrated circuit, a data packet and evaluating, by the another component, the data packet to identify whether the data packet is an erroneous data packet, the data packet to be processed by the integrated circuit to thereby generate a data processing result;
• based on the data packet being identified by the another component as an erroneous data packet, modifying, by the another component, the erroneous data packet to obtain a modified erroneous data packet, and providing the modified erroneous data packet to the integrated circuit, wherein the modifying provides the erroneous data packet with a modification;
• based on the integrated circuit processing the modified erroneous data packet to generate the data processing result, receiving from the integrated circuit the data processing result;
• identifying whether the integrated circuit properly recognized the erroneous data packet as being erroneous by checking whether the data processing result comprises the modification;
• and
• signaling a malfunction of the integrated circuit to properly recognize the erroneous data packet as being erroneous, based on the data processing result comprising the modification.