Day 17 (26th June 2019)

Today I worked on formally verifying the txdata.v module but did not make much progress there even after struggling a bit. I will continue on it tomorrow.

Code at: https://github.com/abhishek-kakkar/100DayFPGA/tree/master/day17