- Embedded Systems Design Techniques
- Low-power high-performance VLSI design
- Parallel Computing and Optimization Techniques
- Interconnection Networks and Systems
- VLSI and FPGA Design Techniques
- Semiconductor materials and devices
- Advanced Memory and Neural Computing
- Advancements in Semiconductor Devices and Circuit Design
- VLSI and Analog Circuit Testing
- Formal Methods in Verification
- Electrochemical sensors and biosensors
- Neuroscience and Neural Engineering
- Analytical Chemistry and Sensors
- Quantum-Dot Cellular Automata
- 3D IC and TSV technologies
- Nanowire Synthesis and Applications
- Ferroelectric and Negative Capacitance Devices
- Quantum Computing Algorithms and Architecture
- Advanced biosensing and bioanalysis techniques
- Radiation Effects in Electronics
- Electrochemical Analysis and Applications
- Green IT and Sustainability
- Quantum Information and Cryptography
- Real-Time Systems Scheduling
- Advanced Sensor and Energy Harvesting Materials
École Polytechnique Fédérale de Lausanne
2016-2025
Swiss Epilepsy Center
2007-2022
TU Dresden
2013-2022
Southern Methodist University
2020
Microsoft (United States)
2020
University of Utah
2017
Integrated Laboratory Systems, Inc.
2013-2017
ETH Zurich
2017
University of Lausanne
2016
École Normale Supérieure - PSL
2007-2015
On-chip micronetworks, designed with a layered methodology, will meet the distinctive challenges of providing functionally correct, reliable operation interacting system-on-chip components. A system on chip (SoC) can provide an integrated solution to challenging design problems in telecommunications, multimedia, and consumer electronics domains. Much progress these fields hinges designers' ability conceive complex electronic engines under strong time-to-market pressure. Success require using...
From the Publisher: Synthesis and Optimization of Digital Circuits offers a modern, up-to-date look at computer-aided design (CAD) very large-scale integration (VLSI) circuits. In particular, this book covers techniques for synthesis optimization digital circuits architectural logic levels, i.e., generation performance-and/or area-optimal representations from models in hardware description languages. The provides thorough explanation algorithms accompanied by sound mathematical formulation...
As system design grows increasingly complex, the use of predesigned components, such as general-purpose microprocessors can simplify synthesized hardware. While problems in designing systems that contain processors and application-specific integrated circuit chips are not new, computer-aided synthesis heterogeneous or mixed poses unique problems. The authors demonstrate feasibility synthesizing by using timing constraints to delegate tasks between hardware software so performance...
We address the design of complex monolithic systems, where processing cores generate and consume a varying large amount data, thus bringing communication links to edge congestion. Typical applications are in area multi-media processing. consider mesh-based networks on chip (NoC) architecture, we explore assignment mesh cross-points so that traffic satisfies bandwidth constraints. A single-path deterministic routing between places high demands links. The requirements can be significantly...
The growing complexity of customizable single-chip multiprocessors is requiring communication resources that can only be provided by a highly-scalable infrastructure. This trend exemplified the number network-on-chip (NoC) architectures have been proposed recently for system-on-chip (SoC) integration. Developing NoC-based systems tailored to particular application domain crucial achieving high-performance, energy-efficient customized solutions. effectiveness this approach largely depends on...
Dynamic power management schemes (also called policies) reduce the consumption of complex electronic systems by trading off performance for in a controlled fashion, taking system workload into account. In power-managed it is possible to set components different states, each characterized and levels. The main function policy decide when perform component state transitions which transition should be performed, depending on history, workload, constraints. past, policies have been formulated...
We address the design of complex monolithic systems, where processing cores generate and consume a varying large amount data, thus bringing communication links to edge congestion. Typical applications are in area multi-media processing. consider mesh-based networks on chip (NoC) architecture, we explore assignment mesh cross-points so that traffic satisfies bandwidth constraints. A single-path deterministic routing between places high demands links. The requirements can be significantly...
In this paper, we introduce a framework to estimate the power consumption on switch fabrics in network routers. We propose different modeling methodologies for node switches, internal buffers and interconnect wires inside fabric architectures. A simulation platform is also implemented trace dynamic with bit-level accuracy. Using framework, four architectures are analyzed under traffic throughput numbers of ingress/egress ports. This analysis can be applied architectural exploration low high...
This tutorial surveys design methods for energy-efficient system-level design. We consider electronic sytems consisting of a hardware platform and software layers. the three major constituents that consume energy, namely computation, communication, storage units, we review reducing their energy consumption. also study models analyzing cost software, compilation. survery is organized around main phases system design: conceptualization modeling implementation, runtime management. For each...
Computer-Aided synthesis of sequential functions VLSI systems, such as microprocessor control units, must include design optimization procedures to yield area-effective circuits. We model deterministic synchronous Finite State Machines (FSM's), and we consider a regular structured implementation by means Programmable Logic Arrays (PLA's) feedback registers. assignment, i.e., binary encoding the internal states finite state machine, affects substantially silicon area taken an implementation....
Abstract Motivation: In silico modeling of gene regulatory networks has gained some momentum recently due to increased interest in analyzing the dynamics biological systems. This been further facilitated by increasing availability experimental data on gene–gene, protein–protein and gene–protein interactions. The two dynamical properties that are often experimentally testable perturbations stable steady states. Although a lot work done identification states, not much reported cellular...
We fabricated and characterized new ambipolar silicon nanowire (SiNW) FET transistors featuring two independent gate-all-around electrodes vertically stacked SiNW channels. One gate electrode enables dynamic configuration of the device polarity (n or p-type), while other switches on/off device. Measurement results on show I <sub xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">on</sub> /I xmlns:xlink="http://www.w3.org/1999/xlink">off</sub> > 10 <sup...
In this paper, we present the EPFL combinational benchmark suite. We aim at completing existing suites by focusing only on natively benchmarks. The suite consists of 23 circuits designed to challenge modern logic optimization tools. It is further divided into three parts. first part includes 10 arithmetic benchmarks, e.g., square-root, hypotenuse, divisor, multiplier etc.. second random/control round-robin arbiter, lookahead XY router, alu control unit, memory controller third contains 3...
In this paper, we propose a paradigm shift in representing and optimizing logic by using only majority (MAJ) inversion (INV) functions as basic operations. We represent majority-inverter graph (MIG): directed acyclic consisting of three-input nodes regular/complemented edges. optimize MIGs via new Boolean algebra, based exclusively on operations, that formally axiomatize paper. As complement to MIG algebraic optimization, develop powerful methods exploiting global properties MIGs, such...
Increasing communication demands of processor and memory cores in Systems on Chips (SoCs) necessitate the use Networks Chip (NoC) to interconnect cores. An important phase design NoCs is he mapping onto most suitable opology for a given application. In this paper, we present SUNMAP tool automatically selecting best topology application producing that topology. explores various objectives such as minimizing average delay, area, power dissipation subject bandwidth area constraints. The...
In this article, we discuss design constraints to characterize efficient error recovery mechanisms for the NoC environment. We explore control at data link and network layers present schemes' architectural details. investigate energy efficiency, protection performance impact of various mechanisms.
This paper is meant to be a short introduction new paradigm for systems on chip (SoC) design. The premises are that component-based design methodology will prevail in the future, support component re-use plug-and-play fashion. At same time, SoCs have provide functionally-correct, reliable operation of interacting components. physical interconnections limiting factor performance and energy consumption.
In microprocessor-based systems, large power savings can be achieved through reduction of the transition activity on- and off-chip buses. This is because total capacitance being switched when a voltage change occurs on bus line usually sensibly larger than capacitive load that must charged/discharged internal nodes toggle. this paper, we propose an encoding scheme which suitable for reducing switching lines address bus. The technique relies observation that, in remarkable number cases,...
On-chip interconnection networks for future systems on chip (SoC) will have to deal with the increasing sensitivity of global wires noise sources such as crosstalk or power supply noise. Hence, transient delay and logic faults are likely reduce reliability across-chip communication. Given reduced budgets SoCs, in this paper, we develop solutions combined energy minimization communication control. Redundant bus coding is proved be an effective technique trading off against reliability, so...
Portable systems require long battery lifetime while still delivering high performance. Dynamic power management (DPM) policies trade off the performance for consumption at system level in portable devices. In this work we present time-indexed SMDP model (TISMDP) that use to derive optimal policy DPM systems. TISMDP is needed handle non-exponential user request interarrival times observed practice. We our control on three different devices: SmartBadge device [18], Sony Vaio laptop hard disk...
Portable systems require long battery lifetime while still delivering high performance. Dynamic voltage scaling (DVS) algorithms reduce energy consumption by changing processor speed and at run-time depending on the needs of applications running. power management (DPM) policies trade off performance for selectively placing components into low-power states. In this work we extend DPM model presented in [2, 3] with a DVS algorithm, thus enabling larger savings. We test our approach MPEG video...
Future Systems on Chips (SoCs) will integrate a large number of processor and storage cores onto single chip require Networks Chip (NoC) to support the heavy communication demands system. The individual components SoCs be heterogeneous in nature with widely varying functionality requirements. infrastructure should optimally match patterns among these accounting for component needs. In this paper we present xpipes Compiler, tool automatically instantiating an application-specific NoC...
With increasing communication demands of processor and memory cores in Systems on Chips (SoCs), scalable Networks (NoCs) are needed to interconnect the cores. For use NoCs be feasible today's industrial designs, a custom-tailored, application-specific NoC that satisfies design objectives constraints targeted application domain is required. In this work, we present methodology automates synthesis such architectures. We floorplan aware method considers wiring complexity during topology...