Giovanni De Micheli

ORCID

Publication Activity (10 Years)

Years Active: 1983-2024
Publications (10 Years): 227

Top Venues

Publications

Chang Meng, Hanyu Wang, Yuqi Mai, Weikang Qian, Giovanni De Micheli
VACSEM: Verifying Average Errors in Approximate Circuits Using Simulation-Enhanced Model Counting. DATE (2024)
Dewmini Sudara Marakkalage, Eleonora Testa, Walter Lau Neto, Alan Mishchenko, Giovanni De Micheli, Luca G. Amarù
Scalable Sequential Optimization Under Observability Don't Cares. DATE (2024)
Rassul Bairamkulov, Mingfei Yu, Giovanni De Micheli
Unleashing the Power of T1-Cells in SFQ Arithmetic Circuits. DATE (2024)
Rassul Bairamkulov, Mingfei Yu, Giovanni De Micheli
Unleashing the Power of T1-cells in SFQ Arithmetic Circuits. CoRR (2024)
Alessandro Tempia Calvino, Alan Mishchenko, Giovanni De Micheli, Robert K. Brayton
Practical Boolean Decomposition for Delay-driven LUT Mapping. CoRR (2024)
Hanyu Wang, Jason Cong, Giovanni De Micheli
Quantum State Preparation Using an Exact CNOT Synthesis Formulation. DATE (2024)
Hanyu Wang, Bochen Tan, Jason Cong, Giovanni De Micheli
Quantum State Preparation Using an Exact CNOT Synthesis Formulation. CoRR (2024)
Rassul Bairamkulov, Giovanni De Micheli
Towards Multiphase Clocking in Single-Flux Quantum Systems. ASPDAC (2024)
Andrea Costamagna, Alan Mishchenko, Satrajit Chatterjee, Giovanni De Micheli
An Enhanced Resubstitution Algorithm for Area-Oriented Logic Optimization. ISCAS (2024)
Rassul Bairamkulov, Siang-Yun Lee, Alessandro Tempia Calvino, Dewmini Sudara Marakkalage, Mingfei Yu, Giovanni De Micheli
Technology-Aware Logic Synthesis for Superconducting Electronics. DATE (2024)
Alessandro Tempia Calvino, Giovanni De Micheli
Algebraic and Boolean Methods for SFQ Superconducting Circuits. ASPDAC (2024)
Alessandro Tempia Calvino, Giovanni De Micheli
Scalable Logic Rewriting Using Don't Cares. DATE (2024)
Dewmini Sudara Marakkalage, Giovanni De Micheli
Fanout-Bounded Logic Synthesis for Emerging Technologies. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 43 (5) (2024)
Gianluca Radi, Alessandro Tempia Calvino, Giovanni De Micheli
In Medio Stat Virtus*: Combining Boolean and Pattern Matching. ASPDAC (2024)
Mingfei Yu, Giovanni De Micheli
Expediting Homomorphic Computation via Multiplicative Complexity-aware Multiplicative Depth Minimization. IACR Cryptol. ePrint Arch. 2024 (2024)
Rassul Bairamkulov, Giovanni De Micheli
Towards Multiphase Clocking in Single-Flux Quantum Systems. CoRR (2024)
Andrea Costamagna, Giovanni De Micheli
Accuracy recovery: A decomposition procedure for the synthesis of partially-specified Boolean functions. Integr. 89 (2023)
Rassul Bairamkulov, Alessandro Tempia Calvino, Giovanni De Micheli
Synthesis of SFQ Circuits with Compound Gates. VLSI-SoC (2023)
Dewmini Sudara Marakkalage, Giovanni De Micheli
Fanout-Bounded Logic Synthesis for Emerging Technologies - A Top-Down Approach. DATE (2023)
Hanyu Wang, Siang-Yun Lee, Giovanni De Micheli
AnySyn: A Cost-Generic Logic Synthesis Framework with Customizable Cost Functions. CoRR (2023)
Rassul Bairamkulov, Giovanni De Micheli
Compound Logic Gates for Pipeline Depth Minimization in Single Flux Quantum Integrated Systems. ACM Great Lakes Symposium on VLSI (2023)
Siang-Yun Lee, Giovanni De Micheli
Heuristic Logic Resynthesis Algorithms at the Core of Peephole Optimization. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42 (11) (2023)
Giovanni De Micheli
Cyclical Progress in Design and Technology. ICTA (2023)
Alessandro Tempia Calvino, Giovanni De Micheli
Technology Mapping Using Multi-Output Library Cells. ICCAD (2023)
Alessandro Tempia Calvino, Alan Mishchenko, Herman Schmit, Ethan Mahintorabi, Giovanni De Micheli, Xiaoqing Xu
Improving Standard-Cell Design Flow using Factored Form Optimization. DAC (2023)
Mingfei Yu, Giovanni De Micheli
Striving for Both Quality and Speed: Logic Synthesis for Practical Garbled Circuits. ICCAD (2023)
Mingfei Yu, Giovanni De Micheli
Generating Lower-Cost Garbled Circuits: Logic Synthesis Can Help. HOST (2023)
Giovanni De Micheli
Strange Loops in Design and Technology: 59th DAC Keynote Speech. IEEE Des. Test 40 (5) (2023)
Giovanni De Micheli
Logic Synthesis for Emerging Technologies. ASICON (2023)
Dewmini Sudara Marakkalage, Eleonora Testa, Walter Lau Neto, Alan Mishchenko, Giovanni De Micheli, Luca G. Amarù
Scalable Sequential Optimization Under Observability Don't Cares. CoRR (2023)
Mingfei Yu, Dewmini Sudara Marakkalage, Giovanni De Micheli
Garbled Circuits Reimagined: Logic Synthesis Unleashes Efficient Secure Computation. Cryptogr. 7 (4) (2023)
Alessandro Tempia Calvino, Giovanni De Micheli
Depth-Optimal Buffer and Splitter Insertion and Optimization in AQFP Circuits. ASP-DAC (2023)
Shubham Rai, Alessandro Tempia Calvino, Heinz Riener, Giovanni De Micheli, Akash Kumar
Utilizing XMG-Based Synthesis to Preserve Self-Duality for RFET-Based Circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42 (3) (2023)
Siang-Yun Lee, Heinz Riener, Giovanni De Micheli
An Automated Testing and Debugging Toolkit for Gate-Level Logic Synthesis Applications. CoRR (2022)
Siang-Yun Lee, Heinz Riener, Giovanni De Micheli
Beyond local optimality of buffer and splitter insertion for AQFP circuits. DAC (2022)
Bruno Schmitt, Giovanni De Micheli
tweedledum: A Compiler Companion for Quantum Computing. DATE (2022)
Fereshte Mozafari, Yuxiang Yang, Giovanni De Micheli
Efficient Preparation of Cyclic Quantum States. ASP-DAC (2022)
Alessandro Tempia Calvino, Heinz Riener, Shubham Rai, Akash Kumar, Giovanni De Micheli
A Versatile Mapping Approach for Technology Mapping and Graph Optimization. ASP-DAC (2022)
Siang-Yun Lee, Heinz Riener, Alan Mishchenko, Robert K. Brayton, Giovanni De Micheli
A Simulation-Guided Paradigm for Logic Synthesis and Verification. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41 (8) (2022)
Fereshte Mozafari, Giovanni De Micheli, Yuxiang Yang
Efficient Deterministic Preparation of Quantum States Using Decision Diagrams. CoRR (2022)
Heinz Riener, Siang-Yun Lee, Alan Mishchenko, Giovanni De Micheli
Boolean Rewriting Strikes Back: Reconvergence-Driven Windowing Meets Resynthesis. ASP-DAC (2022)
Giovanni De Micheli, Jie-Hong R. Jiang, Robert Rand, Kaitlin Smith, Mathias Soeken
Advances in Quantum Computation and Quantum Technologies: A Design Automation Perspective. IEEE J. Emerg. Sel. Topics Circuits Syst. 12 (3) (2022)
Andrea Costamagna, Giovanni De Micheli
Logic Synthesis From Incomplete Specifications Using Disjoint Support Decomposition. PRIME (2022)
F. Meng, Florin Ciubotaru, S.-Y. Lee, Odysseas Zografos, M. Gupta, V. D. Nguyen, S. Couet, Gouri Sankar Kar, Giovanni De Micheli, Christoph Adelmann, I. Asselberghs
Challenges and targets of MRAM-enabled scaled spintronic logic circuits. CoRR (2022)
Giovanni De Micheli
Design and Optimization of Quantum Electronic Circuits. ISPD (2022)
Jie-Hong R. Jiang, Giovanni De Micheli, Kaitlin Smith, Mathias Soeken
Design and Automation for Quantum Computation and Quantum Technologies. IEEE J. Emerg. Sel. Topics Circuits Syst. 12 (3) (2022)
Giulia Meuli, Vinicius N. Possani, Rajinder Singh, Siang-Yun Lee, Alessandro Tempia Calvino, Dewmini Sudara Marakkalage, Patrick Vuillod, Luca G. Amarù, Scott Chase, Jamil Kawa, Giovanni De Micheli
Majority-based Design Flow for AQFP Superconducting Family. DATE (2022)
Mandresy Ivan Ny Hanitra, Francesca Criscuolo, Sandro Carrara, Giovanni De Micheli
Real-Time Multi-Ion-Monitoring Front-End With Interference Compensation by Multi-Output Support Vector Regressor. IEEE Trans. Biomed. Circuits Syst. 15 (5) (2021)
Dewmini Sudara Marakkalage, Eleonora Testa, Heinz Riener, Alan Mishchenko, Mathias Soeken, Giovanni De Micheli
Three-Input Gates for Logic Synthesis. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 40 (10) (2021)
Bruno Schmitt, Ali Javadi-Abhari, Giovanni De Micheli
Compilation flow for classically defined quantum operations. DATE (2021)
Shubham Rai, Heinz Riener, Giovanni De Micheli, Akash Kumar
Preserving Self-Duality During Logic Synthesis for Emerging Reconfigurable Nanotechnologies. DATE (2021)
Dewmini Sudara Marakkalage, Heinz Riener, Giovanni De Micheli
Optimizing Adiabatic Quantum-Flux-Parametron (AQFP) Circuits using an Exact Database. NANOARCH (2021)
Eleonora Testa, Siang-Yun Lee, Heinz Riener, Giovanni De Micheli
Algebraic and Boolean Optimization Methods for AQFP Superconducting Circuits. ASP-DAC (2021)
Bruno Schmitt, Fereshte Mozafari, Giulia Meuli, Heinz Riener, Giovanni De Micheli
From Boolean functions to quantum circuits: A scalable quantum compilation flow in C++. DATE (2021)
Luca Gaetano Amarù, Vinicius N. Possani, Eleonora Testa, Felipe S. Marranghello, Christopher Casares, Jiong Luo, Patrick Vuillod, Alan Mishchenko, Giovanni De Micheli
LUT-Based Optimization For ASIC Design Flow. DAC (2021)
Siang-Yun Lee, Heinz Riener, Giovanni De Micheli
Irredundant Buffer and Splitter Insertion and Scheduling-Based Optimization for AQFP Circuits. CoRR (2021)
Giovanni De Micheli
The Emerging Majority: Technology and Design for Superconducting Electronics. IEEE Des. Test 38 (6) (2021)
Siang-Yun Lee, Heinz Riener, Giovanni De Micheli
Logic Resynthesis of Majority-Based Circuits by Top-Down Decomposition. DDECS (2021)
Ivan Ny Hanitra, Francesca Criscuolo, Sandro Carrara, Giovanni De Micheli
Multi-Ion-Sensing Emulator and Multivariate Calibration Optimization by Machine Learning Models. IEEE Access 9 (2021)
Eleonora Testa, Samantha Lubaba Noor, Odysseas Zografos, Mathias Soeken, Francky Catthoor, Azad Naeemi, Giovanni De Micheli
Multiplier Architectures: Challenges and Opportunities with Plasmonic-based Logic : (Special Session Paper). DATE (2020)
Giulia Meuli, Mathias Soeken, Martin Roetteler, Giovanni De Micheli
Enumerating Optimal Quantum Circuits using Spectral Classification. ISCAS (2020)
Eleonora Testa, Mathias Soeken, Heinz Riener, Luca G. Amarù, Giovanni De Micheli
A Logic Synthesis Toolbox for Reducing the Multiplicative Complexity in Logic Networks. IACR Cryptol. ePrint Arch. 2020 (2020)
Sankar Basu, Randal E. Bryant, Giovanni De Micheli, Thomas N. Theis, Lloyd Whitman
Nonsilicon, Non-von Neumann Computing - Part II. Proc. IEEE 108 (8) (2020)
Siang-Yun Lee, Heinz Riener, Alan Mishchenko, Robert K. Brayton, Giovanni De Micheli
Simulation-Guided Boolean Resubstitution. CoRR (2020)
Giovanni De Micheli, Antun Domic, Massimiliano Di Ventra, Martin Roettler, Jason Cong
2019 DAC Roundtable. IEEE Des. Test 37 (3) (2020)
Ivan Ny Hanitra, Danilo Demarchi, Sandro Carrara, Giovanni De Micheli
Emulator Design and Generation of Synthetic Dataset in Multi-Ion Sensing. ISCAS (2020)
Winston Haaswijk, Mathias Soeken, Alan Mishchenko, Giovanni De Micheli
SAT-Based Exact Synthesis: Encodings, Topology Families, and Parallelism. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39 (4) (2020)
Eleonora Testa, Luca G. Amarù, Mathias Soeken, Alan Mishchenko, Patrick Vuillod, Pierre-Emmanuel Gaillardon, Giovanni De Micheli
Extending Boolean Methods for Scalable Logic Synthesis. IEEE Access 8 (2020)
Eleonora Testa, Mathias Soeken, Heinz Riener, Luca G. Amarù, Giovanni De Micheli
A Logic Synthesis Toolbox for Reducing the Multiplicative Complexity in Logic Networks. DATE (2020)
Zhufei Chu, Mathias Soeken, Yinshui Xia, Lun-Yao Wang, Giovanni De Micheli
Advanced Functional Decomposition Using Majority and Its Applications. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39 (8) (2020)
Luca G. Amarù, Felipe S. Marranghello, Eleonora Testa, Christopher Casares, Vinicius N. Possani, Jiong Luo, Patrick Vuillod, Alan Mishchenko, Giovanni De Micheli
SAT-Sweeping Enhanced for Logic Synthesis. DAC (2020)
Fereshte Mozafari, Mathias Soeken, Heinz Riener, Giovanni De Micheli
Automatic Uniform Quantum State Preparation Using Decision Diagrams. ISMVL (2020)
Bruno Schmitt, Mathias Soeken, Giovanni De Micheli
Symbolic Algorithms for Token Swapping. ISMVL (2020)
Eleonora Testa, Luca G. Amarù, Mathias Soeken, Alan Mishchenko, Patrick Vuillod, Jiong Luo, Christopher Casares, Pierre-Emmanuel Gaillardon, Giovanni De Micheli
Scalable Boolean Methods in a Modern Synthesis Flow. DATE (2019)
Ioulia Tzouvadaki, Nima Aliakbarinodehi, Diana Dávila Pineda, Giovanni De Micheli, Sandro Carrara
Direct and Catalyst-Free Growth of Vertically-Stacked Graphene-Based Structures for Enhanced Drug Sensing. ISCAS (2019)
Giulia Meuli, Mathias Soeken, Earl Campbell, Martin Roetteler, Giovanni De Micheli
The Role of Multiplicative Complexity in Compiling Low $T$-count Oracle Circuits. ICCAD (2019)
Giulia Meuli, Mathias Soeken, Martin Roetteler, Giovanni De Micheli
ROS: Resource-constrained Oracle Synthesis for Quantum Computers. QPL (2019)
Samuel Bosch, Alexander Sanchez de la Cerda, Mohsen Imani, Tajana Simunic Rosing, Giovanni De Micheli
QubitHD: A Stochastic Acceleration Method for HD Computing-Based Machine Learning. CoRR (2019)
Eleonora Testa, Mathias Soeken, Luca Gaetano Amarù, Giovanni De Micheli
Logic Synthesis for Established and Emerging Computing. Proc. IEEE 107 (1) (2019)
Mohsen Imani, Justin Morris, Samuel Bosch, Helen Shu, Giovanni De Micheli, Tajana Rosing
AdaptHD: Adaptive Efficient Training for Brain-Inspired Hyperdimensional Computing. BioCAS (2019)
Sankar Basu, Randal E. Bryant, Giovanni De Micheli, Thomas N. Theis, Lloyd Whitman
Nonsilicon, Non-von Neumann Computing - Part I [Scanning the Issue]. Proc. IEEE 107 (1) (2019)
Heinz Riener, Winston Haaswijk, Alan Mishchenko, Giovanni De Micheli, Mathias Soeken
On-the-fly and DAG-aware: Rewriting Boolean Networks with Exact Synthesis. DATE (2019)
Bruno Schmitt, Mathias Soeken, Giovanni De Micheli, Alan Mishchenko
Scaling-up ESOP Synthesis for Quantum Compilation. ISMVL (2019)
Giulia Meuli, Mathias Soeken, Earl Campbell, Martin Roetteler, Giovanni De Micheli
The Role of Multiplicative Complexity in Compiling Low T-count Oracle Circuits. CoRR (2019)
Francesca Criscuolo, Filippo Cantù, Irene Taurino, Sandro Carrara, Giovanni De Micheli
Flexible sweat sensors for non-invasive optimization of lithium dose in psychiatric disorders. IEEE SENSORS (2019)
Francesca Criscuolo, Irene Taurino, Van Anh Dam, Francky Catthoor, Marcel Zevenbergen, Sandro Carrara, Giovanni De Micheli
Fast Procedures for the Electrodeposition of Platinum Nanostructures on Miniaturized Electrodes for Improved Ion Sensing. Sensors 19 (10) (2019)
Giulia Meuli, Bruno Schmitt, Rüdiger Ehlers, Heinz Riener, Giovanni De Micheli
Evaluating ESOP Optimization Methods in Quantum Compilation Flows. RC (2019)
Ivan Ny Hanitra, Francesca Criscuolo, Sandro Carrara, Giovanni De Micheli
Multi-Target Electrolyte Sensing Front-End for Wearable Physical Monitoring. PRIME (2019)
Eleonora Testa, Mathias Soeken, Luca Gaetano Amarù, Winston Haaswijk, Giovanni De Micheli
Mapping Monotone Boolean Functions into Majority. IEEE Trans. Computers 68 (5) (2019)
Zhufei Chu, Mathias Soeken, Yinshui Xia, Lun-Yao Wang, Giovanni De Micheli
Structural rewriting in XOR-majority graphs. ASP-DAC (2019)
Debjyoti Bhattacharjee, Mathias Soeken, Srijit Dutta, Anupam Chattopadhyay, Giovanni De Micheli
Reversible Pebble Games for Reducing Qubits in Hierarchical Quantum Circuit Synthesis. ISMVL (2019)
Xifan Tang, Edouard Giacomin, Giovanni De Micheli, Pierre-Emmanuel Gaillardon
FPGA-SPICE: A Simulation-Based Architecture Evaluation Framework for FPGAs. IEEE Trans. Very Large Scale Integr. Syst. 27 (3) (2019)
Francesca Criscuolo, Marco Galfione, Sandro Carrara, Giovanni De Micheli
All-solid-state Reference Electrodes for analytical applications. IWASI (2019)
Giulia Meuli, Mathias Soeken, Martin Roetteler, Nikolaj Bjørner, Giovanni De Micheli
Reversible Pebbling Game for Quantum Memory Management. CoRR (2019)
Eleonora Testa, Mathias Soeken, Luca G. Amarù, Giovanni De Micheli
Reducing the Multiplicative Complexity in Logic Networks for Cryptography and Security Applications. DAC (2019)
Heinz Riener, Eleonora Testa, Winston Haaswijk, Alan Mishchenko, Luca G. Amarù, Giovanni De Micheli, Mathias Soeken
Logic Optimization of Majority-Inverter Graphs. MBMV (2019)
Zhufei Chu, Winston Haaswijk, Mathias Soeken, Yinshui Xia, Lun-Yao Wang, Giovanni De Micheli
Exact Synthesis of Boolean Functions in Majority-of-Five Forms. ISCAS (2019)
Giulia Meuli, Mathias Soeken, Martin Roetteler, Nikolaj Bjørner, Giovanni De Micheli
Reversible Pebbling Game for Quantum Memory Management. DATE (2019)
Giovanni V. Resta, Alessandra Leonhardt, Yashwanth Balaji, Stefan De Gendt, Pierre-Emmanuel Gaillardon, Giovanni De Micheli
Devices and Circuits Using Novel 2-D Materials: A Perspective for Future VLSI Systems. IEEE Trans. Very Large Scale Integr. Syst. 27 (7) (2019)
Mathias Soeken, Martin Roetteler, Nathan Wiebe, Giovanni De Micheli
LUT-Based Hierarchical Reversible Logic Synthesis. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 38 (9) (2019)

Giovanni De Micheli.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Giovanni De Micheli