Data.SBV.Examples.CodeGeneration.CRC_USB5
The USB polynomial
usb5
Computing CRCs
crcUSB
crcUSB'
Correctness
crcGood
Code generation
cg1
cg2