Documentation

Run command:

ebmc --systemverilog --top top top.sv rvecc_encode.sv channel_model.sv rvecc_decode.sv --trace --vcd cover

Name		Name	Last commit message	Last commit date
Latest commit History 16 Commits
README.md		README.md
Screenshot_double_error.png		Screenshot_double_error.png
Screenshot_single_error.png		Screenshot_single_error.png
channel_model.sv		channel_model.sv
ecc_non_zero_encoded_double_error_detection.png		ecc_non_zero_encoded_double_error_detection.png
ecc_non_zero_encoded_single_error_correction.png		ecc_non_zero_encoded_single_error_correction.png
rvecc_decode.sv		rvecc_decode.sv
rvecc_encode.sv		rvecc_encode.sv
rvecc_encode_mutated.sv		rvecc_encode_mutated.sv
top.sv		top.sv
top_equivalence_check.sv		top_equivalence_check.sv
top_mutated.sv		top_mutated.sv