The building blocks of today's and future embedded systems are complex intellectual
property components, or cores, many of which are programmable processors. Traditionally …

In this paper we present the syntax, semantics, and compilation of a new system-level
programming language called SystemJ. SystemJ is a multiclock language supporting the …

We present hardware ML (HML), an innovative hardware description language (HDL) based
on the functional programming language SML. Features of HML not found in other HDL's …

SugarCubes is a set of Java classes used to implement dynamic, reactive, event‐based,
parallel systems. SugarCubes can be seen as a low‐level basis upon which more complex …

We propose a software architecture based on a combination of object-oriented models and
executable formal specifications. In this architecture, the machine control software is viewed …

This paper discusses the use of C++ for the design of digital systems. The paper
distinguishes a number of different approaches towards the use of programming languages …

Synchronous Programming (SP) is a universal computational principle that provides
deterministic concurrency. The same input sequence with the same timing always results in …

The state-of-art approaches to embedded real-time software development are very costly.
The high development cost can be reduced significantly by using model-based integration of …

In this paper, we propose a new system-level design language, called SystemJ. It extends
Java with synchronous reactive features present in Esterel and asynchronous constructs …

Embedded system design methodologies that are based on the effective use of multiple
levels of abstraction hold promise for substantial productivity gains. Starting the design …