On the functional test of the cache coherency logic in multi-core systems | IEEE Conference Publication | IEEE Xplore