Distributed handling of forward error correction in hardware assisted verification platforms
This application discloses distributed forward error correction in hardware assisted verification platforms ( 300 ) including a hardware-assisted verification system ( 320 ) to emulate an electronic system ( 322 ) described by a circuit design ( 301 ). The hardware-assisted verification system ( 320 ) can implement forward error correction circuitry ( 324 ) to analyse a data packet ( 311 ) for use by the emulated electronic system ( 322 ) during functional verification operations of the circuit design ( 301 ), which can identify that the data packet includes one or more corrupted bits ( 321 ). The forward error correction circuitry ( 324 ) can transmit the corrupted data packet ( 321 ) to a computing system ( 330 ) implementing an error correction algorithm configured to perform error correction operations ( 332 ) on the corrupted data packet ( 321 ). The computing system implementing the error correction algorithm ( 330 ) can generate a corrected data packet ( 331 ) during the error correction operations and transmit the corrected data packet to the hardware-assisted verification system ( 320 ) for use by the emulated electronic system ( 322 ) during functional verification operations of the circuit design ( 301 ).
1 . A method comprising:
performing functional verification operations on a circuit design describing an electronic system being emulated by a hardware-assisted verification system;
receiving, by the hardware-assisted verification system, a data packet for use by the emulated electronic system during the functional verification operations by the hardware-assisted verification system;
identifying, by forward error correction (FEC) circuitry implemented in the hardware-assisted verification system, the received data packet includes one or more corrupted bits;
in response to identifying the received data packet includes one or more corrupted bits, transmitting, by the FEC circuitry in the hardware-assisted verification system, the data packet to a computing system for error correction operations, wherein the computing system is external to the hardware-assisted verification system and separate from the FEC circuitry in the hardware-assisted verification system; and
correcting, by the computing system that is external to the hardware-assisted verification system and separate from the FEC circuitry in the hardware-assisted verification system, the one or more corrupted bits in the data packet.
2 . The method of claim 1 , further comprising pausing, by the hardware-assisted verification system, a verification clock for the functional verification operations on the circuit design in response to the identification that the data packet includes one or more corrupted bits.
3 . The method of claim 2 , further comprising transmitting, by the computing system, the corrected data packet to the hardware-assisted verification system for utilization in the functional verification operations on the circuit design.
4 . The method of claim 3 , further comprising restarting, by the hardware-assisted verification system, the verification clock for the functional verification operations on the circuit design in response to the receiving the corrected data packet from the computing system.
5 . The method of claim 1 , wherein identifying the data packet includes one or more corrupted bits further comprises:
generating, by the FEC circuitry in the hardware-assisted verification system, a code word from the data packet;
determining, by the FEC circuitry in the hardware-assisted verification system, a syndrome based, at least in part, on the code word and one or more parity bits in the data packet; and
ascertaining, by the FEC circuitry in the hardware-assisted verification system, the data packet includes the one or more corrupted bits based on the syndrome.
6 . The method of claim 5 , wherein transmitting the data packet to the computing system includes transmitting the data packet and the generated code word to the computing system using a co-model link layer of the hardware-assisted verification system.
7 . The method of claim 1 , wherein the hardware-assisted verification system comprises an emulation system or prototyping system having multiple configurable logic devices to implement the forward error correction circuitry and the electronic system described by the circuit design.
8 . A system comprising:
a hardware-assisted verification system to emulate an electronic system described by a circuit design and to receive a data packet for use by the emulated electronic system during functional verification operations of the circuit design, wherein the hardware-assisted verification system is configured to implement forward error correction (FEC) circuitry to identify the received data packet includes one or more corrupted bits; and
a computing system, in response to execution of computer-executable instructions stored in a memory system, is configured to receive the data packet transmitted by the hardware verification system in response to the identification of the data packet including one or more corrupted bits, wherein the computing system is external to the hardware-assisted verification system and separate from the FEC circuitry in the hardware-assisted verification system, and wherein the computing system is configured to correct the one or more corrupted bits in the data packet.
9 . The system of claim 8 , wherein the hardware-assisted verification system is configured to pause a verification clock for the functional verification operations on the circuit design in response to the identification that the data packet includes one or more corrupted bits.
10 . The system of claim 9 , wherein the computing system, in response to execution of the computer-executable instructions, is further configured to transmit the corrected data packet to the hardware-assisted verification system for utilization in the functional verification operations on the circuit design.
11 . The system of claim 10 , wherein the hardware-assisted verification system is configured to restart the verification clock for the functional verification operations on the circuit design in response to the receiving the corrected data packet from the computing system.
12 . The system of claim 8 , wherein the hardware-assisted verification system is configured to identify the data packet includes one or more corrupted bits by:
generate, with the FEC circuitry in the hardware-assisted verification system, a code word from the data packet;
determining, with the FEC circuitry in the hardware-assisted verification system, a syndrome based, at least in part, on the code word and one or more parity bits in the data packet; and
ascertaining, with the FEC circuitry in the hardware-assisted verification system, the data packet includes the one or more one or more corrupted bits based on the syndrome.
13 . The system of claim 12 , wherein the hardware-assisted verification system is configured to transmit the data packet and the generated code word to the computing system using a co-model link layer of the hardware-assisted verification system.
14 . The system of claim 8 , wherein the hardware-assisted verification system comprises an emulation system or prototyping system having multiple configurable logic devices to implement the forward error correction circuitry and the electronic system described by the circuit design.