Verifying the functionality of an integrated circuit

摘要

Verifying the functionality of an integrated circuit, the integrated circuit being operable for processing a data packet thereby generating a data processing result. A data packet to be processed is evaluated to determine if the data packet is an erroneous data packet. If the data packet is identified as an erroneous data packet, a modified data packet is generated by modifying the erroneous data packet and providing the modified data packet to the integrated circuit. A determination is made as to whether the data processing result comprises the modification; and a malfunction of the integrated circuit is signaled, if the data processing result comprises the modification.

主权项

1. A method comprising:
verifying functionality of an integrated circuit to properly recognize an 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; andsignaling 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.