Several methods have arisen to fasten the hardware design process. Among them, the high-
level synthesis (HLS), ie, the use of a higherlevel programming language than the usual …

Abstract The Synchronous Message Exchange (SME) model, is a programming model,
which closely resembles the CSP model and which is suitable for describing hardware. This …

This paper explores real-time Convolutional Neural Network inference on Field
Programmable Gate Arrays (FPGAs) implemented in Synchronous Message Exchange …

Abstract Synchronous Message Exchange (SME) is a CSP-derived model for hardware
designs implementing globally synchronous message passing. SME implementations …

This paper introduces a method to simplify hardware modeling and verification thereof in
order for software programmers to, more easily, meet the demands of the growing …

Several methods have arisen to fasten the hardware design process. Among them, the high-
level synthesis (HLS), ie, the use of a higher-level programming language than the usual …

Digital image processing is an ever-expanding and dynamic field, and its applications have
involved our daily lives, such as medicine, space exploration, surveillance, identity …

Synchronous Message Exchange (SME) is a CSP-derived model for hardware designs
implementing globally synchronous message passing. SME implementations currently exist …