Recherche

Afficher tous les résultats pour

Accueil

Personne

Giovanni De Micheli

À propos
Confidentialité
Mentions légales

Graph Chatbot

Publications associées (554)

Fast generation of lexicographic satisfiable assignments: enabling canonicity in SAT-based applications

Paolo Ienne, Giovanni De Micheli, Ana Petkovska, Mathias Soeken

Lexicographic Boolean satisfiability (LEXSAT) is a variation of the Boolean satisfiability problem (SAT). Given a variable order, LEXSAT finds a satisfying assignment whose integer value under the given variable order is minimum (maximum) among all satisfi ...

Assoc Computing Machinery2016

Study on the bio-functionalization of memristive nanowires for optimum memristive biosensors

Giovanni De Micheli, Sandro Carrara, Irene Taurino, Ioulia Tzouvadaki

Semiconductor nanowires are emerging as promising building blocks for biosensors enabling direct electrical detection of various biomolecules. In this framework, two-terminal Schottky-barrier silicon (Si) nanowire arrays that exhibit memristive electrical ...

Royal Society of Chemistry2016

Wireless Monitoring of Endogenous and Exogenous Biomolecules on an Android Interface

Giovanni De Micheli, Cristina Boero, Sandro Carrara, Irene Taurino, Camilla Baj-Rossi, Grégoire Casimir Joseph Surrel, Stefano Riario, Francesca Stradolini

Monitoring patients in intensive care units is generally expensive and time consuming. A prompter medical intervention for those critical patients is a key factor for their safety. Therefore, a system that offers immediate visualization of the monitored da ...

Institute of Electrical and Electronics Engineers2016

Computationally Efficient Multiple-Independent-Gate Device Model

Giovanni De Micheli, Pierre-Emmanuel Julien Marc Gaillardon, Gianluca Piccinini, Mariagrazia Graziano

Nanowire Field Effect Transistors (FETs) with multiple independent gates around a silicon channel feature ultimate gate control and are regarded as promising candidates for next generation transistors. Being inherently more complex than conventional gate-a ...

Institute of Electrical and Electronics Engineers2016

Single-FPGA 3D Ultrasound Beamformer

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

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

Impact of Data Serialization over TSVs on Routing Congestion in 3D-Stacked Multi-Core Processors

Yusuf Leblebici, Giovanni De Micheli, Alessandro Cevrero, Giulia Beanato

3D integration can alleviate routing congestion, reducing the wirelength and improving performances. Nevertheless, each TSV still occupies non-negligible silicon area: as the number of TSV increases, their effect on the chip routing is detrimental. The red ...

Elsevier2016

A Study on the Programming Structures for RRAM-based FPGA Architectures

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

Field Programmable Gate Arrays (FPGAs) can benefit non-volatility and high-performance by exploiting Resistive Random Access Memories (RRAMs). In RRAM-based FPGAs, the memories do not only replace the SRAMs and store configurations, but they can also repla ...

Ieee-Inst Electrical Electronics Engineers Inc2016

Optimizing Majority-Inverter Graphs with Functional Hashing

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

A Majority-Inverter Graph (MIG) is a recently introduced logic representation form whose algebraic and Boolean properties allow for efficient logic optimization. In particular, when considering logic depth reduction, MIG algorithms obtained signific ...

IEEE2016

Polarity control in WSe2 double-gate transistors

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

As scaling of conventional silicon-based electronics is reaching its ultimate limit, considerable effort has been devoted to find new materials and new device concepts that could ultimately outperform standard silicon transistors. In this perspective two-d ...

Nature Research2016

A CMOS Amperometric System for Multi-Neurotransmitter Detection

Giovanni De Micheli, Sandro Carrara

In vivo multi-target and selective concentration monitoring of neurotransmitters can help to unravel the brain chemical complex signaling interplay. This paper presents a dedicated integrated potentiostat transducer circuit and its selective electrode inte ...

