Requirements coverage exported by reqcov at commit 3094610 2026-09-24T19:51:00Z reqcov 1.0 reqcov 0.3.1 _dt_string _dt_string _dt_xhtml _dt_string _dt_string _dt_string _dt_string _dt_string _dt_string _dt_string _dt_string _dt_string _dt_string _dt_string _type_requirement _attr_id _attr_name _attr_text The module shall compute CRC-16/CCITT-FALSE over an arbitrary byte buffer. _attr_level _attr_verification _attr_status _attr_coverage _attr_tests _attr_results _attr_location _attr_commit _type_requirement _attr_id _attr_name _attr_text A frame whose trailing CRC does not match the payload shall be rejected. _attr_level _attr_verification _attr_status _attr_coverage _attr_tests _attr_results _attr_location _attr_commit _type_requirement _attr_id _attr_name _attr_text A frame with an empty payload shall be rejected. _attr_level _attr_verification _attr_status _attr_coverage _attr_tests _attr_results _attr_location _attr_commit _type_requirement _attr_id _attr_name _attr_text CRC shall be computed bitwise without a lookup table (RAM budget < 64 bytes). _attr_level _attr_verification _attr_status _attr_coverage _attr_tests _attr_results _attr_sources _attr_location _attr_commit _type_requirement _attr_id _attr_name _attr_text frame_validate shall return FRAME_ERR_LEN when length < 3. _attr_level _attr_verification _attr_status _attr_coverage _attr_tests _attr_results _attr_sources _attr_location _attr_commit _type_requirement _attr_id _attr_name _attr_text frame_validate shall return FRAME_ERR_CRC when the CRC field differs from the computed CRC. _attr_level _attr_verification _attr_status _attr_coverage _attr_tests _attr_results _attr_sources _attr_location _attr_commit _type_parent _req_LLR-10 _req_HLR-1 _type_parent _req_LLR-11 _req_HLR-3 _type_parent _req_LLR-12 _req_HLR-2 _type_specification _type_specification