Recherche

Afficher tous les résultats pour

Accueil

Personne

Giovanni De Micheli

À propos
Confidentialité
Mentions légales

Graph Chatbot

Publications associées (554)

Utilizing XMG-based Synthesis to Preserve Self-Duality for RFET-Based Circuits

Giovanni De Micheli, Heinz Riener, Alessandro Tempia Calvino, Shubham Rai, Akash Kumar

Individual transistors based on emerging reconfigurable nanotechnologies exhibit electrical conduction for both types of charge carriers. These transistors (referred to as Reconfigurable Field-Effect Transistors (RFETs)) enable dynamic reconfiguration to d ...

2022

An Automated Testing and Debugging Toolkit for Gate-Level Logic Synthesis Applications

Giovanni De Micheli, Heinz Riener, Siang-Yun Lee

2022

Beyond Local Optimality of Buffer and Splitter Insertion for AQFP Circuits

Giovanni De Micheli, Heinz Riener, Siang-Yun Lee

Adiabatic quantum-flux parametron (AQFP) is an energy-efficient superconducting technology. Buffer and splitter (B/S) cells must be inserted to an AQFP circuit to meet the technology-imposed constraints on path balancing and fanout branching. These cells a ...

ACM2022

Preserving Self-Duality During Logic Synthesis for Emerging Reconfigurable Nanotechnologies

Giovanni De Micheli, Heinz Riener, Shubham Rai, Akash Kumar

Emerging reconfigurable nanotechnologies allow the implementation of self-dual functions with a fewer number of transistors as compared to traditional CMOS technologies. To achieve better area results for Reconfigurable Field-Effect Transistors (RFET)-base ...

IEEE2021

From Boolean functions to quantum circuits: A scalable quantum compilation flow in C++

Giovanni De Micheli, Giulia Meuli, Bruno Schmitt Antunes, Heinz Riener, Fereshte Mozafari Ghoraba

We propose a flow for automated quantum compila- tion. Our flow takes a Boolean function implemented in Python as input and translates it into a format appropriate for reversible logic synthesis. We focus on two quantum compilation tasks: uniform state pre ...

2021

Compilation flow for classically defined quantum operations

Giovanni De Micheli, Bruno Schmitt Antunes

We present a flow for synthesizing quantum operations that are defined by classical combinational functions. The discussion will focus on out-of-place computation, i.e., U-f : vertical bar x >vertical bar y >vertical bar 0 >(k) -> vertical bar x >vertical ...

IEEE2021

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

Algebraic and Boolean Optimization Methods for AQFP Superconducting Circuits

Giovanni De Micheli, Eleonora Testa, Heinz Riener, Siang-Yun Lee

Adiabatic quantum-flux-parametron (AQFP) circuits are a family of superconducting electronic (SCE) circuits that have recently gained growing interest due to their low-energy consumption, and may serve as alternative technology to overcome the down-scaling ...

IEEE2021

Logic Resynthesis of Majority-Based Circuits by Top-Down Decomposition

Giovanni De Micheli, Heinz Riener, Siang-Yun Lee

Logic resynthesis is the problem of finding a dependency function to re-express a given Boolean function in terms of a given set of divisor functions. In this paper, we study logic resynthesis of majority-based circuits, which is motivated by the increasin ...

IEEE2021

All-Solid-State Ion-Selective Electrodes: A Tutorial for Correct Practice

Giovanni De Micheli, Sandro Carrara, Irene Taurino, Mandresy Ivan Ny Hanitra, Francesca Criscuolo

The research on ion-measuring devices has seen a rapid expansion in the last years as a consequence of the growing interest in wearable sensors for biofluids analysis and in portable devices for remote or in-line water and food quality monitoring. As a res ...

2021

Three-Input Gates for Logic Synthesis

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

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

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

LUT-Based Optimization For ASIC Design Flow

Giovanni De Micheli, Luca Gaetano Amarù, Eleonora Testa

In this paper, we develop a new LUT-based optimization flow tailored for the synthesis of ASICs rather than FPGAs. We enhance LUT-mapping to consider the literal/AIG cost of LUT-nodes. We extend traditional Boolean methods to simplify and re-shape LUT-netw ...

2021

Multi-ion-sensing emulator and multivariate calibration optimization by machine learning models

Giovanni De Micheli, Sandro Carrara, Mandresy Ivan Ny Hanitra, Francesca Criscuolo

One paramount challenge in multi-ion-sensing arises from ion interference that degrades the accuracy of sensor calibration. Machine learning models are here proposed to optimize such multivariate calibration. However, the acquisition of big experimental da ...

2021

Real-Time Multi-Ion-Monitoring Front-End With Interference Compensation by Multi-Output Support Vector Regressor

Giovanni De Micheli, Sandro Carrara, Mandresy Ivan Ny Hanitra, Francesca Criscuolo

Ion-sensors play a major role in physiology and healthcare monitoring since they are capable of continuously collecting biological data from body fluids. Nevertheless, ion interference from background electrolytes present in the sample is a paramount chall ...

2021

The Emerging Majority: Technology and Design for Superconducting Electronics

Giovanni De Micheli

Editor's notes: Emerging computing technologies will enable design of energy-efficient circuits and systems in the future. This article presents a tutorial on the role of emerging technologies in designing green computing systems. -Partha Pratim Pande, Was ...

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2021

Three-Input Gates for Logic Synthesis

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

2020

Multi-Channel Front-End for Electrochemical Sensing of Metabolites, Drugs, and Electrolytes

Giovanni De Micheli, Sandro Carrara, Nadezda Pankratova, Mandresy Ivan Ny Hanitra, Francesca Criscuolo

A multi-channel front-end for electrochemical sensing is presented. It consists of a multiplexed four-channel readout interface supporting amperometric, voltammetric, and potentiometric measurements. The electronic interface is co-designed according to the ...

2020

A Logic Synthesis Toolbox for Reducing the Multiplicative Complexity in Logic Networks

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

Logic synthesis is a fundamental step in the realization of modern integrated circuits. It has traditionally been employed for the optimization of CMOS-based designs, as well as for emerging technologies and quantum computing. Recently, it found applicatio ...

IEEE2020

Emulator Design and Generation of Synthetic Dataset in Multi-Ion Sensing

Giovanni De Micheli, Sandro Carrara, Mandresy Ivan Ny Hanitra, Danilo Demarchi

Multi-ion potentiometric sensing becomes challenging for mixed-ion samples in which interfering electrolytes significantly alter the response of each single sensor. Therefore, an emulator based on the phase-boundary potential model is proposed to simulate ...

IEEE2020

Page 4 sur 28