Recherche

Afficher tous les résultats pour

Accueil

Personne

Giovanni De Micheli

À propos
Confidentialité
Mentions légales

Graph Chatbot

Publications associées (554)

Paradigm-Shifting Players for IoT: Smart-Watches for Intensive Care Monitoring

Giovanni De Micheli, Sandro Carrara, Eleonora Lavalle, Francesca Stradolini, Danilo Demarchi

Wearable devices, e.g. smart-watches, are gaining popularity in many fields and in wellness monitoring too. In this paper we propose an IoT application to alert the medical doctor assigned to a critical unit by using a smart-watch. The wearable device impr ...

2016

SAT-Based Combinational and Sequential Dependency Computation

Giovanni De Micheli, Mathias Soeken

We present an algorithm for computing both functional dependency and unateness of combinational and sequential Boolean func- tions represented as logic networks. The algorithm uses SAT-based tech- niques from Combinational Equivalence Checking (CEC) ...

Springer2016

Memristive Biosensors Integration With Microfluidic Platform

Giovanni De Micheli, Sandro Carrara, Francesca Puppo, Ioulia Tzouvadaki, Alessandro Vallero

The integration of nanoscale sensors with microfluidic platforms is a powerful tool for the design of robust biosensing devices that present high reliability and the advantage of a quick data acquisition. In addition, microfluidic based lab-on-a-chip senso ...

Ieee-Inst Electrical Electronics Engineers Inc2016

Efficient Statistical Parameter Selection for Nonlinear Modeling of Process/Performance Variation

Giovanni De Micheli, Hassan Ghasemzadeh Mohammadi, Pierre-Emmanuel Julien Marc Gaillardon

With the growing number of process variation sources in deeply nano-scaled technologies, parameterized device and circuit modeling is becoming very important for chip design and verification. However, the high dimensionality of parameter space, for process ...

Ieee-Inst Electrical Electronics Engineers Inc2016

Label-Free Ultrasensitive Memristive Aptasensor

Giovanni De Micheli, Sandro Carrara, Ioulia Tzouvadaki

We present the very first worldwide ever-reported electrochemical biosensor based on a memristive effect and DNA aptamers. This novel device is developed to propose a completely new approach in cancer diagnostics. In this study, an affinity-based technique ...

American Chemical Society2016

An MIG-based Compiler for Programmable Logic-in-Memory Architectures

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

Resistive memories have gained high research attention for enabling design of in-memory computing circuits and systems. We propose for the first time an automatic compilation methodology suited to a recently proposed computer architecture solely based on r ...

Ieee2016

Boolean logic optimization in majority-inverter graphs

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

We present a Boolean logic optimization framework based on Majority-Inverter Graph (MIG). An MIG is a directed acyclic graph consisting of three-input majority nodes and regular/complemented edges. Current MIG optimization is supported by a consistent alge ...

2016

Notes on Majority Boolean Algebra

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

A Majority-Inverter Graph (MIG) is a homogeneous logic network, where each node represents the majority function. Recently, a logic optimization package based on the MIG data-structure, with 3-input majority node (M3) has been proposed [2], [30]. It is dem ...

IEEE2016

Enumeration of reversible functions and its application to circuit complexity

Giovanni De Micheli, Nabila Abdessaied, Mathias Soeken

We review combinational results to enumerate and classify reversible functions and investigate the application to circuit complexity. In particularly, we consider the effect of negating and permuting input and output variables and the effect of applying li ...

Springer2016

Single-FPGA, Scalable, Low-Power, and High-Quality 3D Ultrasound Beamformer

Jean-Philippe Thiran, Giovanni De Micheli, Federico Angiolini, Ahmet Caner Yüzügüler, Aya Mohamed Naguib Ahmed Ibrahim, Marcel Arditi

We present an efficient FPGA architecture suitable for a medical 3D ultrasound beamformer. We tackle the delay calculation bottleneck, which is the heart and the most critical part of the beam-former, by proposing a computationally efficient design that is ...

