Any luck with the caches? I do know that ghdl is producing symbol names that might be problematic. yosys is fine with it, gtkwave is not. If the tools hit an issue I have a workaround.