Work

Towards Synthesis of Application-Specific Forward Error Correction (FEC) Codes

Year: 2024

Type: conference-paper

Abstract: Forward error correction (FEC) is a key component of modern high-bandwidth networks. Typically implemented at the physical layer, FEC attaches error-correcting codes to blocks of transmitted data, allowing some corrupted blocks to be repaired without retransmission. We outline a synthesis-based approach for automatic exploration of the FEC-code design space, focusing on Hamming codes. We formally verify the correctness of a Hamming (128, 120) code used for FEC in the recent 802.3df Ethernet standard, and provide preliminary evidence that our prototype synthesizer can leverage user-provided formal properties to generate FEC codes that are highly robust, efficiently implementable, and tuned to support specific data formats such as IEEE floating points.

Source: ACM Workshop on Hot Topics in Networks (HotNets)

DOI: 10.1145/3696348.3696886

Authors: Jedidiah McClurg, Lauren Zoe Baker, Ronaldo Canizales, Dilochan Karki

Institutions: Colorado State University, Colorado School of Mines

Language: English

Topic: Error Correcting Code Techniques

Subfield: Computer Networks and Communications

Field: Computer Science

Domain: Physical Sciences

Open Access status: hybrid

Funder: Universitas Brawijaya

Award: G6745255527