Mobile phones, music players, personal computers, set-top boxes and countless other digital electronics appliances are part of our daily life. These nomadic devices provide more and more functionality. As an example, recent mobile phones allow to communicate, to take pictures, to play video, to listen to music, to watch TV, to browse the web, ... To achieve all this, the integrated circuit (IC)...

The flow of a liquid around an obstacle can be described by a set of partial differential equations, known as the Navier–Stokes equations. It requires very complex calculations to solve these equations for a given problem. Moreover it is very tedious to describe the boundary conditions for non–trivial problems. Instead of using numerical methods to compute the liquid flow one can also describe ...

Objective of the methodology presented in this paper is to perform design space exploration on a high level of abstraction by applying high-level transformations. To realize a design loop which is close and settled on upper design levels, a high-level estimation step is integrated. In this paper, several estimation methodologies fixed on different states of the high-level synthesis process are ...

In recent years, decision diagrams have earned a prominent place in the field of logic design as means of efficient representation of switching function, in terms of needed storage space and processing complexity, especially for the tasks of design, testing and verification of logic circuits. In this paper, we focus on a XML based system for description of the structure of decision diagrams wit...

The W3C Speech Synthesis Markup Language (SSML) unifies a number of recent related markup languages that have emerged to fill the perceived need for increased, and standardized, user control over Text to Speech (TTS) engines. One of the main drivers for markup has been the increasing use of TTS engines as embedded components of specific applications – which means they are in a position to take ...

We present a framework for certifying hardware designs generated through behavioral synthesis, by using formal verification to certify the associated synthesis transformations. We show how to decompose this certification into two components, which can be respectively handled by the complementary verification techniques, theorem proving and model checking. The approach produces a certified refer...

We present a behavioral synthesis method aimed at generating testable datapaths. A non-scan testing strategy is targeted. Given performance and area constraints, the system is aimed at seeking among potential design alternatives the one presenting the least testability problems. The backbone of this methodology is a testability analysis method that works at different abstraction levels of the d...

There are many tools and techniques available to understand and analyze a system at the architectural level. Each of these may provide its own perspective of the key architectural elements of the system. We introduce the process of architectural synthesis to deal with the problem of integrating these different architectural perspectives. We emphasize the utility of the synthesis process in supp...

We present a way to make environmental recordings controllable again by the use of continuous annotations of the high-level semantic parameter one wishes to control, e.g. wind strength or crowd excitation level. A partial annotation can be propagated to cover the entire recording via cross-modal analysis between gesture and sound by canonical time warping (CTW). The annotations serve as a descr...

The ever increasing energy demand in developing world will result in sustainable increase in the fly ash generation, which will remain a cause of concern as far as its management is concerned. However, technological advance may prove to be effective in fly ash management as well as its possible utilization through the zeolites. The zeolites are known to possess many beneficial properties (such ...