package pcrc

  1. Overview
  2. Docs

Module Pcrc.CRC16Source

Sourcetype t = private int

CRC-16 checksum is an int with checksum in lower 16 bits and other bits set to zero.

Sourceval of_int : int -> t

Makes a CRC-16 checksum value out of low 16 bits of an int.

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

Create CRC-16 implementation module from a set of CRC algorithm parameters.

CRC-16 Algorithms

Sourcemodule ARC : Params

AUTOSAR (24 November 2022), AUTOSAR Classic Platform release R22-11, Specification of CRC Routines. Also known as: ARC, CRC-16, CRC-16/LHA, CRC-IBM.

3rd Generation Partnership Project 2 (3GPP2) (September 2009), Physical layer standard for cdma2000 spread spectrum systems, revision E, version 1.0.

EPCglobal Inc (4 September 2018), EPC UHF Gen2 Air Interface Protocol: EPC Radio-Frequency Identity Protocols Generation-2 UHF RFID Standard, release 2.1. Philips Semiconductors (30 January 2004), SL2 ICS11 Product Specification, revision 3.0. ETSI EN 300 751 version 1.2.1 (January 2003). Also known as: CRC-16/DARC, CRC-16/EPC, CRC-16/EPC-C1G2, CRC-16/I-CODE.

ITU-T Recommendation T.30 (September 2005). ITU-T Recommendation V.42 (March 2002). ITU-T Recommendation X.25 (October 1996). IETF RFC 1331 (May 1992). IETF RFC 1662 (July 1994). Also known as: CRC-16/IBM-SDLC, CRC-16/ISO-IEC-14443-3-B, CRC-16/X-25, CRC-B, X-25.

ITU-T Recommendation V.41 (November 1988). Frank da Cruz (June 1986), Kermit Protocol Manual, Sixth Edition. Bluetooth SIG (31 January 2023), Bluetooth Specification, Core Version 5.4. Also known as: CRC-16/BLUETOOTH, CRC-16/CCITT, CRC-16/CCITT-TRUE, CRC-16/V-41-LSB, CRC-CCITT, KERMIT.

PROFIBUS International (March 1998), PROFIBUS Specification, Normative Parts, Edition 1.0, Part 9.

ITU-T Recommendation V.41 (November 1988). 3rd Generation Partnership Project (3GPP) TS 36.212 version 17.1.0 (March 2022) — ETSI TS 136 212 version 17.1.0 (April 2022). 3rd Generation Partnership Project (3GPP) TS 36.321 version 17.5.0 (June 2023) — ETSI TS 136 321 version 17.5.0 (July 2023). JEDEC Standard JESD84-A441 (March 2010). Also known as: CRC-16/ACORN, CRC-16/LTE, CRC-16/V-41-MSB, XMODEM, ZMODEM.