overview:xmas_circuit

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.