Home

Person

Giovanni De Micheli

About
Privacy
Disclaimer

Graph Chatbot

Related publications (554)

Safe and Efficient Deployment of Data-Parallelisable Applications on Many-Core Platforms: Theory and Practice

Giovanni De Micheli, Federico Angiolini, Alena Simalatsar, Stefanos Skalistis

The safe and, at the same time, efficient deployment of parallelisable applications on many-core platforms is a challenging task. Theoretical Models of Computation (MoC) require the realistic estimation of task Worst-Case Execution Time (WCET ...

2017

An electrochemical sensor for quantitative analysis of Rhesus D antibodies in blood

Giovanni De Micheli, Sandro Carrara, Irene Taurino, Tugba Kilic, Francesca Criscuolo

The Hemolytic Disease of the Fetus and Newborn (HDFN), if untreated, can have severe consequences on baby’s health, eventually causing death. Prevention and diagnosis of pregnancies at risk of HDFN consists in quantitative analysis in hospital every 2-4 we ...

IEEE2017

Enabling exact delay synthesis

Giovanni De Micheli, Luca Gaetano Amarù, Pierre-Emmanuel Julien Marc Gaillardon, Mathias Soeken

Given (i) a Boolean function, (ii) a set of arrival times at the inputs, and (iii) a gate library with associated delay values, the exact delay synthesis problem asks for a circuit implementation which minimizes the arrival time at the output(s). The exact ...

IEEE2017

Design Automation and Design Space Exploration for Quantum Computers

Giovanni De Micheli, Mathias Soeken

A major hurdle to the deployment of quantum linear systems algorithms and recent quantum simulation algorithms lies in the difficulty to find inexpensive reversible circuits for arithmetic using existing hand coded methods. Motivated by recent advances in ...

Ieee2017

Operation regimes and electrical transport of steep slope Schottky Si-FinFETS

Giovanni De Micheli, Jian Zhang, Pierre-Emmanuel Julien Marc Gaillardon

In the quest for energy efficient circuits, considerable focus has been given to steep slope and polarity-controllable devices, targeting low supply voltages and reduction of transistor count. The recently proposed concept of the three-independent gated Si ...

2017

The memristive effect as a novelty in drug monitoring

Giovanni De Micheli, Sandro Carrara, Nima Aliakbarinodehi, Ioulia Tzouvadaki

Nanoscale devices exhibiting memristive properties show great potential in a plethora of applications. In this work, memristive nanowires are presented for the first time as ideal candidates for absolutely novel, ultrasensitive, highly specific and selecti ...

2017

Control of Resistive Switching in Mott Memories Based on TiN/AM4Q8/TiN MIM Devices

Giovanni De Micheli, Davide Sacchetto, Jury Sandrini, Pierre-Emmanuel Julien Marc Gaillardon

The family of AM4Q8 chalcogenide Mott insulators gained attention in recent years for its application opportunities. Here, we explore and validate the resistive switching mechanism of thin-film of GaV4S8 sandwich ...

Electrochemical Society2017

A bimetallic nanocoral Au decorated with Pt nanoflowers (bio)sensor for H2O2 detection at low potential

Giovanni De Micheli, Sandro Carrara, Irene Taurino, Francesca Puppo

In this work, we have developed for the first time a method to make novel gold and platinum hybrid bimetallic nanostructures differing in shape and size. Au-Pt nanostructures were prepared by electrodeposition in two simple steps. The first step consists o ...

Academic Press Inc Elsevier Science2017

1024-Channel 3D Ultrasound Digital Beamformer in a Single 5W FPGA

Jean-Philippe Thiran, Giovanni De Micheli, Federico Angiolini, Aya Mohamed Naguib Ahmed Ibrahim

3D ultrasound, an emerging medical imaging technique that is presently only used in hospitals, has the potential to enable breakthrough telemedicine applications, provided that its cost and power dissipation can be minimized. In this paper, we present an F ...

IEEE2017

Networks on Chips: 15 Years Later

Giovanni De Micheli, Luca Benini

The authors of a Computer article from 2002 reflect on their proposal to use networks on chips to address scalable communications on silicon VLSI chips. ...

2017

Cyber-Medical Systems: Requirements, Components and Design Examples

Giovanni De Micheli

Cyber-medical systems will produce a major revolution in health care, by both raising the quality of care and reducing its cost, thus reaching an important social and economic goal. The evolution of electronic devices and systems has already enabled societ ...

2017

Classifying Functions with Exact Synthesis

Giovanni De Micheli, Winston Jason Haaswijk, Eleonora Testa, Mathias Soeken

Due to recent advances, constraint solvers have become efficient tools for synthesizing optimum Boolean circuits. We take advantage of this by showing how SAT based exact synthesis may be used as a method for finding minimum length Boolean chains. As oppos ...

IEEE2017

Endurance Management for Resistive Logic-In-Memory Computing Architectures

Giovanni De Micheli, Pierre-Emmanuel Julien Marc Gaillardon, Mathias Soeken

Resistive Random Access Memory (RRAM) is a promising non-volatile memory technology which enables modern in-memory computing architectures. Although RRAMs are known to be superior to conventional memories in many aspects, they suffer from a low writ ...

Ieee2017

Nano-Tera.ch: Information Technology for Health, Environment, and Energy

Patrick Mayor, Martin Rajman, Giovanni De Micheli

Bettering human health care and creating a sustainable environment through monitoring and smart energy usage are primary goals of advanced societies. To this purpose, the Swiss Government, through the State Secretariat for Education, Research, and Innovati ...

Ieee-Inst Electrical Electronics Engineers Inc2017

Low Temperature Wet Conformal Nickel Silicide Deposition for Transistor Technology through an Organometallic Approach

Giovanni De Micheli, Michele De Marchi, Pierre-Emmanuel Julien Marc Gaillardon, Tsung-Han Lin, Maxime Victor Thammasack, David Baudouin

The race for performance of integrated circuits is nowadays facing a downscale limitation. To overpass this nanoscale limit, modern transistors with complex geometries have flourished, allowing higher performance and energy efficiency. Accompanying this br ...

Amer Chemical Soc2017

Circuit Designs of High-Performance and Low-Power RRAM-Based Multiplexers Based on 4T(ransistor)1R(RAM) Programming Structure

Giovanni De Micheli, Xifan Tang, Pierre-Emmanuel Julien Marc Gaillardon, Edouard Giacomin

Routing multiplexers based on pass-transistors or transmission gates are an essential components in many digital integrated circuits. However, whatever structure is employed, CMOS multiplexers have two major limitations: 1) their delay is linearly related ...

