xMAS Circuit

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 veriﬁcation”, Proc. IEEE International Workshop on High Level Design Validation and Test (HLDVT), pp. 42–49, 2010.