Standard
SMEIL : A domain-specific language for synchronous message exchange networks. / Asheim, Truls.
Communicating Process Architectures 2017 and 2018, WoTUG-39 and WoTUG-40 - Proceedings of CPA 2017 (WoTUG-39) and Proceedings of CPA 2018 (WoTUG-40). ed. / Jan Baekgaard Pedersen; Kevin Chalmers; Jan F. Broenink; Brian Vinter; Kevin Vella; Peter H. Welch; Marc L. Smith; Kenneth Skovhede. IMIA and IOS Press, 2019. p. 389-414 (Concurrent Systems Engineering Series, Vol. 70).
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Harvard
Asheim, T 2019,
SMEIL: A domain-specific language for synchronous message exchange networks. in JB Pedersen, K Chalmers, JF Broenink, B Vinter, K Vella, PH Welch, ML Smith & K Skovhede (eds),
Communicating Process Architectures 2017 and 2018, WoTUG-39 and WoTUG-40 - Proceedings of CPA 2017 (WoTUG-39) and Proceedings of CPA 2018 (WoTUG-40). IMIA and IOS Press, Concurrent Systems Engineering Series, vol. 70, pp. 389-414, 40th WoTUG Conference on Communicating Process Architectures, CPA 2018, Dresden, Germany,
19/08/2018.
https://doi.org/10.3233/978-1-61499-949-2-389APA
Asheim, T. (2019).
SMEIL: A domain-specific language for synchronous message exchange networks. In J. B. Pedersen, K. Chalmers, J. F. Broenink, B. Vinter, K. Vella, P. H. Welch, M. L. Smith, & K. Skovhede (Eds.),
Communicating Process Architectures 2017 and 2018, WoTUG-39 and WoTUG-40 - Proceedings of CPA 2017 (WoTUG-39) and Proceedings of CPA 2018 (WoTUG-40) (pp. 389-414). IMIA and IOS Press. Concurrent Systems Engineering Series Vol. 70
https://doi.org/10.3233/978-1-61499-949-2-389Vancouver
Asheim T.
SMEIL: A domain-specific language for synchronous message exchange networks. In Pedersen JB, Chalmers K, Broenink JF, Vinter B, Vella K, Welch PH, Smith ML, Skovhede K, editors, Communicating Process Architectures 2017 and 2018, WoTUG-39 and WoTUG-40 - Proceedings of CPA 2017 (WoTUG-39) and Proceedings of CPA 2018 (WoTUG-40). IMIA and IOS Press. 2019. p. 389-414. (Concurrent Systems Engineering Series, Vol. 70).
https://doi.org/10.3233/978-1-61499-949-2-389Author
Asheim, Truls. / SMEIL : A domain-specific language for synchronous message exchange networks. Communicating Process Architectures 2017 and 2018, WoTUG-39 and WoTUG-40 - Proceedings of CPA 2017 (WoTUG-39) and Proceedings of CPA 2018 (WoTUG-40). editor / Jan Baekgaard Pedersen ; Kevin Chalmers ; Jan F. Broenink ; Brian Vinter ; Kevin Vella ; Peter H. Welch ; Marc L. Smith ; Kenneth Skovhede. IMIA and IOS Press, 2019. pp. 389-414 (Concurrent Systems Engineering Series, Vol. 70).
Bibtex
@inproceedings{4416e5a07c51460abab9ad402f0d0e5f,
title = "SMEIL: A domain-specific language for synchronous message exchange networks",
abstract = "Synchronous Message Exchange (SME) is a CSP-derived model for hardware designs implementing globally synchronous message passing. SME implementations currently exist for several general-purpose languages, some of which, are translatable to VHDL for subsequent implementation on hardware. A common SME language could reduce the duplication and feature disparity present in these independent implementations. This paper introduces a domain-specific language for implementing SME designs. It is usable both as a primary implementation language for SME models and as an intermediate target for general-purpose languages. We describe the language, its implementation and its features. Furthermore, we explain the specific requirements for a language within this domain. Finally, we evaluate the language through a number of simple, but realistic, hardware designs by showing how they may be implemented and tested.",
keywords = "Co-simulation, DSL, FPGA, Hardware design, Intermediate language, SME, VHDL",
author = "Truls Asheim",
year = "2019",
doi = "10.3233/978-1-61499-949-2-389",
language = "English",
series = "Concurrent Systems Engineering Series",
publisher = "IMIA and IOS Press",
pages = "389--414",
editor = "Pedersen, {Jan Baekgaard} and Kevin Chalmers and Broenink, {Jan F.} and Brian Vinter and Kevin Vella and Welch, {Peter H.} and Smith, {Marc L.} and Kenneth Skovhede",
booktitle = "Communicating Process Architectures 2017 and 2018, WoTUG-39 and WoTUG-40 - Proceedings of CPA 2017 (WoTUG-39) and Proceedings of CPA 2018 (WoTUG-40)",
note = "40th WoTUG Conference on Communicating Process Architectures, CPA 2018 ; Conference date: 19-08-2018 Through 22-08-2018",
}
RIS
TY - GEN
T1 - SMEIL
T2 - 40th WoTUG Conference on Communicating Process Architectures, CPA 2018
AU - Asheim, Truls
PY - 2019
Y1 - 2019
N2 - Synchronous Message Exchange (SME) is a CSP-derived model for hardware designs implementing globally synchronous message passing. SME implementations currently exist for several general-purpose languages, some of which, are translatable to VHDL for subsequent implementation on hardware. A common SME language could reduce the duplication and feature disparity present in these independent implementations. This paper introduces a domain-specific language for implementing SME designs. It is usable both as a primary implementation language for SME models and as an intermediate target for general-purpose languages. We describe the language, its implementation and its features. Furthermore, we explain the specific requirements for a language within this domain. Finally, we evaluate the language through a number of simple, but realistic, hardware designs by showing how they may be implemented and tested.
AB - Synchronous Message Exchange (SME) is a CSP-derived model for hardware designs implementing globally synchronous message passing. SME implementations currently exist for several general-purpose languages, some of which, are translatable to VHDL for subsequent implementation on hardware. A common SME language could reduce the duplication and feature disparity present in these independent implementations. This paper introduces a domain-specific language for implementing SME designs. It is usable both as a primary implementation language for SME models and as an intermediate target for general-purpose languages. We describe the language, its implementation and its features. Furthermore, we explain the specific requirements for a language within this domain. Finally, we evaluate the language through a number of simple, but realistic, hardware designs by showing how they may be implemented and tested.
KW - Co-simulation
KW - DSL
KW - FPGA
KW - Hardware design
KW - Intermediate language
KW - SME
KW - VHDL
U2 - 10.3233/978-1-61499-949-2-389
DO - 10.3233/978-1-61499-949-2-389
M3 - Article in proceedings
AN - SCOPUS:85082397361
T3 - Concurrent Systems Engineering Series
SP - 389
EP - 414
BT - Communicating Process Architectures 2017 and 2018, WoTUG-39 and WoTUG-40 - Proceedings of CPA 2017 (WoTUG-39) and Proceedings of CPA 2018 (WoTUG-40)
A2 - Pedersen, Jan Baekgaard
A2 - Chalmers, Kevin
A2 - Broenink, Jan F.
A2 - Vinter, Brian
A2 - Vella, Kevin
A2 - Welch, Peter H.
A2 - Smith, Marc L.
A2 - Skovhede, Kenneth
PB - IMIA and IOS Press
Y2 - 19 August 2018 through 22 August 2018
ER -
