[zipcpu]

All of the ZipCPU's cache implementations have been formally verified using SymbiYosys--an open source, free-as-beer product.