Concept

Electronic system-level design and verification

Related publications (144)

Synthesis of Predictable Networks-on-Chip Based Interconnect Architectures for Chip Multi-Processors

Giovanni De Micheli, David Atienza Alonso, Luca Benini, Srinivasan Murali

Today, chip multiprocessors (CMPs) that accommodate multiple processor cores on the same chip have become a reality. As the communication complexity of such multicore systems is rapidly increasing, designing an interconnect architecture with predictable be ...

2007

Continuous sampling and analysis by on-chip liquid/solid chromatography

Philippe Renaud, Mario Schlund, Silvan Schnydrig

This paper describes a lab-on-a-chip device for continuous liquid/solid chromatography measurements. Chromatographic separations of phenolic test solutions as well as of vitamins are illustrating the ability and versatility of the system. The dependence of ...

2007

The embedded systems design challenge

Joseph Sifakis

We summarize some current trends in embedded systems design and point out some of their characteristics, such as the chasm between analytical and computational models, and the gap between safety-critical and best-effort engineering practices. We call for a ...

2006

Design for Reliability of Nanometer-Scale Electronics under High Defect Density

Alexandre Schmid, Yusuf Leblebici, Milos Stanisavljevic

High defect density exhibited by nanoelectronic technologies, and parameter variability already affecting the operation of very-deep submicron CMOS systems demand for a combination of specific solutions, focusing at each various levels of abstraction in th ...

2006

Equivalent Circuit for RF Flexural Free-Free MEMS Resonators

Massimo Mastrangeli

A method to extract a lumped-parameter equivalent circuit for a free-free flexural MEMS resonator, based on the Euler-Bernoulli beam equation and exploiting a modal analysis approach, is presented. The dynamic behaviour predicted by the equivalent circuit ...

Springer Verlag2006

Applications of Specification and Design Languages for SoCs Selected papers from FDL'05

Alain Vachoux

Applications of Specification and Design Languages for SoCs includes a selection of the best contributions to the Forum on Specification and Design Languages held in 2005 (FDL'05). Since its inception in 1998, FDL has established itself as the premier Euro ...

Springer2006

Comparison of a Timing-Error Tolerant Scheme with a Traditional Re-transmission Mechanism for Networks on Chips

Giovanni De Micheli, David Atienza Alonso, Luca Benini, Srinivasan Murali, Federico Angiolini

On-chip wires are becoming unreliable as the effect of various noise sources increases with technology scaling. This leads to unpredictable timing delay variations on the interconnect wires. There is a significant need to mitigate the effect of parasitics ...

2006

Towards Optimal Control of Self-Organized Robotic Inspection Systems

Alcherio Martinoli, Nicolaus Correll

We consider a swarm-intelligent inspection system concerned with the inspection of blades in a jet turbine. The system is based on a swarm of autonomous, miniature robots, using only on-board, local sensors. We capture the dynamics of the system at a highe ...

2006

Reliability Support for On-chip Memories Using Networks-on-Chips

Giovanni De Micheli, David Atienza Alonso, Luca Benini, Srinivasan Murali, Federico Angiolini

As the geometries of the transistors reach the physical limits of operation, one of the main design challenges of Systems-on-Chips (SoCs) will be to provide dynamic (run-time) support against permanent and intermittent faults that can occur in the system. ...

2006

Flexible and Efficient Measurement of Dynamic Bytecode Metrics

Code instrumentation is finding more and more practical applications, but the required program transformations are often difficult to implement, due to the lack of dedicated, high-level tools. In this paper we present a novel instrumentation framework that ...

ACM Press2006

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.