Repository logo
 

Towards synthesis of application-specific forward error correction (FEC) codes

Simple item page
dc.contributor.authorMcClurg, Jedidiah, author
dc.contributor.authorBaker, Lauren Zoe, author
dc.contributor.authorCanizales, Ronaldo, author
dc.contributor.authorKarki, Dilochan, author
dc.contributor.authorACM, publisher
dc.date.accessioned2024-12-17T19:12:11Z
dc.date.available2024-12-17T19:12:11Z
dc.date.issued2024-11-18
dc.description.abstractForward 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.
dc.format.mediumborn digital
dc.format.mediumarticles
dc.identifier.bibliographicCitationJedidiah McClurg, Lauren Zoe Baker, Ronaldo Canizales, and Dilochan Karki. 2024. Towards Synthesis of Application-Specific Forward Error Correction (FEC) Codes. In The 23rd ACM Workshop on Hot Topics in Networks (HOTNETS '24), November 18–19, 2024, Irvine, CA, USA. ACM, New York, NY, USA, 8 pages. https://doi.or g/10.1145/3696348.3696886
dc.identifier.doihttps://doi.or g/10.1145/3696348.3696886
dc.identifier.urihttps://hdl.handle.net/10217/239731
dc.languageEnglish
dc.language.isoeng
dc.publisherColorado State University. Libraries
dc.relation.ispartofPublications
dc.relation.ispartofACM DL Digital Library
dc.rights©Jedidiah McClurg, et al. ACM 2024. This is the author's version of the work. It is posted here for your personal use. Not for redistribution. The definitive Version of Record was published in HOTNETS '24, https://dx.doi.org/10.1145/3696348.3696886.
dc.subjectforward error correction
dc.subjectprogram synthesis
dc.titleTowards synthesis of application-specific forward error correction (FEC) codes
dc.typeText

Files

Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
FACF_ACMOA_3696348.3696886.pdf
Size:
306.56 KB
Format:
Adobe Portable Document Format
Download

Collections

Publications