System-level design (SLD) is considered by many as the next frontier in electronic design
automation (EDA). SLD means many things to different people since there is no wide …

Recently, contract-based design has been proposed as an “orthogonal” approach that
complements system design methodologies proposed so far to cope with the complexity of …

Modern system-on-chip (SoC) design shows a clear trend toward integration of multiple
processor cores on a single chip. Designing a multiprocessor system-on-chip (MPSOC) …

Many real-time embedded systems process event streams that are composed of a finite
number of different event types. Each different event type on the stream would typically …

We present the modeling mechanism employed in Metropolis, a design environment for
heterogeneous embedded systems, and a design methodology based on the mechanism …

Evolutionary algorithms are not straightforward to implement and the lack of any specialised
language forces users to reinvent the wheel every time they want to write a new program …

Recently, contract based design has been proposed as an” orthogonal” approach that can
be applied to all methodologies proposed so far to cope with the complexity of system …

Verification of system designs continues to be a major challenge today. Simulation remains
the primary tool for making sure that implementations perform as they should. We present …

In the era of billion-transistor design, it is critical to establish effective verification
methodologies from the system level, all the way down to the implementations. In this paper …

Each of these constraints is difficult in itself, but the combination is extremely challenging.
And, of course, while meeting these requirements, we can't break the laws of physics …