Publications by Giovanni De Micheli

Related publications (553)

Dynamical Spot Queries to Improve Specificity in P450s based Multi-Drugs Monitoring

Giovanni De Micheli, Sandro Carrara, Andrea Cavallini, Abhishek Garg

Personalized therapy requires accurate and frequent monitoring of drugs metabolic response in living organisms during drug treatments. In case of high risk side effects, e.g. therapies with interfering anti-cancer molecules cocktails, direct monitoring of ...

2009

Optimizing Adiabatic Quantum-Flux-Parametron (AQFP) Circuits using an Exact Database

Giovanni De Micheli, Dewmini Sudara Marakkalage

Adiabatic Quantum-Flux-Parametron (AQFP) is a family of superconducting electronic (SCE) circuits exhibiting high energy efficiency. In AQFP technology, logic gates require splitters to drive multiple fanouts and both the logic gates and the splitters are ...

IEEE2021

A Simulation-Guided Paradigm for Logic Synthesis and Verification

Giovanni De Micheli, Heinz Riener, Siang-Yun Lee

This article proposes a new logic synthesis and verification paradigm based on circuit simulation. In this paradigm, high quality, expressive simulation patterns are pregenerated to be reused in multiple runs of optimization and verification algorithms, re ...

2022

Advanced Functional Decomposition Using Majority and Its Applications

Giovanni De Micheli, Mathias Soeken

Typical operators for the decomposition of Boolean functions in state-of-the-art algorithms are AND, exclusive-OR (XOR), and the 2-to-1 multiplexer (MUX). We propose a logic decomposition algorithm that uses the majority-of-three (MAJ) operation. Such a de ...

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2020

Size Optimization of MIGs with an Application to QCA and STMG Technologies

Giovanni De Micheli, Mathias Soeken, Luca Gaetano Amarù, Heinz Riener, Eleonora Testa

Majority-inverter graphs (MIGs) are a logic representation with remarkable algebraic and Boolean properties that enable efficient logic optimizations beyond the capabilities of traditional logic representations. Further, since many nano-emerging technologi ...

ASSOC COMPUTING MACHINERY2018

Exploiting Binary Abstractions in Deciphering Gene Interactions

Giovanni De Micheli, Abhishek Garg

We consider computationally reconstructing gene regulatory networks on top of the binary abstraction of gene expression state information. Unlike previous Boolean network approaches, the proposed method does not handle noisy gene expression values directly ...

2006

Hierarchical Thermal Management Policy for High-Performance 3D Systems with Liquid Cooling

Giovanni De Micheli, David Atienza Alonso, Mohamed Mostafa Sabry Aly, Francesco Zanini

3-Dimensional integrated circuits and systems are expected to be present in electronic products in the short term. We consider specifically 3-D multi-processor systems-onchip (MPSoCs), realized by stacking silicon CMOS chips and interconnecting them by mea ...

2011

A System for Wireless Power Transfer and Data Communication of Long-Term Bio-Monitoring

Giovanni De Micheli, Sandro Carrara, Catherine Dehollain, Camilla Baj-Rossi, Francesca Stradolini, Seyedeh Sara Ghoreishizadeh, Cristina Boero, Enver Gürhan Kilinç, Franco Maloberti, Stefano Riario

A system for wireless power transfer and data communication of implantable bio-monitoring systems is presented. The proposed solution uses a servo-controlled power transmitter moved under the animal moving space. An x-y movable magnetic coil transmits the ...

Institute of Electrical and Electronics Engineers2015

Three-Input Gates for Logic Synthesis

Giovanni De Micheli, Mathias Soeken, Heinz Riener, Eleonora Testa, Dewmini Sudara Marakkalage

Most logic synthesis algorithms work on graph representations of logic functions with nodes associated with arbitrary logic expressions or simple logic functions and iteratively optimize such graphs. While recent multilevel logic synthesis efforts focused ...

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2021

A Combined Sensor Placement and Convex Optimization Approach for Thermal Management in 3D-MPSoC with Liquid Cooling

Giovanni De Micheli, David Atienza Alonso, Francesco Zanini

Modern high-performance processors employ thermal management systems, which rely on accurate readings of on-die thermal sensors. Systematic tools for analysis and determination of best allocation and placement of thermal sensors is therefore a highly relev ...

Elsevier Science Bv2013

Bioimaging and Functional Genomics

Giovanni De Micheli, Luca Benini

For better understanding of genetic mechanisms underlying clinical observations, it is interesting to determine which genes and clinical traits are interrelated. In the last few years a consistent amount of research in genomics has been done concerning cor ...

2006

Online Thermal Control Methods for Multi-Processor Systems

Giovanni De Micheli, David Atienza Alonso, Colin Neil Jones, Luca Benini, Francesco Zanini

With technological advances, the number of cores integrated on a chip is increasing. This, in turn is leading to thermal constraints and thermal design challenges. Temperature gradients and hot-spots not only affect the performance of the system, but also ...

Association for Computing Machinery2012

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

Giovanni De Micheli, Pierre-Emmanuel Julien Marc Gaillardon, Michele De Marchi, Maxime Victor Thammasack

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

Amperometric biosensor with nanostructured electrodes by using multi-alled carbon nanotubes for glucose detection in cell culture medium

Giovanni De Micheli, Sandro Carrara, Cristina Boero

The monitoring of metabolic compounds such as glucose is largely reported in literature. The applications of this type of analysis are mainly related to clinical purposes, e.g. in diabetes pathology, where a lot of studies are presented in literature. Rece ...

2009

Data Compression via Logic Synthesis

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

Nowadays, most software and hardware applications are committed to reduce the footprint and resource usage of data. In this general context, lossless data compression is a beneficial technique that encodes information using fewer (or at most equal number o ...

2014

A wearable electrochemical sensing system for non-invasive monitoring of lithium drug in bipolar disorder

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

Lithium represents the main drug for the treatment of Bipolar Disorder (BD) as it acts as a mood stabilizer. However, because of its narrow therapeutic window, psychiatric patients are obliged to frequent tests in hospital to control their lithium blood co ...

2021

A Differential Electrochemical Readout ASIC with Heterogeneous Integration of Bio-nano Sensors for Amperometric Sensing

Giovanni De Micheli, Sandro Carrara, Irene Taurino, Seyedeh Sara Ghoreishizadeh

A Monolithic biosensing platform is presented for miniaturized amperometric electrochemical sensing in CMOS. The system consists of a fully-integrated current readout circuit for differential current measurement as well as on-die sensors developed by growi ...

2017

Multicore thermal management using approximate explicit Model Predictive Control

Giovanni De Micheli, David Atienza Alonso, Colin Neil Jones, Francesco Zanini

Meeting temperature constraints and reducing the hot-spots are critical for achieving reliable and efficient operation of complex multi-core systems. In this paper we aim at achieving an online smooth thermal control action that minimizes the performance l ...

IEEE Press2010

Single-FPGA 3D Ultrasound Beamformer

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

In medical diagnosis, ultrasound (US) imaging is one of the most common, safe, and powerful techniques. Volumetric (3D) US imaging, an emerging technique, is even more attractive than standard 2D imaging, as it allows for imaging without the local presence ...

Ieee2016

Majority-based Design Flow for AQFP Superconducting Family

Giovanni De Micheli, Alessandro Tempia Calvino, Siang-Yun Lee, Dewmini Sudara Marakkalage

Adiabatic superconducting devices are promising candidates to develop high-speed/low-power electronics. Advances in physical technology must be matched with a systematic development of comprehensive design and simulation tools to bring superconducting elec ...

IEEE2022