Paper Details

Communicating Process Architectures (CPA)
 Title: SMEIL: A Domain-Specific Language for Synchronous Message Exchange Networks
 Conference: Communicating Process Architectures 2018
 Authors: Truls Asheim
Niels Bohr Institute, University of Copenhagen
 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. 

BibTeX Entry

Full paper