Formally Verified Hamming Encoder & Decoder This project is documented here: https://www.hackster.io/shashank-v-m/design-and-verification-of-high-throughput-hamming-decoder-c4a74a