Recherche

Afficher tous les résultats pour

Accueil

Personne

Giovanni De Micheli

À propos
Confidentialité
Mentions légales

Graph Chatbot

Publications associées (554)

Fast Procedures for the Electrodeposition of Platinum Nanostructures on Miniaturized Electrodes for Improved Ion Sensing

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

Nanostructured materials have attracted considerable interest over the last few decades to enhance sensing capabilities thanks to their unique properties and large surface area. In particular, noble metal nanostructures offer several advantages including h ...

2019

On-the-fly and DAG-aware: Rewriting Boolean Networks with Exact Synthesis

Giovanni De Micheli, Winston Jason Haaswijk, Mathias Soeken, Heinz Riener

The paper presents a generalization of DAG-aware AIG rewriting for k-feasible Boolean networks, whose nodes are k-input lookup tables (k-LUTs). We introduce a high-effort DAG-aware rewriting algorithm, called cut rewriting, which uses exact synthesis to co ...

IEEE2019

LUT-Based Hierarchical Reversible Logic Synthesis

Giovanni De Micheli, Mathias Soeken

We present a synthesis framework to map logic networks into quantum circuits for quantum computing. The synthesis framework is based on lookup-table (urn networks, which play a key role in conventional logic synthesis. Establishing a connection between LUT ...

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2019

Structural Rewriting in XOR-Majority Graphs

Giovanni De Micheli, Mathias Soeken, Zhufei Chu

In this paper, we present a structural rewriting method for a recently proposed XOR-Majority graph (XMG), which has exclusive-OR (XOR), majority-of-three (MAJ), and inverters as primitives. XMGs are an extension of Majority-Inverter Graphs (MIGs). Previous ...

ASSOC COMPUTING MACHINERY2019

All-solid-state Reference Electrodes for analytical applications

Giovanni De Micheli, Sandro Carrara, Francesca Criscuolo

2019

The Role of Multiplicative Complexity in Compiling Low T-count Oracle Circuits

Giovanni De Micheli, Giulia Meuli, Mathias Soeken

We present a constructive method to create quantum circuits that implement oracles vertical bar x vertical bar y |0 (k) -> vertical bar x vertical bar y circle plus f(x)vertical bar 0 (k) for n-variable Boolean functions f with low T-count. In our method f ...

IEEE2019

Compiling Permutations for Superconducting QPUs

Giovanni De Micheli, Mathias Soeken, Bruno Schmitt Antunes, Fereshte Mozafari Ghoraba

In this paper we consider the compilation of quantum state permutations into quantum gates for physical quantum computers. A sequence of generic single-target gates, which realize the input permutation, are extracted using a decomposition based reversible ...

IEEE2019

AdaptHD: Adaptive Efficient Training for Brain-Inspired Hyperdimensional Computing

Giovanni De Micheli, Mohsen Imani, Samuel Bosch

Brain-inspired Hyperdimensional (HD) computing is a promising solution for energy-efficient classification. However, the existing HD computing algorithms have a lack of controllability on the training iterations which often results in slow training or dive ...

2019

Reducing the Multiplicative Complexity in Logic Networks for Cryptography and Security Applications

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

Reducing the number of AND gates plays a central role in many cryptography and security applications. We propose a logic synthesis algorithm and tool to minimize the number of AND gates in a logic network composed of AND, XOR, and inverter gates. Our appro ...

ASSOC COMPUTING MACHINERY2019

Scaling-up ESOP Synthesis for Quantum Compilation

Giovanni De Micheli, Mathias Soeken, Bruno Schmitt Antunes

Today's rapid advances in quantum computing hardware call for scalable synthesis methods to map combinational logic represented as multi-level Boolean networks (e.g., an and inverter graph, AIG) to quantum circuits. Such synthesis process must yield revers ...

IEEE2019

Reversible Pebbling Game for Quantum Memory Management

Giovanni De Micheli, Giulia Meuli, Mathias Soeken

Quantum memory management is becoming a pressing problem, especially given the recent research effort to develop new and more complex quantum algorithms. The only existing automatic method for quantum states clean-up relies on the availability of many extr ...

IEEE2019

Devices and Circuits Using Novel 2-D Materials: A Perspective for Future VLSI Systems

Giovanni De Micheli, Pierre-Emmanuel Julien Marc Gaillardon, Giovanni Vincenzo Resta

Here, we review the most recent developments in the field of 2-D electronics. We focus first on the synthesis of 2-D materials, discussing the different growth techniques currently available and assessing their strengths and weaknesses. Moreover, we descri ...

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2019

Multi-Target Electrolyte Sensing Front-End for Wearable Physical Monitoring

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

Wearable physiology is an expanding field, especially for sports applications that steadily require an accurate monitoring of the physical status of athletes. This work presents the co-design and the realization of an hardware front-end that enables multi- ...

IEEE2019

Resource constrained oracle synthesis for quantum circuits

Giovanni De Micheli, Giulia Meuli, Mathias Soeken

2019

Flexible sweat sensors for non-invasive optimization of lithium dose in psychiatric disorders

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

Lithium is the main mood stabilizer in bipolar disorders and other psychiatric conditions. However, lithium levels in blood must be monitored frequently during therapies because of its narrow therapeutic range. For this reason the patients, whose quality o ...

IEEE2019

ROS : Resource Constrained Oracle Synthesis for Quantum Computers

Giovanni De Micheli, Giulia Meuli, Mathias Soeken

We present a complete automatic synthesis framework for oracle functions—a central part in many quantum algorithms. The proposed framework for resource-constrained oracle synthesis (ROS) is an LUT-based hierarchical method where every step is specifically ...

2019

Evaluating ESOP Optimization Methods in Quantum Compilation Flows

Giovanni De Micheli, Giulia Meuli, Bruno Schmitt Antunes, Heinz Riener

Springer2019

Reversible Pebble Games For Reducing Qubits In Hierarchical Quantum Circuit Synthesis

Giovanni De Micheli, Anupam Chattopadhyay, Mathias Soeken, Debjyoti Bhattacharjee

Hierarchical reversible logic synthesis can find quantum circuits for large combinational functions. The price for a better scalability compared to functional synthesis approaches is the requirement for many additional qubits to store temporary results of ...

IEEE2019

The Complexity of Self-Dual Monotone 7-Input Functions

Giovanni De Micheli, Winston Jason Haaswijk, Eleonora Testa, Mathias Soeken

The study of the complexity of Boolean functions has recently found applications in logic synthesis and optimization algorithms, as for instance in logic rewriting. Previous works have focused on the minimum length of Boolean chains for functions up to 5 i ...

2019

Post-P&R Performance and Power Analysis for RRAM-based FPGAs

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

Resistive Random Access Memory (RRAM)-based FPGAs are predicted to outperform conventional FPGAs architectures in area, delay and power over a wide range of voltage operations, allowing novel energy-quality trade-offs for reconfigurable computing. The oppo ...

2018

Page 6 sur 28