A formalisation of XMAS
Communication fabrics play a key role in the correctness and performance of modern multi-core processors and systems-on-chip. To enable formal verification, a recent trend is to use high-level micro-architectural models to capture designers' intent about the communication and processing of mess...
Main Authors: | Bernard van Gastel, Julien Schmaltz |
---|---|
Format: | Article |
Language: | English |
Published: |
Open Publishing Association
2013-04-01
|
Series: | Electronic Proceedings in Theoretical Computer Science |
Online Access: | http://arxiv.org/pdf/1304.7862v1 |
Similar Items
-
Brown Xmas
by: Ortiz, Maria
Published: (2011) -
Une formalisation fonctionnelle des communications sur la puce
by: Schmaltz, J.
Published: (2006) -
Quasistatic Nonlinear Analysis of a Drill Pipe in Subsea Xmas Tree Installation
by: Haozhi Qin, et al.
Published: (2019-01-01) -
Natural Frequencies and Mode Shapes of Drill Pipe in Subsea Xmas Tree Installation
by: Wensheng Xiao, et al.
Published: (2020-01-01) -
A reliability study of a Deepwater Vertical Xmas Tree with attention to XT retrieval rate
by: Stendebakken, Oda Ingeborg
Published: (2014)