This project is documented here: Hackster.io https://www.hackster.io/shashank-v-m/formal-verification-of-rvecc-error-correcting-code-hardware-81648f Hackaday.io https://hackaday.io/project/195113-formal-verification-of-rvecc-error-correcting-code