Ieee-Inst Electrical Electronics Engineers Inc2017

A Novel Basis for Logic Rewriting

Giovanni De Micheli, Luca Gaetano Amarù, Pierre-Emmanuel Julien Marc Gaillardon, Winston Jason Haaswijk, Mathias Soeken

Given a set of logic primitives and a Boolean function, exact synthesis finds the optimum representation (e.g., depth or size) of the function in terms of the primitives. Due to its high computational complexity, the use of exact synthesis is limite ...

Ieee2017

Busy Man’s Synthesis: Combinational Delay Optimization With SAT

Giovanni De Micheli, Mathias Soeken

Boolean SAT solving can be used to find a minimum- size logic network for a given small Boolean function. This paper extends the SAT formulation to find a minimum-size network under delay constraints. Delay constraints are given in terms of input arrival t ...

Ieee2017

A PLiM Computer for the Internet of Things

Giovanni De Micheli, Pierre-Emmanuel Julien Marc Gaillardon, Mathias Soeken

Emerging applications are dramatically changing computer architecture requirements, with a shift toward big data that is processed using simple computations. A programmable logic-in-memory (PLiM) computer can allow memory cells to perform primitive logic o ...

2017

Inverter Propagation and Fan-Out Constraints for Beyond-CMOS Majority-Based Technologies

Giovanni De Micheli, Odysseas Zografos, Eleonora Testa, Mathias Soeken

Traditional logic synthesis faces challenges of meeting the requirements demanded by the many emerging nanotech-nologies that are based on logic models different from standard CMOS. Several emerging nanodevices including Quantum-dot Cellular Automata (QCA) ...

IEEE2017

Page 9 of 28