====== xMAS Circuit ======
xMAS is a high-level microarchitectural model of communication fabrics\ [(Chatterjee_2010_hldvt)].

{{ overview:screenshot-xmas.png?nolink }}

[(Chatterjee_2010_hldvt> 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.)]