Abstract: Testing a packet sequence number checker. The packet sequence number checker may check a packet-based data communication between two interconnected devices. An error injector may be provided in-between the interconnected devices such that the data packets may be received from one of the two interconnected devices and may be sent to the other one of the two interconnected devices by the error injector. A received packet is randomly selected from a packet data stream between the two interconnected devices and stored in a buffer. A length of a later received data packet from the same sender of the two interconnected devices is compared with the selected buffered data packet, and the later received data packet is replaced by the selected buffered data packet.

Abstract: Testing a packet sequence number checker. The packet sequence number checker may check a packet-based data communication between two interconnected devices. An error injector may be provided in-between the interconnected devices such that the data packets may be received from one of the two interconnected devices and may be sent to the other one of the two interconnected devices by the error injector. A received packet is randomly selected from a packet data stream between the two interconnected devices and stored in a buffer. A length of a later received data packet from the same sender of the two interconnected devices is compared with the selected buffered data packet, and the later received data packet is replaced by the selected buffered data packet.

Abstract: Testing a packet sequence number checker. The packet sequence number checker may check a packet-based data communication between two interconnected devices. An error injector may be provided in-between the interconnected devices such that the data packets may be received from one of the two interconnected devices and may be sent to the other one of the two interconnected devices by the error injector. A received packet is randomly selected from a packet data stream between the two interconnected devices and stored in a buffer. A length of a later received data packet from the same sender of the two interconnected devices is compared with the selected buffered data packet, and the later received data packet is replaced by the selected buffered data packet.

Abstract: A method, data processing system, and computer program product for verifying the functionality of a digital circuit. The method includes transmitting sequences of parallel data packets via parallel data transfer paths. Prior to receipt of at least two of the transmitted sequences, a first skew is introduced between the at least two of the transmitted sequences. This introduction includes inserting one or more parallel control data packets in the transmitted sequences, and erasing one of the control data packets, replacing one of the control data packets, and inserting another control data packet in one of the sequences. The method includes determining if an expected indicator signal is provided in the form of an overflow indicator or an underflow indicator.

Abstract: A method, data processing system, and computer program product for verifying the functionality of a digital circuit. The method includes transmitting sequences of parallel data packets via parallel data transfer paths. Prior to receipt of at least two of the transmitted sequences, a first skew is introduced between the at least two of the transmitted sequences. This introduction includes inserting one or more parallel control data packets in the transmitted sequences, and erasing one of the control data packets, replacing one of the control data packets, and inserting another control data packet in one of the sequences. The method includes determining if an expected indicator signal is provided in the form of an overflow indicator or an underflow indicator.

Abstract: Testing a packet sequence number checker. The packet sequence number checker may check a packet-based data communication between two interconnected devices. An error injector may be provided in-between the interconnected devices such that the data packets may be received from one of the two interconnected devices and may be sent to the other one of the two interconnected devices by the error injector. A received packet is randomly selected from a packet data stream between the two interconnected devices and stored in a buffer. A length of a later received data packet from the same sender of the two interconnected devices is compared with the selected buffered data packet, and the later received data packet is replaced by the selected buffered data packet.