Day 22 (1st July 2019)

Today I almost completed the formal verification of the ZipCPU 6th tutorial, it passes the basecase but fails induction. I think I am close to resolving this, let’s see tomorrow.

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