Personne
Heinz Riener
Cette personne n’est plus à l’EPFL
Publications associées (23)
A Versatile Mapping Approach for Technology Mapping and Graph Optimization
Giovanni De Micheli, Alessandro Tempia Calvino, Heinz Riener, Shubham Rai, Akash Kumar
This paper proposes a versatile mapping approach that has three objectives: i) it can map from one technology-independent graph representation to another; ii) it can map to a cell library; iii) it supports logic rewriting. The method is cut-based, mitigate ...
IEEE2022Boolean Rewriting Strikes Back: Reconvergence- Driven Windowing meets Resynthesis
Giovanni De Micheli, Heinz Riener, Siang-Yun Lee
The paper presents a novel DAG-aware Boolean rewriting algorithm for restructuring combinational logic before technology mapping. The algorithm, called window rewriting, repeatedly selects small parts of the logic and replaces them with more compact implem ...
IEEE2022Utilizing XMG-based Synthesis to Preserve Self-Duality for RFET-Based Circuits
Giovanni De Micheli, Alessandro Tempia Calvino, Heinz Riener, Shubham Rai, Akash Kumar
Individual transistors based on emerging reconfigurable nanotechnologies exhibit electrical conduction for both types of charge carriers. These transistors (referred to as Reconfigurable Field-Effect Transistors (RFETs)) enable dynamic reconfiguration to d ...
2022Beyond Local Optimality of Buffer and Splitter Insertion for AQFP Circuits
Giovanni De Micheli, Heinz Riener, Siang-Yun Lee
Adiabatic quantum-flux parametron (AQFP) is an energy-efficient superconducting technology. Buffer and splitter (B/S) cells must be inserted to an AQFP circuit to meet the technology-imposed constraints on path balancing and fanout branching. These cells a ...
ACM2022Preserving Self-Duality During Logic Synthesis for Emerging Reconfigurable Nanotechnologies
Giovanni De Micheli, Heinz Riener, Shubham Rai, Akash Kumar
Emerging reconfigurable nanotechnologies allow the implementation of self-dual functions with a fewer number of transistors as compared to traditional CMOS technologies. To achieve better area results for Reconfigurable Field-Effect Transistors (RFET)-base ...
2021From Boolean functions to quantum circuits: A scalable quantum compilation flow in C++
Giovanni De Micheli, Fereshte Mozafari Ghoraba, Heinz Riener, Giulia Meuli, Bruno Schmitt Antunes
We propose a flow for automated quantum compila- tion. Our flow takes a Boolean function implemented in Python as input and translates it into a format appropriate for reversible logic synthesis. We focus on two quantum compilation tasks: uniform state pre ...
2021Algebraic and Boolean Optimization Methods for AQFP Superconducting Circuits
Giovanni De Micheli, Eleonora Testa, Heinz Riener, Siang-Yun Lee
Adiabatic quantum-flux-parametron (AQFP) circuits are a family of superconducting electronic (SCE) circuits that have recently gained growing interest due to their low-energy consumption, and may serve as alternative technology to overcome the down-scalin ...
Logic Resynthesis of Majority-Based Circuits by Top-Down Decomposition
Giovanni De Micheli, Heinz Riener, Siang-Yun Lee
Logic resynthesis is the problem of finding a dependency function to re-express a given Boolean function in terms of a given set of divisor functions. In this paper, we study logic resynthesis of majority-based circuits, which is motivated by the increasin ...
IEEE2021Three-Input Gates for Logic Synthesis
Giovanni De Micheli, Mathias Soeken, Dewmini Sudara Marakkalage, Eleonora Testa, Heinz Riener
Most logic synthesis algorithms work on graph representations of logic functions with nodes associated with arbitrary logic expressions or simple logic functions and iteratively optimize such graphs. While recent multilevel logic synthesis efforts focused ...
IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2021Boolean satisfiability in quantum compilation
Giovanni De Micheli, Mathias Soeken, Fereshte Mozafari Ghoraba, Heinz Riener, Giulia Meuli, Bruno Schmitt Antunes
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