Recherche

Afficher tous les résultats pour

Accueil

Personne

Giovanni De Micheli

À propos
Confidentialité
Mentions légales

Graph Chatbot

Publications associées (554)

Multiplier Architectures: Challenges and Opportunities with Plasmonic-based Logic

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

Emerging technologies such as plasmonics and photonics are promising alternatives to CMOS for high throughput applications, thanks to their waveguide's low power consumption and high speed of computation. Besides these qualities, these novel technologies a ...

2020

Roundtable Panel Discussion at DAC 2019: Evolutionary Computing or Heuristic Forever?

Massimiliano Di Ventra, Giovanni De Micheli

As demands for computing have been continuously increasing, various solutions have been proposed. Some approaches deal with improving algorithms and software programs, mainly through the tuning of advanced heuristics and learning methods. Some other tackle ...

2020

Wearable multifunctional sweat-sensing system for efficient healthcare monitoring

Giovanni De Micheli, Sandro Carrara, Irene Taurino, Nicolò Oliva, Mandresy Ivan Ny Hanitra, Francesca Criscuolo, Simone Aiassa

Despite the huge expansion in recent years of sweat sensing and wearable technologies, several challenges are still open, including poor sample collection, separate sampling and analysis, low multi-sensing capabilities and materials toxicity. In this work, ...

2020

SAT-Based Exact Synthesis: Encodings, Topology Families, and Parallelism

Giovanni De Micheli, Winston Jason Haaswijk, Mathias Soeken

Exact synthesis is a versatile logic synthesis technique with applications to logic optimization, technology mapping, synthesis for emerging technologies, and cryptography. In recent years, advances in SAT solving have lead to a heightened research effort ...

2020

Automatic Uniform Quantum State Preparation Using Decision Diagrams

Giovanni De Micheli, Mathias Soeken, Heinz Riener, Fereshte Mozafari Ghoraba

Most quantum algorithms assume some specific initial state in superposition of basis states before performing the desired application-specific computations. The preparation of such states itself requires a computation performed by a quantum circuit. In thi ...

IEEE COMPUTER SOC2020

Boolean satisfiability in quantum compilation

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

Quantum compilation is the task of translating a quantum algorithm implemented in a high-level quantum programming language into a technology-dependent instructions flow for a physical quantum computer. To tackle the large gap between the quantum program a ...

ROYAL SOC2020

Nonsilicon, Non-von Neumann Computing-Part II

Giovanni De Micheli

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2020

Extending Boolean Methods for Scalable Logic Synthesis

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

In recent years, Boolean methods in logic synthesis have been drawing the attention of EDA researchers due to the continuous push to advance quality of results. Boolean methods require high computational cost, as they rely on complete functional properties ...

2020

Enumerating Optimal Quantum Circuits using Spectral Classification

Giovanni De Micheli, Giulia Meuli, Mathias Soeken

This work targets fault-tolerant quantum computing and focuses on the problem of mapping reversible circuits into the Clifford+T quantum gate library. We present an automatically-generated database containing minimal-cost quantum circuits for Boolean funct ...

IEEE2020

SAT-Sweeping Enhanced for Logic Synthesis

Giovanni De Micheli, Luca Gaetano Amarù, Eleonora Testa

SAT-sweeping is a powerful method for simplifying logic networks. It consists of merging gates that are proven equivalent (up to complementation) by running simulation and SAT solving in synergy. SAT-sweeping is used in both verification and synthesis appl ...

IEEE2020

Symbolic Algorithms for Token Swapping

Giovanni De Micheli, Mathias Soeken, Bruno Schmitt Antunes

We study different symbolic algorithms to solve two related reconfiguration problems on graphs: the token swapping problem and the permutation routing via matchings problem. Input to both problems is a connected graph with labeled vertices and a token in e ...

2020

Continuous monitoring of propofol in human serum with fouling compensation by support vector classifier

Giovanni De Micheli, Sandro Carrara, Mandresy Ivan Ny Hanitra, Danilo Demarchi, Francesco Grassi, Francesca Criscuolo, Simone Aiassa, Tiberiu Totu, Gabriele Sandri

We present a new method for electrochemical sensing, which compensates the fouling effect of propofol through machine learning (ML) model. Direct and continuous monitoring of propofol is crucial in the development of automatic systems for control of drug i ...

Elsevier2020

Advanced Functional Decomposition Using Majority and Its Applications

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 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

Exact Synthesis of Boolean Functions in Majority-of-five Forms

Giovanni De Micheli, Winston Jason Haaswijk, Mathias Soeken, Zhufei Chu

Recent studies show that majority-based logic synthesis is beneficial for both traditional and nanotechnology digital designs. However, most of the existing synthesis algorithms for majority logic generate majority-of-three (M-3) networks. The optimization ...

IEEE2019

Memristive Biosensors based on Full-size Antibodies and Antibody Fragments

Giovanni De Micheli, Sandro Carrara, Ioulia Tzouvadaki, Sébastien Naus

For the first time memristive biosensors developed by the incorporation of scAbs (single-chain antibody fragments) enabling label-free detection of free Prostate Specific Antigen (fPSA) for early-stage detection of prostate cancer (PC) are reported. In add ...

2019

Multi-panel, on-single-chip Memristive Biosensing

Giovanni De Micheli, Sandro Carrara, Ioulia Tzouvadaki, Abuduwaili Tuoheti, Danilo Demarchi

Memristive biosensors have demonstrated excellent capabilities for ultrasensitive bio-detection. In the present work, memristive biosensing chips are designed, fabricated and implemented in a for the first time presented multi-panel on-chip detection for d ...

2019

Using ZDDs in the mapping of quantum circuits

Giovanni De Micheli, Mathias Soeken, Bruno Schmitt Antunes, Kaitlin Nicole Smith

2019

A Hybrid Method for Spectral Translation Equivalent Boolean Functions

Giovanni De Micheli, Eleonora Testa, Mathias Soeken

The equivalence of Boolean functions with respect to five invariance (aka translation) operations has been well considered with respect to the Rademacher-Walsh spectral domain. In this paper, we introduce a hybrid approach that uses both the Reed-Muller an ...

IEEE2019

Logic Optimization of Majority-Inverter Graphs

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

Majority-inverter graphs (MIGs) are a multi-level logic representation of Boolean functions with remarkable algebraic and Boolean properties that enable efficient logic optimizations beyond the capabilities of conventional logic representations. In this pa ...

VDE Verlag2019

Direct and catalyst-free growth of vertically-stacked graphene-based structures for enhanced drug sensing

Giovanni De Micheli, Sandro Carrara, Nima Aliakbarinodehi

In this work, a complete study is carried out for the optimised, direct and catalyst-free growth of vertically-stacked graphene-based structures targeting at improved performance drug monitoring. The nanostructures, ultimately forming a honeycomb network o ...

IEEE2019

Page 5 sur 28