Design of directory based cache coherence protocol verification logic in CMPs around TACA | IEEE Conference Publication | IEEE Xplore