CRC Checksum Integration
Overview
Use this skill to integrate CRCs and checksums by making the exact algorithm parameters explicit. Most CRC bugs come from two sides using the same name for different init, reflection, xorout, byte order, or covered range.
When To Use
Use this skill when:
- The user needs CRC-8, CRC-16, CRC-32, additive checksum, Fletcher, Adler, or protocol frame validation.
- The issue involves mismatched CRC values, boot image validation, Modbus, CAN, UART packets, storage records, or OTA packages.
- The target uses hardware CRC units, DMA, endian-sensitive protocols, or streaming updates.
Do not use this skill for cryptographic authentication. Use mbedtls-integration, tinycrypt-integration, or micro-ecc-integration when adversarial tampering matters.
First Questions
Ask for:
- Algorithm name plus polynomial, width, init, refin, refout, xorout, and check value if known.
- Exact byte range covered, header/trailer inclusion, padding, and endian order.
- Whether the implementation is table-driven, bitwise, hardware accelerated, or streaming.
- Known-good sample input and expected output from the peer device or specification.
- Current mismatch and where it is observed.
Integration Checklist
Write the full CRC tuple.
Do not rely on names like CRC-16 unless the parameters are specified.
Verify with a golden vector.
Test 123456789 or a protocol-provided frame before using live data.
Freeze byte coverage.
Define start offset, length, skipped fields, padding, escaping, and final byte order.
Match streaming behavior.
The incremental API must preserve state exactly across chunks and resets.
Compare hardware and software.
Hardware CRC units often need byte reversal, word packing, or final xor handling.
Add negative tests.
Flip one bit in payload and metadata to prove the check actually fails.
Common Failures
- Wrong reflection settings for the named CRC variant.
- Including the CRC field itself in the covered range.
- Feeding words into a hardware CRC in host endian instead of wire order.
- Using a checksum where collision resistance or authenticity is required.
- Resetting incremental CRC state between chunks.
- Comparing printed hex values with opposite byte order.
Verification
Before claiming the integrity check works:
- State the full CRC/checksum parameters and covered byte range.
- Confirm golden vector output.
- Confirm peer frame or stored-image sample matches.
- Confirm corrupted data is rejected.
- Confirm hardware and software paths match if both exist.
Example
User:
Modbus CRC 算出来总和设备不一样。
Agent:
- Checks CRC-16/Modbus parameters, byte coverage, and low-byte-first output.
- Runs a known Modbus frame golden vector.
- Verifies the serial frame excludes the CRC field while computing.
1---2name: crc-checksum-integration3description: Use when implementing, verifying, or debugging CRC, checksum, hash-lite integrity checks, polynomial parameters, endian handling, or protocol frame validation in embedded systems4---56# CRC Checksum Integration78## Overview910Use this skill to integrate CRCs and checksums by making the exact algorithm parameters explicit. Most CRC bugs come from two sides using the same name for different init, reflection, xorout, byte order, or covered range.1112## When To Use1314Use this skill when:1516- The user needs CRC-8, CRC-16, CRC-32, additive checksum, Fletcher, Adler, or protocol frame validation.17- The issue involves mismatched CRC values, boot image validation, Modbus, CAN, UART packets, storage records, or OTA packages.18- The target uses hardware CRC units, DMA, endian-sensitive protocols, or streaming updates.1920Do not use this skill for cryptographic authentication. Use `mbedtls-integration`, `tinycrypt-integration`, or `micro-ecc-integration` when adversarial tampering matters.2122## First Questions2324Ask for:2526- Algorithm name plus polynomial, width, init, refin, refout, xorout, and check value if known.27- Exact byte range covered, header/trailer inclusion, padding, and endian order.28- Whether the implementation is table-driven, bitwise, hardware accelerated, or streaming.29- Known-good sample input and expected output from the peer device or specification.30- Current mismatch and where it is observed.3132## Integration Checklist33341. Write the full CRC tuple.35 Do not rely on names like CRC-16 unless the parameters are specified.36371. Verify with a golden vector.38 Test `123456789` or a protocol-provided frame before using live data.39401. Freeze byte coverage.41 Define start offset, length, skipped fields, padding, escaping, and final byte order.42431. Match streaming behavior.44 The incremental API must preserve state exactly across chunks and resets.45461. Compare hardware and software.47 Hardware CRC units often need byte reversal, word packing, or final xor handling.48491. Add negative tests.50 Flip one bit in payload and metadata to prove the check actually fails.5152## Common Failures5354- Wrong reflection settings for the named CRC variant.55- Including the CRC field itself in the covered range.56- Feeding words into a hardware CRC in host endian instead of wire order.57- Using a checksum where collision resistance or authenticity is required.58- Resetting incremental CRC state between chunks.59- Comparing printed hex values with opposite byte order.6061## Verification6263Before claiming the integrity check works:6465- State the full CRC/checksum parameters and covered byte range.66- Confirm golden vector output.67- Confirm peer frame or stored-image sample matches.68- Confirm corrupted data is rejected.69- Confirm hardware and software paths match if both exist.7071## Example7273User:7475```text76Modbus CRC 算出来总和设备不一样。77```7879Agent:80811. Checks CRC-16/Modbus parameters, byte coverage, and low-byte-first output.821. Runs a known Modbus frame golden vector.831. Verifies the serial frame excludes the CRC field while computing.
easyzoom