Describir: On the functional test of the cache coherency logic in multi-core systems