Home

Person

Giovanni De Micheli

About
Privacy
Disclaimer

Graph Chatbot

Related publications (554)

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

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

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

A Flexible Front-End for Wearable Electrochemical Sensing

Giovanni De Micheli, Sandro Carrara, Francesca Stradolini, Abuduwaili Tuoheti, Mandresy Ivan Ny Hanitra, Danilo Demarchi, Tugba Kilic, Francesca Criscuolo, Lucia Lobello

This work presents the design and the realization of a flexible front-end circuitry for electrochemical sensing with wearable devices. The hardware combines readout circuitry for amperometric and Open Circuit Potential (OCP) measurements. The sensing platf ...

IEEE2018

Deep Learning for Logic Optimization Algorithms

Sabine Süsstrunk, Giovanni De Micheli, Frédéric Kaplan, Benoît Laurent Auguste Seguin, Winston Jason Haaswijk, Edo Collins, Mathias Soeken

The slowing down of Moore's law and the emergence of new technologies puts an increasing pressure on the field of EDA. There is a constant need to improve optimization algorithms. However, finding and implementing such algorithms is a difficult task, espec ...

IEEE2018

SAT-based {CNOT, T} Quantum Circuit Synthesis

Giovanni De Micheli, Giulia Meuli, Mathias Soeken

The prospective of practical quantum computers has lead researchers to investigate automatic tools to program them. A quantum program is modeled as a Clifford+T quantum circuit that needs to be optimized in order to comply with quantum technology constrain ...

2018

Majority Logic Synthesis

Giovanni De Micheli, Luca Gaetano Amarù, Odysseas Zografos, Eleonora Testa, Mathias Soeken

The majority function (xyz) evaluates to true, if at least two of its Boolean inputs evaluate to true. The majority function has frequently been studied as a central primitive in logic synthesis applications for many decades. Knuth refers to the majority f ...

ASSOC COMPUTING MACHINERY2018

SAT Based Exact Synthesis using DAG Topology Families

Giovanni De Micheli, Winston Jason Haaswijk, Mathias Soeken

SAT based exact synthesis is a powerful technique, with applications in logic optimization, technology mapping, and synthesis for emerging technologies. However, its runtime behavior can be unpredictable and slow. In this paper, we propose to add a new typ ...

IEEE2018

Cleaning strategy for carbon-based electrodes: Long-term propofol monitoring in human serum

Giovanni Boero, Giovanni De Micheli, Irene Taurino, Francesca Stradolini, Tugba Kilic

In this work, we present a novel electrochemical cleaning procedure for long-term electrochemical monitoring of propofol by using boron-doped diamond (BDD) and pencil graphite electrode (PGE). Propofol is an anesthetic that is widely used for long-lasting ...

2018

Resistive random access memory based multiplexers and field programmable gate arrays

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

Resistive random access memory (RRAM) based multiplexers and field programmable gate arrays (FPGAs) are provided. The RRAM-based multiplexers and FPGAs include a 4T1R programming structure to program the RRAMs. The programming structure includes two progra ...

2018

A Best-Fit Mapping Algorithm to Facilitate ESOP-Decomposition in Clifford+T Quantum Network Synthesis

Giovanni De Micheli, Giulia Meuli, Mathias Soeken

Currently, there is a large research interest and a significant economical effort to build the first practical quantum computer. Such quantum computers promise to exceed the capabilities of conventional computers in fields such as computational chemistry, ...

IEEE2018

Improvements to Boolean resynthesis

Giovanni De Micheli, Luca Gaetano Amarù, Mathias Soeken

In electronic design automation Boolean resynthesis techniques are increasingly used to improve the quality of results where algebraic methods hit local minima Boolean methods rely on complete functional properties of a logic circuit, preferably including ...

IEEE2018

End-to-End Industrial Study of Retiming

Giovanni De Micheli, Maciej Jerzy Ciesielski, Cunxi Yu

Sequential circuits are combinational circuits that are separated by registers. Retiming is considered as the most promising technique for optimizing sequential circuits, that involves moving the edge-triggered registers across the combinational logic with ...

IEEE2018

Functional Decomposition Using Majority

Giovanni De Micheli, Mathias Soeken, Zhufei Chu

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

IEEE2018

Cyber-medical systems: requirements, components, design

Giovanni De Micheli

IEEE2018

An FPGA-Based Test System for RRAM Technology Characterization

Giovanni De Micheli, Pierre-Emmanuel Julien Marc Gaillardon, Maxime Victor Thammasack, Armando Biscontini

Resistive random access memory (RRAM) technologies have recently gained large attention from the academic and industrial research communities. Significant efforts have been made to enhance the performance of the memory stacks from both communities through ...

2018

Generating Safety Guidance for Medical Injection with Three-Compartment Pharmacokinetics Model

Giovanni De Micheli, Francesca Stradolini, Heinz Riener, Cunxi Yu

Medical cyber-physical systems are a new trend of software controlled physical systems that are increasingly common in medical domains. With rapid developments in medical science and computer technology, safety verification and simulation becomes more chal ...

IEEE2018

Mixed gold and platinum nanostructured layers for all-solid-state ion sensors

Giovanni De Micheli, Sandro Carrara, Irene Taurino, Danilo Demarchi, Francesca Criscuolo, Lucia Lobello

The great interest in portable and wearable monitoring systems has promoted in recent years a major expansion of all-solid-state Ion-Selective Electrodes (ISEs). Nanostructured Solid-Contacts (SCs) have shown a promising potential in order to eliminate the ...

IEEE2018

Integrated ESOP Refactoring for Industrial Designs

Giovanni De Micheli, Luca Gaetano Amarù, Winston Jason Haaswijk, Mathias Soeken

We present a multi-level logic refactoring algorithm based on exclusive sum-of-product (ESOP) expressions. ESOP expressions are two-level logic representation forms, similar to sum of -product (SOP) expressions. However, ESOPs use EXOR instead of OR operat ...

IEEE2018

SAT Based Exact Synthesis using DAG Topology Families

Giovanni De Micheli, Winston Jason Haaswijk, Mathias Soeken

2018

Single-FPGA complete 3D and 2D medical ultrasound imager

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

3D ultrasound (US) acquisition acquires volumetric images, thus alleviating a classical US imaging bottleneck that requires a highly-trained sonographer to operate the US probe. However, this opportunity has not been explored in practice, since 3D US machi ...

IEEE2017

Aptamer-based Field-Effect Biosensor for Tenofovir Detection

Giovanni De Micheli, Sandro Carrara, Nima Aliakbarinodehi

During medical treatment it is critical to maintain the circulatory concentration of drugs within their therapeutic range. A novel biosensor is presented in this work to address the lack of a reliable point-of-care drug monitoring system in the market. The ...

Nature Research2017

Page 8 of 28