The work presented here is a first study made at ESEO1 by the research team TRAME (Model Transformations for Embedded Systems) for the semiconductor company ATMEL Nantes. This experiment consists in exploring the possibilities of ModelDriven Development (MDD) and model transformation in the context of digital hardware design. Through the definition of several meta-models and model transformatio...

The Unified Modeling LanguageTM (UML) has received a wide acceptance in the area of software engineering over the last years. In its last revision, UML [4] (i.e., UML 2.0) is composed of a set of structural (classes, components, composite structures, deployments) and behavioral concepts (actions, activities, state machines, interactions, use cases), which are clearly separated from their visual...

In efforts to overcome the complexity of the syntax and the lack of formal semantics of conventional hardware description languages, a number of functional hardware description languages have been developed. Like conventional hardware description languages, however, functional hardware description languages eventually convert all source programs into netlists, which describe wire connections in...

Hardware description systems could benefit from advances in programming language design. Recent research, in the area of rich type systems suggests hardware description languages could use types to (1) structure, (2) guarantee correctness, and (3) track properties of hardware descriptions. In this paper, we use the language Ωmega to illustrate these points.

In this paper we illustrate a fuzzy logic system design strategy based on a high level description. Employing this high level description, the knowledge base is described in a language in appearance close to the natural language with the particularity that it uses a hardware description language (VHDL) directly synthesizable on an FPGA circuit. In addition, we analyze FPGA implementations of di...

In this paper, we propose a method to synthesize hardware from highlevel programming language description. The main step of the proposed method is to localize global variables. The localization of global variables is essential in synthesizing hardware from high-level programming language description because global variables cannot be synthesized directly. We first preprocess the input descripti...