Ieee2016

High-performance low-power near-vt resistive memory-based fpga

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

A Field Programmable Gate Array (FPGA) of the island-type comprising a plurality of cluster-based Configurable Logic Blocks (CLBs), whereby each of the cluster-based CLBs is surrounded by a global routing structure formed by a plurality of multiplexers and ...

2016

An Innovative System of Membranes for the Monitoring of Endogenous and Exogenous Metabolites

Giovanni De Micheli, Sandro Carrara, Camilla Baj-Rossi, Seyedeh Sara Ghoreishizadeh

The development of a low-cost, robust, and versatile biosensors for the rapid detection of endogenous and exogenous metabolites in small animals is of great interest for health-care, pharmaceuticals, and in translational medicine. This work presents a comp ...

Springer2016

Co-design of ReRAM Passive Crossbar Arrays Integrated in 180nm CMOS Technology

Yusuf Leblebici, Giovanni De Micheli, Michele De Marchi, Davide Sacchetto, Jury Sandrini, Pierre-Emmanuel Julien Marc Gaillardon, Tugba Demirci, Maxime Victor Thammasack, Marios Barlas

This work presents the co-integration of resistive random access memory crossbars within a 180nm Read-Write CMOS chip. TaOx-based ReRAMs have been fabricated and characterized with materials and process steps compatible with the CMOS Back-End-of ...

Institute of Electrical and Electronics Engineers2016

Pattern-based fpga logic block and clustering algorithm

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

A routing architecture for fast interconnections between Look-Up Tables (LUTs) in a group of Basic Logic Elements (BLEs), whereby a size of the group ranges from 1 to k+1, where k is the number of inputs of a LUT, and LUTs in the group are indexed from 1 t ...

2016

Emerging Technology Based Design of Primitives for Hardware Security

Giovanni De Micheli, Pierre-Emmanuel Julien Marc Gaillardon

Hardware security concerns such as IP piracy and hardware Trojans have triggered research into circuit protection and malicious logic detection from various design perspectives. In this paper, emerging technologies are investigated by leveraging their uniq ...

Assoc Computing Machinery2016

A Fault Tolerant Ripple-Carry Adder with Controllable-Polarity Transistors

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

This paper deals with the effects of faults on circuits implemented with controllable-polarity transistors. We propose a new fault model that suits the characteristics of these devices, and report the results of a SPICE-based analysis of the effects of fau ...

2016

Apodization Scheme for Hardware-Efficient Beamformer

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

3D ultrasound is an emerging diagnostic technique that extends standard ultrasound imaging by capturing volumes, instead of planes. This brings completely new diagnostic opportunities, among which the possibility of disjoining image acquisition and analysi ...

Ieee2016

In-Vivo Validation of Fully Implantable Multi-Panel Devices for Remote Monitoring of Metabolism

Catherine Dehollain, Giovanni De Micheli, Andrea Cavallini, Sandro Carrara, Enver Gürhan Kilinç, Camilla Baj-Rossi, Francesca Stradolini

This paper presents the in-vivo tests on a Fully Implantable Multi-Panel Devices for Remote Monitoring of endogenous and exogenous analytes. To investigate issues on biocompatibility, three different covers have been designed, realized and tested in ...

Ieee-Inst Electrical Electronics Engineers Inc2016

Majority-based Synthesis for Nanotechnologies

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

We study the logic synthesis of emerging nanotechnologies whose elementary devices abstraction is a majority voter. We argue that synthesis tools, natively supporting the majority logic abstraction, are the technology enablers. This is because they allow d ...

Ieee2016

Method for speeding up boolean satisfiability

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

A method for transforming a tautology check of an original logic circuit into a contradiction check of the original logic circuit and vice versa comprises interpreting the original logic circuit in terms of AND, OR, MAJ, MIN, XOR, XNOR, INV original logic ...

2016

Page 11 sur 28