xMAS is a high-level microarchitectural model of communication fabrics. 1)
1)
S.Chatterjee, M.Kishinevsky, U.Ogras: “Quick formal modeling of communication fabrics to enable verification”, Proc. IEEE International Workshop on High Level Design Validation and Test(HLDVT), pp. 42–49, 2010.