WickedXmas:: Designing and verifying on-chip communication fabrics.

F. Verbeek; J. Schmaltz; S.J.C. Joosten

WickedXmas: Designing and verifying on-chip communication fabrics.

F. Verbeek, J. Schmaltz, S.J.C. Joosten

Research Line Resilience (part of LIRS program)

Research output: Contribution to conference › Conference Paper until 1 July 2025 › Professional

25 Downloads (Pure)

Original language	English
Pages	1-8
Number of pages	8
Publication status	Published - 2014
Event	International Workshop in Design and Implementation of Formal Tools and Systems: DIFTS 2014 - Lausanne, Switzerland Duration: 20 Oct 2014 → 20 Oct 2014 http://fmgroup.polito.it/cabodi/difts2014/

Workshop

Workshop	International Workshop in Design and Implementation of Formal Tools and Systems
Abbreviated title	DIFTS 2014
Country/Territory	Switzerland
City	Lausanne
Period	20/10/14 → 20/10/14
Internet address	http://fmgroup.polito.it/cabodi/difts2014/

Access to Document

difts2014_submission_4Final published version, 586 KB

Cite this

@conference{da8d6f58a7404bd1b8d88d40ae01f775,

title = "WickedXmas:: Designing and verifying on-chip communication fabrics.",

author = "F. Verbeek and J. Schmaltz and S.J.C. Joosten",

year = "2014",

language = "English",

pages = "1--8",

note = "International Workshop in Design and Implementation of Formal Tools and Systems : DIFTS 2014, DIFTS 2014 ; Conference date: 20-10-2014 Through 20-10-2014",

url = "http://fmgroup.polito.it/cabodi/difts2014/",

}

WickedXmas: Designing and verifying on-chip communication fabrics.

Workshop

Access to Document

Other files and links

Cite this