Ieee-Inst Electrical Electronics Engineers Inc2016

Inversion optimization in majority-inverter graphs

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

Many emerging nanotechnologies realize majority gates as primitive building blocks and they benefit from a majority-based synthesis. Recently, Majority-Inverter Graphs (MIGs) have been introduced to abstract these new technologies. We present optimi ...

Ieee2016

Demo: Efficient Delay and Apodization for on-FPGA 3D Ultrasound

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

In medical diagnosis, ultrasound (US) imaging is one of the most common, safe, and powerful techniques. Volumetric (3D) US is potentially very attractive, compared to 2D US, because it might enable telesonography - decoupling the local image acquisition, b ...

2016

A Power-Efficient 3-D On-Chip Interconnect for Multi-Core Accelerators with Stacked L2 Cache

Giovanni De Micheli, Luca Benini

The use of multi-core clusters is a promising option for data-intensive embedded applications such as multi-modal sensor fusion, image understanding, mobile augmented reality. In this paper, we propose a power-efficient 3-D on-chip interconnect for multi-c ...

IEEE2016

Platinum nanopetal-based potassium sensors for acute cell death monitoring

Giovanni De Micheli, Sandro Carrara, Irene Taurino

Growing interest in the role of ions as cell death regulators has led to the consideration of K+, which plays a major role in events such as necrosis, apoptosis and osmotic shock. These mechanisms induce effluxes of K+, which can be m ...

RSC Publishing2016

Exploiting Inherent Characteristic of Reversible Circuits for Faster Combinational Equivalence Checking

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

Reversible circuits implement invertible logic functions. They are of great interest to cryptography, coding theory, interconnect design, computer graphics, quantum computing, and many other fields. As for conventional circuits, checking the combinational ...

Ieee2016

SiNW-FET in-Air Biosensors for High Sensitive and Specific Detection in Breast Tumor Extract

Giovanni De Micheli, Sandro Carrara, Francesca Puppo

The sensitive analysis of proteins is central to disease diagnosis. The detection and investigation of angiogenic and inflammatory ligands in the tumor tissue can further improve the level of knowledge of the cancer disease by capturing the heterogeneity a ...

Institute of Electrical and Electronics Engineers2016

The Programmable Logic-in-Memory (PLiM) Computer (Invited)

Giovanni De Micheli, Luca Gaetano Amarù, Pierre-Emmanuel Julien Marc Gaillardon, Anupam Chattopadhyay

Realization of logic and storage operations in memristive circuits have opened up a promising research direction of in-memory computing. Elementary digital circuits, e.g., Boolean arithmetic circuits, can be economically realized within memristive circuits ...

Ieee2016

A Sound and Complete Axiomatization of Majority-n Logic

Giovanni De Micheli, Luca Gaetano Amarù, Pierre-Emmanuel Julien Marc Gaillardon, Anupam Chattopadhyay

Manipulating logic functions via majority operators recently drew the attention of researchers in computer science. For example, circuit optimization based on majority operators enables superior results as compared to traditional logic systems. Also, the B ...

Institute of Electrical and Electronics Engineers2016

Design and Analysis of Jitter-Aware Low-Power and High-Speed TSV Links for 3D ICs

Yusuf Leblebici, Giovanni De Micheli, Alessandro Cevrero, Giulia Beanato, Kiarash Gharibdoust

This paper presents a circuit-level design and analysis of high-data-rate 3D serial vertical links which exploit the high bandwidth provided by TSV technology. As most of the existing TSVs consume a large amount of die area, the serial configuration can sa ...

Elsevier2016

Fast Hierarchical NPN Classification

Paolo Ienne, Giovanni De Micheli, Ana Petkovska, Mathias Soeken

Classifying functions according to some common properties into libraries of functions is an important step in many logic synthesis and technology mapping algorithms used in FPGA design flows. NPN classification is one of the frequently used classifications ...

IEEE2016

Page 12 sur 28