Data.SBV.Examples.CodeGeneration.CRC_USB5

The USB polynomial

usb5

Computing CRCs

crcUSB

crcUSB'

Correctness

crcGood

Code generation

cg1

cg2