package pcrc

  1. Overview
  2. Docs
On This Page
  1. CRC-32 Algorithms

Module Pcrc.CRC32Source

Sourcetype t = int32
Sourcemodule type Params = Params with type t := t
Sourcemodule Make (_ : Params) : S with type t = t

Create CRC-32 implementation module from the provided parameters.

CRC-32 Algorithms

ITU-T Recommendation V.42 (March 2002). AUTOSAR (24 November 2022), AUTOSAR Classic Platform release R22-11, Specification of CRC Routines. Lasse Collin, Igor Pavlov et al. (27 August 2009), The .xz file format, version 1.0.4. IETF RFC 1662 (July 1994). Also known as: CRC-32, CRC-32/ADCCP, CRC-32/V-42, CRC-32/XZ.

EUROCONTROL (20 March 2006), AIXM Primer 4.5. Also known as: CRC-32Q.

ITU-T Recommendation I.363.5 (August 1996). ETSI EN 300 175-3 version 2.5.1 (August 2013). Also known as: CRC-32/AAL5, CRC-32/DECT-B, B-CRC-32.

The Open Group (1997), Single Unix Specification, version 2, Commands & Utilities Issue 5, Reference Pages: cksum. Also known as: CKSUM, CRC-32/POSIX.

IETF RFC 7143 (April 2014). IETF RFC 3385 (September 2002). NVM Express, Inc. (27 December 2023), NVM Express TCP Transport Specification, Revision 1.0d. The Interlaken Alliance (7 October 2008), Interlaken Protocol Definition, version 1.2. Also known as: CRC-32/BASE91-C, CRC-32/CASTAGNOLI, CRC-32/INTERLAKEN, CRC-32C, CRC-32/NVME.

Sourcemodule MEF : Params

Mayo Foundation (19 February 2016), Multiscale Electrophysiology File Format Version 3.0 (MEF3) specification.

ISO/IEC 13818-1:2000 — ITU-T Recommendation H.222.0 (February 2000).