RTL sources of the High-Performance L1 Dcache (HPDcache) for OpenHW CV cores - View it on GitHub