AS5643 protocol verification has two components: Firstly, the AS5643 standard only provides a framework for the ASM protocol. Intentionally it leaves details on field assignments unspecified and up to definition uniquely adapted and tailored towards individual projects. This requires tools that allow to expand and customize an existing frame protocol decoder. DapTechnology's FireSpys are such tools and the AS5643 protocol can be extended with the Packet Format editor and the Protocol Editor. And secondly, timing is crucial in AS5643. So specific Transmit and Receive Offsets can be added into the decoding functionality, thereby adding timing verification functionality which goes beyond what is typically available by just looking into the packet payload.