This book is concerned with the improvement of the programming experience of today's and
upcoming embedded systems in the multimedia and wireless communication domains. In …

Functional languages as input specifications for HLS-tools allow to specify data
dependencies but do not contain a notion of time nor execution order. In this paper, we …

High-Level Synthesis (HLS) tools are mature enough to provide efficient code generation for
computation kernels on FPGA hardware. For more complex applications, multiple kernels …

This book offers readers broad coverage of techniques to model, verify and validate the
behavior and performance of complex distributed embedded systems. The authors attempt …

We address a recently introduced static dataflow model: the Static Dataflow with Access
Patterns (SDF-AP) model. For this model we present (1) a generalization of an existing …

Signal processing and multimedia applications are commonly specified using Static
Dataflow (SDF) models. The SDF model explicitly captures how much data is produced and …

In this article, we propose a new framework based on dataflow graphs to abstract and
analyze designs for hardware architectures. It is called Actors with Stretchable Access …

The timed synchronous dataflow graph model is a graphical model of computation that
allows concurrency between processes. This model is widely used due to its expressive …

Designing hardware often involves several types of modeling and analysis, eg, in order to
check system correctness, to derive performance properties such as throughput, to optimize …

For computer-aided hardware design, models are usually used to evaluate the designed
systems. But there is still a gap between models and their efficient implementations on a real …