Formally Verified Hamming Encoder & Decoder

This project is documented here:

Name		Name	Last commit message	Last commit date
Latest commit History 11 Commits
Nexys-A7-100T-Master.xdc		Nexys-A7-100T-Master.xdc
README.md		README.md
buffer_reg.sv		buffer_reg.sv
cc_decoder_ht.sv		cc_decoder_ht.sv
cc_encoder.sv		cc_encoder.sv
channel.sv		channel.sv
dut.sv		dut.sv
dut_fpga.sv		dut_fpga.sv
error_correction_and_detection.sv		error_correction_and_detection.sv
lfsr_decoder.sv		lfsr_decoder.sv
lfsr_encoder.sv		lfsr_encoder.sv
piso.sv		piso.sv
seven_segment.sv		seven_segment.sv

Provide feedback