Recherche

Afficher tous les résultats pour

Accueil

Personne

Giovanni De Micheli

À propos
Confidentialité
Mentions légales

Graph Chatbot

Publications associées (554)

Towards Multiphase Clocking in Single-Flux Quantum Systems

Giovanni De Micheli, Rassul Bairamkulov

Rapid single-flux quantum (RSFQ) is one of the most advanced superconductive electronics technologies. SFQ systems operate at tens of gigahertz with up to three orders of magnitude smaller power as compared to CMOS. In conventional SFQ systems, most gates ...

IEEE2024

In Medio Stat Virtus: Combining Boolean and Pattern Matching

Giovanni De Micheli, Alessandro Tempia Calvino, Gianluca Radi

Technology mapping transforms a technology-independent representation into a technology-dependent one given a library of cells. This process is performed by means of local replacements that are extracted by matching sections of the subject graph to library ...

IEEE2024

Late Breaking Results: Majority-inverter Graph Minimization by Design Space Exploration

Giovanni De Micheli, Siang-Yun Lee, Alessandro Tempia Calvino

The majority-inverter graph (MIG) is a homogeneous logic network widely used in logic synthesis for majority-based emerging technologies. Many logic optimization algorithms have been proposed for MIGs, including rewriting, resubstitution, and graph mapping ...

Association for Computing Machinery2024

Technology-Aware Logic Synthesis for Superconducting Electronics

Giovanni De Micheli, Dewmini Sudara Marakkalage, Siang-Yun Lee, Alessandro Tempia Calvino, Mingfei Yu, Rassul Bairamkulov

Superconducting electronics provide us with cryogenic digital circuits that can rival established technologies in performance and energy consumption. Today, the lack of tools for the design of large-scale integrated superconducting circuits is a major obst ...

2024

Improving Standard-Cell Design Flow using Factored Form Optimization

Giovanni De Micheli, Alessandro Tempia Calvino

Factored form is a powerful multi-level representa- tion of a Boolean function that readily translates into an imple- mentation of the function in CMOS technology. In particular, the number of literals in a factored form correlates strongly with the number ...

2023

Strange Loops in Design and Technology: 59th DAC Keynote Speech

Giovanni De Micheli

This keynote paper highlights the interaction between emerging technologies and software tools to enable the current evolution of electronic design automation systems. ...

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2023

Boolean Decomposition Revisited

Giovanni De Micheli, Alessandro Tempia Calvino

2023

Synthesis of SFQ Circuits with Compound Gates

Giovanni De Micheli, Alessandro Tempia Calvino, Rassul Bairamkulov

Rapid single-flux quantum (RSFQ) is one of the most advanced superconducting technologies with the potential to supplement or replace conventional VLSI systems. However, scaling RSFQ systems up to VLSI complexity is challenging due to fundamental differenc ...

IEEE2023

Compound Gates for Pipeline Depth Optimization in Single Flux Quantum Integrated Systems

Giovanni De Micheli, Rassul Bairamkulov

Superconductive electronics is a promising candidate for supplementing or replacing existing CMOS VLSI systems. Rapid single-flux quantum (RSFQ) is one of the most advanced superconductive technologies operating at tens of gigahertz while reducing the oper ...

ACM2023

Cyclical Progress in Design and Technology

Giovanni De Micheli

Progress in engineering systems is the result of the combined improvements of technology and design methods. It is often a cyclic process, stimulated by success and failure. When the innovation loop stalls in producing effective progress, a change in parad ...

Institute of Electrical and Electronics Engineers Inc.2023

Heuristic Logic Resynthesis Algorithms at the Core of Peephole Optimization

Giovanni De Micheli, Siang-Yun Lee

2023

Customizable On-the-fly Design Space Exploration for Logic Optimization of Emerging Technologies

Giovanni De Micheli, Heinz Riener, Siang-Yun Lee

2023

Logic Synthesis for Emerging Technologies

Giovanni De Micheli

IEEE2023

The Combinational-Complexity Game For Symmetric Functions

Giovanni De Micheli, Andrea Costamagna

2023

Generating Lower-Cost Garbled Circuits: Logic Synthesis Can Help

Giovanni De Micheli, Mingfei Yu

Garbled circuit (GC)-based frameworks are the cornerstone of advanced secure multi-party computation (MPC) protocols in various domains. These applications, such as secure network inference, require both scalability and real-time computation. However, the ...

IEEE Xplore2023

Impact of Sequential Design on the Cost of Adiabatic Quantum-Flux Parametron Circuits

Giovanni De Micheli, Siang-Yun Lee

quantum-flux-parametron (AQFP) logic is a superconductor logic family whose energy efficiency approaches theoretical limits. Because AQFP logic gates depend on a polyphase excitation current to perform their computation, gate fanins must arrive at the appr ...

IEEE Institute of Electrical and Electronics Engineers2023

Improving Standard-Cell Design Flow using Factored Form Optimization

Giovanni De Micheli, Alessandro Tempia Calvino

Factored form is a powerful multi-level representation of a Boolean function that readily translates into an implementation of the function in CMOS technology. In particular, the number of literals in a factored form correlates strongly with the number of ...

IEEE2023

Fanout-Bounded Logic Synthesis for Emerging Technologies - A Top-Down Approach

Giovanni De Micheli, Dewmini Sudara Marakkalage

In logic circuits, the number of fanouts a gate can drive is limited, and such limits are tighter in emerging technologies such as superconducting electronic circuits. In this work, we study the problem of resynthesizing a logic network with bounded-fanout ...

IEEE2023

Technology Mapping Using Multi-output Library Cells

Giovanni De Micheli, Alessandro Tempia Calvino

Technology mapping transforms a technology-independent representation into a technology-dependent one given a library of cells. Even if technology libraries contain multi-output cells, state-of-the-art techniques fully exploit single-output cells only. Mul ...

2023

Technology Mapping for Beyond-CMOS Circuitry with Unconventional Cost Functions

Giovanni De Micheli, Dewmini Sudara Marakkalage, Siang-Yun Lee

2023

Page 2 sur 28