Formally Verifying Memory and Cache Components

While I was in Italy forORCONF 2016I started scribbling out adata cachefor theZipCPU. In many ways Ihad to. TheZipCPUcompared nicely to many othersoft-core...