User Tools

Site Tools


overview:xmas

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