bend-osdev-crc

Releases (1)

• 0.1.0.0 indexed

Definitions (129)

check.bend

• def nine
• def bulk.gon pseudo-random bytes (a linear congruential generator), built tail-recursively
• def bulk
• def main

crc.bend

• type Crc32Spec
• type Crc64Spec
• def reflect32.go
• def reflect32
• def reflect64.go
• def reflect64
• def r32.pick
• def r32.bits
• def r32.rawthe register after the bytes xs, from register c (poly reflected)
• def n32.pick
• def n32.bits
• def n32.rawthe register after the bytes xs, from register c; shift is width - 8
• def s32.pick
• def s32.bitsthe bits p - 1 down to 0 of h, into register c
• def s32.raw
• def r64.pick
• def r64.bits
• def r64.raw
• def n64.pick
• def n64.bits
• def n64.raw
• def Crc32Spec.update.msbmost significant bit first: the byte engine for widths of 8 and up, the bit engine below
• def Crc32Spec.update.gothe register after the bytes xs, from register c, without the final XOR: what a caller that computes a CRC in pieces passes from one piece to the next
• def Crc32Spec.update
• def Crc32Spec.start.gothe register a CRC starts from
• def Crc32Spec.start
• def Crc32Spec.finish
• def Crc32Spec.compute
• def Crc64Spec.update.go
• def Crc64Spec.update
• def Crc64Spec.start.go
• def Crc64Spec.start
• def Crc64Spec.finish
• def Crc64Spec.compute
• def crc32c.specCRC-32C (Castagnoli): poly 0x1EDC6F41
• def crc32.specCRC-32 (ISO-HDLC, as zlib and Ethernet): poly 0x04C11DB7
• def crc16.specCRC-16/ARC (the kernel's crc16): poly 0x8005
• def crc_t10dif.specCRC-16/T10-DIF: poly 0x8BB7
• def crc64_ecma.specCRC-64/ECMA-182: poly 0x42F0E1EBA9EA3693, most significant bit first
• def crc64_xz.specCRC-64/XZ: the same polynomial, reflected, as the XZ format's check
• def crc64_nvme.specCRC-64/NVME: poly 0xAD93D23594C93659
• def crc4_itu.specCRC-4/G-704 (CRC-4/ITU): poly 0x3, reflected
• def crc7_mmc.specCRC-7/MMC (SD/MMC commands): poly 0x09
• def crc8_smbus.specCRC-8/SMBUS: poly 0x07
• def crc8_itu.specCRC-8/I-432-1 (CRC-8/ITU, ATM HEC): poly 0x07, xorout 0x55
• def crc8_maxim.specCRC-8/MAXIM-DOW (Dallas/Maxim 1-Wire): poly 0x31, reflected
• def crc8_dvb_s2.specCRC-8/DVB-S2: poly 0xD5
• def crc8_autosar.specCRC-8/AUTOSAR: poly 0x2F, init 0xFF, xorout 0xFF
• def crc16_kermit.specCRC-16/KERMIT (CRC-16/CCITT, the kernel's crc_ccitt): poly 0x1021, reflected
• def crc16_ccitt_false.specCRC-16/IBM-3740 (CRC-16/CCITT-FALSE): poly 0x1021, init 0xFFFF
• def crc16_xmodem.specCRC-16/XMODEM (CRC-16/ITU-T, the kernel's crc_itu_t): poly 0x1021
• def crc32c
• def crc32
• def crc16
• def crc_t10dif
• def crc64_ecma
• def crc64_xz
• def crc64_nvme
• def crc4_itu
• def crc7_mmc

LAWS.bend

• law streaming32
• law streaming64
• law check_crc32ccheck values (reveng): 0xE3069283, 0xCBF43926, 0xBB3D, 0xD0DB
• law check_crc32
• law check_crc16
• law check_crc_t10dif
• law check_crc64_ecma0x6C40DF5F0B497347, 0x995DC9BBDF1939FA, 0xAE8B14860A799888
• law check_crc64_xz
• law check_crc64_nvme
• law empty_crc32cthe empty input: init XOR xorout
• law empty_crc_t10dif
• law fast_crc32c
• law fast_crc16
• law fast_crc_t10dif
• law fast_crc64_ecma
• law fast_crc64_xz
• law fast_agrees_crc32c
• law check_crc4_itu
• law check_crc7_mmc
• law check_crc8_smbus
• law check_crc8_itu
• law check_crc8_maxim
• law check_crc8_dvb_s2
• law check_crc8_autosar
• law check_crc16_kermit
• law check_crc16_ccitt_false
• law check_crc16_xmodem
• law fast_crc7_mmc
• law fast_crc4_itu
• law fast_crc16_xmodem

PROOF.bend

• def r32_split
• def n32_split
• def s32_split
• def r64_split
• def n64_split
• def msb_splitmost significant bit first: either engine splits