Giovanni De Micheli
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
270
Venues
26
Active years
1983–2025
Best venue rank
A*
Where they publish
- ADATE83 papers
- A*DAC44 papers
- CISCAS35 papers
- BASPDAC29 papers
- AICCAD28 papers
- AISLPED13 papers
- BFPL6 papers
- CICCD5 papers
- CBIBE4 papers
- CRC3 papers
- AFPGA3 papers
- CDDECS2 papers
- CDSD2 papers
- NationalQCE1 paper
- NationalVLSID1 paper
- ASAT1 paper
- BIJCNN1 paper
- BETS1 paper
- Journal PublishedCASES1 paper
- BWiOpt1 paper
- BRECOMB1 paper
- BCBMS1 paper
- CISCC1 paper
- CECCB1 paper
- CMEMOCODE1 paper
- A*MOBICOM1 paper
Papers
270 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ASPDAC | Area-Oriented Optimization After Standard-Cell Mapping. | Andrea Costamagna, Alessandro Tempia Calvino, Alan Mishchenko, Giovanni De Micheli |
| 2025 | ASPDAC | Back-end-aware Fault-tolerant Quantum Oracle Synthesis. | Mingfei Yu, Alessandro Tempia Calvino, Mathias Soeken, Giovanni De Micheli |
| 2025 | DATE | Gradient Approximation of Approximate Multipliers for High-Accuracy Deep Neural Network Retraining. | Chang Meng, Wayne P. Burleson, Weikang Qian, Giovanni De Micheli |
| 2025 | DDECS | Lazy Man's Resynthesis For Glitching-Aware Power Minimization. | Andrea Costamagna, Xiaoqing Xu, Giovanni De Micheli, Dino Ruic |
| 2025 | ICCAD | Making the Best Switch: Encoding Strategy Management for Efficient TFHE Circuit Evaluation. | Mingfei Yu, Gabrielle De Micheli, Giovanni De Micheli |
| 2025 | QCE | A New Perspective of Constructing Resource-Efficient Data-Lookup Quantum Oracles. | Mingfei Yu, Mathias Soeken, Giovanni De Micheli |
| 2025 | VLSID | Symmetry-Based Synthesis for Interpretable Boolean Evaluation. | Andrea Costamagna, Alan Mishchenko, Satrajit Chatterjee, Giovanni De Micheli |
| 2024 | ASPDAC | Towards Multiphase Clocking in Single-Flux Quantum Systems. | Rassul Bairamkulov, Giovanni De Micheli |
| 2024 | ASPDAC | Algebraic and Boolean Methods for SFQ Superconducting Circuits. | Alessandro Tempia Calvino, Giovanni De Micheli |
| 2024 | ASPDAC | In Medio Stat Virtus*: Combining Boolean and Pattern Matching. | Gianluca Radi, Alessandro Tempia Calvino, Giovanni De Micheli |
| 2024 | DAC | Unleashing the Power of T1-cells in SFQ Arithmetic Circuits. | Rassul Bairamkulov, Mingfei Yu, Giovanni De Micheli |
| 2024 | DAC | Late Breaking Results: Majority-Inverter Graph Minimization by Design Space Exploration. | Siang-Yun Lee, Alessandro Tempia Calvino, Heinz Riener, Giovanni De Micheli |
| 2024 | DATE | Technology-Aware Logic Synthesis for Superconducting Electronics. | Rassul Bairamkulov, Siang-Yun Lee, Alessandro Tempia Calvino, Dewmini Sudara Marakkalage, Mingfei Yu, Giovanni De Micheli |
| 2024 | DATE | Unleashing the Power of T1-Cells in SFQ Arithmetic Circuits. | Rassul Bairamkulov, Mingfei Yu, Giovanni De Micheli |
| 2024 | DATE | Scalable Logic Rewriting Using Don't Cares. | Alessandro Tempia Calvino, Giovanni De Micheli |
| 2024 | DATE | Scalable Sequential Optimization Under Observability Don't Cares. | Dewmini Sudara Marakkalage, Eleonora Testa, Walter Lau Neto, Alan Mishchenko, Giovanni De Micheli, Luca G. Amar |
| 2024 | DATE | VACSEM: Verifying Average Errors in Approximate Circuits Using Simulation-Enhanced Model Counting. | Chang Meng, Hanyu Wang, Yuqi Mai, Weikang Qian, Giovanni De Micheli |
| 2024 | DATE | Quantum State Preparation Using an Exact CNOT Synthesis Formulation. | Hanyu Wang, Jason Cong, Giovanni De Micheli |
| 2024 | ICCAD | RareLS: Rarity-Reducing Logic Synthesis for Mitigating Hardware Trojan Threats. | Chang Meng, Mingfei Yu, Hanyu Wang, Wayne P. Burleson, Giovanni De Micheli |
| 2024 | ISCAS | An Enhanced Resubstitution Algorithm for Area-Oriented Logic Optimization. | Andrea Costamagna, Alan Mishchenko, Satrajit Chatterjee, Giovanni De Micheli |
| 2023 | ASPDAC | Depth-Optimal Buffer and Splitter Insertion and Optimization in AQFP Circuits. | Alessandro Tempia Calvino, Giovanni De Micheli |
| 2023 | DAC | Improving Standard-Cell Design Flow using Factored Form Optimization. | Alessandro Tempia Calvino, Alan Mishchenko, Herman Schmit, Ethan Mahintorabi, Giovanni De Micheli, Xiaoqing Xu |
| 2023 | DATE | Fanout-Bounded Logic Synthesis for Emerging Technologies - A Top-Down Approach. | Dewmini Sudara Marakkalage, Giovanni De Micheli |
| 2023 | ICCAD | Technology Mapping Using Multi-Output Library Cells. | Alessandro Tempia Calvino, Giovanni De Micheli |
| 2023 | ICCAD | Striving for Both Quality and Speed: Logic Synthesis for Practical Garbled Circuits. | Mingfei Yu, Giovanni De Micheli |
| 2022 | ASPDAC | A Versatile Mapping Approach for Technology Mapping and Graph Optimization. | Alessandro Tempia Calvino, Heinz Riener, Shubham Rai, Akash Kumar, Giovanni De Micheli |
| 2022 | ASPDAC | Efficient Preparation of Cyclic Quantum States. | Fereshte Mozafari, Yuxiang Yang, Giovanni De Micheli |
| 2022 | ASPDAC | Boolean Rewriting Strikes Back: Reconvergence-Driven Windowing Meets Resynthesis. | Heinz Riener, Siang-Yun Lee, Alan Mishchenko, Giovanni De Micheli |
| 2022 | DAC | Beyond local optimality of buffer and splitter insertion for AQFP circuits. | Siang-Yun Lee, Heinz Riener, Giovanni De Micheli |
| 2022 | DATE | Majority-based Design Flow for AQFP Superconducting Family. | 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 |
| 2022 | DATE | tweedledum: A Compiler Companion for Quantum Computing. | Bruno Schmitt, Giovanni De Micheli |
| 2021 | ASPDAC | Algebraic and Boolean Optimization Methods for AQFP Superconducting Circuits. | Eleonora Testa, Siang-Yun Lee, Heinz Riener, Giovanni De Micheli |
| 2021 | DAC | LUT-Based Optimization For ASIC Design Flow. | Luca Gaetano Amar, Vinicius N. Possani, Eleonora Testa, Felipe S. Marranghello, Christopher Casares, Jiong Luo, Patrick Vuillod, Alan Mishchenko, Giovanni De Micheli |
| 2021 | DATE | Preserving Self-Duality During Logic Synthesis for Emerging Reconfigurable Nanotechnologies. | Shubham Rai, Heinz Riener, Giovanni De Micheli, Akash Kumar |
| 2021 | DATE | Compilation flow for classically defined quantum operations. | Bruno Schmitt, Ali Javadi-Abhari, Giovanni De Micheli |
| 2021 | DATE | From Boolean functions to quantum circuits: A scalable quantum compilation flow in C++. | Bruno Schmitt, Fereshte Mozafari, Giulia Meuli, Heinz Riener, Giovanni De Micheli |
| 2021 | DDECS | Logic Resynthesis of Majority-Based Circuits by Top-Down Decomposition. | Siang-Yun Lee, Heinz Riener, Giovanni De Micheli |
| 2020 | DAC | SAT-Sweeping Enhanced for Logic Synthesis. | Luca G. Amar, Felipe S. Marranghello, Eleonora Testa, Christopher Casares, Vinicius N. Possani, Jiong Luo, Patrick Vuillod, Alan Mishchenko, Giovanni De Micheli |
| 2020 | DATE | Multiplier Architectures: Challenges and Opportunities with Plasmonic-based Logic : (Special Session Paper). | Eleonora Testa, Samantha Lubaba Noor, Odysseas Zografos, Mathias Soeken, Francky Catthoor, Azad Naeemi, Giovanni De Micheli |
| 2020 | DATE | A Logic Synthesis Toolbox for Reducing the Multiplicative Complexity in Logic Networks. | Eleonora Testa, Mathias Soeken, Heinz Riener, Luca G. Amar, Giovanni De Micheli |
| 2020 | ISCAS | Emulator Design and Generation of Synthetic Dataset in Multi-Ion Sensing. | Ivan Ny Hanitra, Danilo Demarchi, Sandro Carrara, Giovanni De Micheli |
| 2020 | ISCAS | Enumerating Optimal Quantum Circuits using Spectral Classification. | Giulia Meuli, Mathias Soeken, Martin Roetteler, Giovanni De Micheli |
| 2019 | ASPDAC | Structural rewriting in XOR-majority graphs. | Zhufei Chu, Mathias Soeken, Yinshui Xia, Lun-Yao Wang, Giovanni De Micheli |
| 2019 | DAC | Scalable Generic Logic Synthesis: One Approach to Rule Them All. | Heinz Riener, Eleonora Testa, Winston Haaswijk, Alan Mishchenko, Luca G. Amar, Giovanni De Micheli, Mathias Soeken |
| 2019 | DAC | Reducing the Multiplicative Complexity in Logic Networks for Cryptography and Security Applications. | Eleonora Testa, Mathias Soeken, Luca G. Amar, Giovanni De Micheli |
| 2019 | DATE | Reversible Pebbling Game for Quantum Memory Management. | Giulia Meuli, Mathias Soeken, Martin Roetteler, Nikolaj S. Bjrner, Giovanni De Micheli |
| 2019 | DATE | On-the-fly and DAG-aware: Rewriting Boolean Networks with Exact Synthesis. | Heinz Riener, Winston Haaswijk, Alan Mishchenko, Giovanni De Micheli, Mathias Soeken |
| 2019 | DATE | Compiling Permutations for Superconducting QPUs. | Mathias Soeken, Fereshte Mozafari, Bruno Schmitt, Giovanni De Micheli |
| 2019 | DATE | Scalable Boolean Methods in a Modern Synthesis Flow. | Eleonora Testa, Luca G. Amar, Mathias Soeken, Alan Mishchenko, Patrick Vuillod, Jiong Luo, Christopher Casares, Pierre-Emmanuel Gaillardon, Giovanni De Micheli |
| 2019 | ICCAD | The Role of Multiplicative Complexity in Compiling Low $T$-count Oracle Circuits. | Giulia Meuli, Mathias Soeken, Earl T. Campbell, Martin Roetteler, Giovanni De Micheli |
| 2019 | ISCAS | Exact Synthesis of Boolean Functions in Majority-of-Five Forms. | Zhufei Chu, Winston Haaswijk, Mathias Soeken, Yinshui Xia, Lun-Yao Wang, Giovanni De Micheli |
| 2019 | ISCAS | Direct and Catalyst-Free Growth of Vertically-Stacked Graphene-Based Structures for Enhanced Drug Sensing. | Ioulia Tzouvadaki, Nima Aliakbarinodehi, Diana Dvila Pineda, Giovanni De Micheli, Sandro Carrara |
| 2019 | RC | Evaluating ESOP Optimization Methods in Quantum Compilation Flows. | Giulia Meuli, Bruno Schmitt, Rdiger Ehlers, Heinz Riener, Giovanni De Micheli |
| 2018 | ASPDAC | Functional decomposition using majority. | Zhufei Chu, Mathias Soeken, Yinshui Xia, Giovanni De Micheli |
| 2018 | ASPDAC | A best-fit mapping algorithm to facilitate ESOP-decomposition in Clifford+T quantum network synthesis. | Giulia Meuli, Mathias Soeken, Martin Roetteler, Nathan Wiebe, Giovanni De Micheli |
| 2018 | DAC | SAT based exact synthesis using DAG topology families. | Winston Haaswijk, Alan Mishchenko, Mathias Soeken, Giovanni De Micheli |
| 2018 | DAC | Developing synthesis flows without human knowledge. | Cunxi Yu, Houping Xiao, Giovanni De Micheli |
| 2018 | DATE | Improvements to boolean resynthesis. | Luca Gaetano Amar, Mathias Soeken, Patrick Vuillod, Jiong Luo, Alan Mishchenko, Janet Olson, Robert K. Brayton, Giovanni De Micheli |
| 2018 | DATE | Towards high-performance polarity-controllable FETs with 2D materials. | Giovanni V. Resta, Jorge Romero Gonzalez, Yashwanth Balaji, Tarun Agarwal, Dennis Lin, Francky Catthoor, Iuliana P. Radu, Giovanni De Micheli, Pierre-Emmanuel Gaillardon |
| 2018 | DATE | Practical exact synthesis. | Mathias Soeken, Winston Haaswijk, Eleonora Testa, Alan Mishchenko, Luca Gaetano Amar, Robert K. Brayton, Giovanni De Micheli |
| 2018 | ICCAD | Majority logic synthesis. | Luca G. Amar, Eleonora Testa, Miguel Couceiro, Odysseas Zografos, Giovanni De Micheli, Mathias Soeken |
| 2018 | ISCAS | Deep Learning for Logic Optimization Algorithms. | Winston Haaswijk, Edo Collins, Benoit Seguin, Mathias Soeken, Frdric Kaplan, Sabine Ssstrunk, Giovanni De Micheli |
| 2018 | ISCAS | Portable Memristive Biosensing System as Effective Point-of-Care Device for Cancer Diagnostics. | Ioulia Tzouvadaki, Abuduwaili Tuoheti, Giovanni De Micheli, Danilo Demarchi, Sandro Carrara |
| 2018 | RC | SAT-based {CNOT, T} Quantum Circuit Synthesis. | Giulia Meuli, Mathias Soeken, Giovanni De Micheli |
| 2017 | ASPDAC | Multi-level logic benchmarks: An exactness study. | Luca Gaetano Amar, Mathias Soeken, Winston Haaswijk, Eleonora Testa, Patrick Vuillod, Jiong Luo, Pierre-Emmanuel Gaillardon, Giovanni De Micheli |
| 2017 | ASPDAC | A novel basis for logic rewriting. | Winston Haaswijk, Mathias Soeken, Luca Gaetano Amar, Pierre-Emmanuel Gaillardon, Giovanni De Micheli |
| 2017 | DAC | Hierarchical Reversible Logic Synthesis Using LUTs. | Mathias Soeken, Martin Roetteler, Nathan Wiebe, Giovanni De Micheli |
| 2017 | DATE | 1024-Channel 3D ultrasound digital beamformer in a single 5W FPGA. | Federico Angiolini, Aya Ibrahim, William Andrew Simon, Ahmet Caner Yuzuguler, Marcel Arditi, Jean-Philippe Thiran, Giovanni De Micheli |
| 2017 | DATE | Endurance management for resistive Logic-In-Memory computing architectures. | Saeideh Shirinzadeh, Mathias Soeken, Pierre-Emmanuel Gaillardon, Giovanni De Micheli, Rolf Drechsler |
| 2017 | DATE | Busy man's synthesis: Combinational delay optimization with SAT. | Mathias Soeken, Giovanni De Micheli, Alan Mishchenko |
| 2017 | DATE | Design automation and design space exploration for quantum computers. | Mathias Soeken, Martin Roetteler, Nathan Wiebe, Giovanni De Micheli |
| 2017 | DATE | Wave pipelining for majority-based beyond-CMOS technologies. | Odysseas Zografos, A. De Meester, Eleonora Testa, Mathias Soeken, Pierre-Emmanuel Gaillardon, Giovanni De Micheli, Luca Gaetano Amar, Praveen Raghavan, Francky Catthoor, Rudy Lauwereins |
| 2017 | ICCAD | Enabling exact delay synthesis. | Luca Gaetano Amar, Mathias Soeken, Patrick Vuillod, Jiong Luo, Alan Mishchenko, Pierre-Emmanuel Gaillardon, Janet Olson, Robert K. Brayton, Giovanni De Micheli |
| 2017 | ISCAS | An efficient electronic measurement interface for memristive biosensors. | Sebastien Naus, Ioulia Tzouvadaki, Pierre-Emmanuel Gaillardon, Armando Biscontini, Giovanni De Micheli, Sandro Carrara |
| 2017 | ISCAS | RM3 based logic synthesis (Special session paper). | Mathias Soeken, Pierre-Emmanuel Gaillardon, Giovanni De Micheli |
| 2016 | ASPDAC | Majority-based synthesis for nanotechnologies. | Luca Gaetano Amar, Pierre-Emmanuel Gaillardon, Giovanni De Micheli |
| 2016 | DAC | An MIG-based compiler for programmable logic-in-memory architectures. | Mathias Soeken, Saeideh Shirinzadeh, Pierre-Emmanuel Gaillardon, Luca Gaetano Amar, Rolf Drechsler, Giovanni De Micheli |
| 2016 | DATE | Exploiting inherent characteristics of reversible circuits for faster combinational equivalence checking. | Luca Gaetano Amar, Pierre-Emmanuel Gaillardon, Robert Wille, Giovanni De Micheli |
| 2016 | DATE | Panel: Looking backwards and forwards. | Marco Casale-Rossi, Giovanni De Micheli, Antun Domic, Enrico Macii, Domenico Rossi, Joseph Sawicki |
| 2016 | DATE | The Programmable Logic-in-Memory (PLiM) computer. | Pierre-Emmanuel Gaillardon, Luca Gaetano Amar, Anne Siemon, Eike Linn, Rainer Waser, Anupam Chattopadhyay, Giovanni De Micheli |
| 2016 | DATE | A power-efficient 3-D on-chip interconnect for multi-core accelerators with stacked L2 cache. | Kyungsu Kang, Sangho Park, Jong-Bae Lee, Luca Benini, Giovanni De Micheli |
| 2016 | DATE | Optimizing Majority-Inverter Graphs with functional hashing. | Mathias Soeken, Luca Gaetano Amar, Pierre-Emmanuel Gaillardon, Giovanni De Micheli |
| 2016 | FPGA | A Full-Capacity Local RoutingArchitecture for FPGAs (Abstract Only). | Xifan Tang, Pierre-Emmanuel Gaillardon, Giovanni De Micheli |
| 2016 | FPL | Fast hierarchical NPN classification. | Ana Petkovska, Mathias Soeken, Giovanni De Micheli, Paolo Ienne, Alan Mishchenko |
| 2016 | FPL | Single-FPGA, scalable, low-power, and high-quality 3D ultrasound beamformer. | William Andrew Simon, Ahmet Caner Yuzuguler, Aya Ibrahim, Federico Angiolini, Marcel Arditi, Jean-Philippe Thiran, Giovanni De Micheli |
| 2016 | FPL | Single-FPGA 3D ultrasound beamformer. | Ahmet Caner Yuzuguler, William Andrew Simon, Aya Ibrahim, Federico Angiolini, Marcel Arditi, Jean-Philippe Thiran, Giovanni De Micheli |
| 2016 | ICCAD | Fast generation of lexicographic satisfiable assignments: enabling canonicity in SAT-based applications. | Ana Petkovska, Alan Mishchenko, Mathias Soeken, Giovanni De Micheli, Robert K. Brayton, Paolo Ienne |
| 2016 | ISCAS | An integrated platform for differential electrochemical and ISFET sensing. | Sara S. Ghoreishizadeh, Pantelis Georgiou, Sandro Carrara, Giovanni De Micheli |
| 2016 | ISCAS | Simultaneous monitoring of anesthetics and therapeutic compounds with a portable multichannel potentiostat. | Francesca Stradolini, Tamador Elboshra, Armando Biscontini, Giovanni De Micheli, Sandro Carrara |
| 2016 | ISCAS | Resistance impact by long connections on electrical behavior of integrated Memristive Biosensors. | Ioulia Tzouvadaki, Alessandro Vallero, Francesca Puppo, Giovanni De Micheli, Sandro Carrara |
| 2016 | RC | Enumeration of Reversible Functions and Its Application to Circuit Complexity. | Mathias Soeken, Nabila Abdessaied, Giovanni De Micheli |
| 2016 | SAT | Heuristic NPN Classification for Large Functions Using AIGs and LEXSAT. | Mathias Soeken, Alan Mishchenko, Ana Petkovska, Baruch Sterin, Paolo Ienne, Robert K. Brayton, Giovanni De Micheli |
| 2015 | ASPDAC | Multiple Independent Gate FETs: How many gates do we need? | Luca Gaetano Amar, Gage Hills, Pierre-Emmanuel Gaillardon, Subhasish Mitra, Giovanni De Micheli |
| 2015 | DATE | The future of electronics, semiconductors, and design in Europe: panel. | Marco Casale-Rossi, Giovanni De Micheli, Jalal Bagherli, Thierry Collette, Antun Domic, Horst Symanzik, Hossein Yassaie |
| 2015 | DATE | A ultra-low-power FPGA based on monolithically integrated RRAMs. | Pierre-Emmanuel Gaillardon, Xifan Tang, Jury Sandrini, Maxime Thammasack, Somayyeh Rahimian Omam, Davide Sacchetto, Yusuf Leblebici, Giovanni De Micheli |
| 2015 | DATE | Tackling the bottleneck of delay tables in 3D ultrasound imaging. | Aya Ibrahim, Pascal Hager, Andrea Bartolini, Federico Angiolini, Marcel Arditi, Luca Benini, Giovanni De Micheli |
| 2015 | DATE | Fault modeling in controllable polarity silicon nanowire circuits. | Hassan Ghasemzadeh Mohammadi, Pierre-Emmanuel Gaillardon, Giovanni De Micheli |
| 2015 | FPGA | Towards More Efficient Logic Blocks By Exploiting Biconditional Expansion (Abstract Only). | Pierre-Emmanuel Gaillardon, Gain Kim, Xifan Tang, Luca Gaetano Amar, Giovanni De Micheli |
| 2015 | FPL | Accurate power analysis for near-Vt RRAM-based FPGA. | Xifan Tang, Pierre-Emmanuel Gaillardon, Giovanni De Micheli |
| 2015 | ICCD | FPGA-SPICE: A simulation-based power estimation framework for FPGAs. | Xifan Tang, Pierre-Emmanuel Gaillardon, Giovanni De Micheli |
| 2015 | IJCNN | A neural approach to drugs monitoring for personalized medicine. | Benjamin Staar, Marius Schirmer, Camilla Baj-Rossi, Giovanni De Micheli, Sandro Carrara, Elisabetta Chicca |
| 2015 | ISCAS | Full system for translational studies of personalized medicine with free-moving mice. | Sandro Carrara, Camilla Baj-Rossi, Sara Seyedeh Ghoreishizadeh, Stefano Riario, Grgoire Surrel, Francesca Stradolini, Cristina Boero, Giovanni De Micheli, Enver G. Kilinc, Catherine Dehollain |
| 2014 | ASPDAC | Data compression via logic synthesis. | Luca Gaetano Amar, Pierre-Emmanuel Gaillardon, Andreas Burg, Giovanni De Micheli |
| 2014 | BIBE | Safe Implementation of Embedded Software for a Portable Device Supporting Drug Administration. | Alena Simalatsar, Romain Bornet, Wenqi You, Yann Thoma, Giovanni De Micheli |
| 2014 | DAC | Majority-Inverter Graph: A Novel Data-Structure and Algorithms for Efficient Logic Optimization. | Luca Gaetano Amar, Pierre-Emmanuel Gaillardon, Giovanni De Micheli |
| 2014 | DATE | An efficient manipulation package for Biconditional Binary Decision Diagrams. | Luca Gaetano Amar, Pierre-Emmanuel Gaillardon, Giovanni De Micheli |
| 2014 | DATE | Panel: Emerging vs. established technologies, a two sphinxes' riddle at the crossroads? | Marco Casale-Rossi, Giovanni De Micheli, Rob Aitken, Antun Domic, Manfred Horstmann, Robert Hum, Philippe Magarshack |
| 2014 | DATE | Advanced system on a chip design based on controllable-polarity FETs. | Pierre-Emmanuel Gaillardon, Luca Gaetano Amar, Jian Zhang, Giovanni De Micheli |
| 2014 | DSD | Majority Logic Synthesis for Spin Wave Technology. | Odysseas Zografos, Luca Gaetano Amar, Pierre-Emmanuel Gaillardon, Praveen Raghavan, Giovanni De Micheli |
| 2014 | FPGA | A new basic logic structure for data-path computation (abstract only). | Pierre-Emmanuel Gaillardon, Luca Gaetano Amar, Giovanni De Micheli |
| 2014 | FPL | Pattern-based FPGA logic block and clustering algorithm. | Xifan Tang, Pierre-Emmanuel Gaillardon, Giovanni De Micheli |
| 2014 | ISCAS | Quantitative estimation of biological cell surface receptors by segmenting conventional fluorescence microscopy images. | Julien Ghaye, Chiara Succa, Danilo Demarchi, Sinan K. Muldur, Pascal Colpo, Paolo Silacci, Guy Vergeres, Giovanni De Micheli, Sandro Carrara |
| 2014 | ISCAS | Memristor-based devices for sensing. | Francesca Puppo, Marie-Agnes Doucey, Massimiliano Di Ventra, Giovanni De Micheli, Sandro Carrara |
| 2014 | ISCAS | TSPC Flip-Flop circuit design with three-independent-gate silicon nanowire FETs. | Xifan Tang, Jian Zhang, Pierre-Emmanuel Gaillardon, Giovanni De Micheli |
| 2014 | ISCAS | Novel grid-based power routing scheme for regular controllable-polarity FET arrangements. | Odysseas Zografos, Pierre-Emmanuel Gaillardon, Giovanni De Micheli |
| 2013 | ASPDAC | MIXSyn: An efficient logic synthesis methodology for mixed XOR-AND/OR dominated circuits. | Luca Gaetano Amar, Pierre-Emmanuel Gaillardon, Giovanni De Micheli |
| 2013 | DAC | BDS-MAJ: a BDD-based logic synthesis tool exploiting majority logic decomposition. | Luca Gaetano Amar, Pierre-Emmanuel Gaillardon, Giovanni De Micheli |
| 2013 | DAC | Towards structured ASICs using polarity-tunable Si nanowire transistors. | Pierre-Emmanuel Gaillardon, Michele De Marchi, Luca Gaetano Amar, Shashikanth Bobba, Davide Sacchetto, Yusuf Leblebici, Giovanni De Micheli |
| 2013 | DATE | Biconditional BDD: a novel canonical BDD for logic synthesis targeting XOR-rich circuits. | Luca Gaetano Amar, Pierre-Emmanuel Gaillardon, Giovanni De Micheli |
| 2013 | DATE | Panel: "will 3D-IC remain a technology of the future... even in the future?". | Marco Casale-Rossi, Patrick Leduc, Giovanni De Micheli, Patrick Blouet, Brendan Farley, Anna Fontanelli, Dragomir Milojevic, Steve Smith |
| 2013 | DATE | Vertically-stacked double-gate nanowire FETs with controllable polarity: from devices to regular ASICs. | Pierre-Emmanuel Gaillardon, Luca Gaetano Amar, Shashikanth Bobba, Michele De Marchi, Davide Sacchetto, Yusuf Leblebici, Giovanni De Micheli |
| 2013 | DATE | Electronic implants: power delivery and management. | Jacopo Olivo, Sara S. Ghoreishizadeh, Sandro Carrara, Giovanni De Micheli |
| 2013 | ISCAS | 3.5-D integration: A case study. | Shashikanth Bobba, Pierre-Emmanuel Gaillardon, Ciprian Seiculescu, Vasilis F. Pavlidis, Giovanni De Micheli |
| 2013 | ISCAS | Characterization of standard CMOS compatible photodiodes and pixels for Lab-on-Chip devices. | Gozen Koklu, Ralph Etienne-Cummings, Yusuf Leblebici, Giovanni De Micheli, Sandro Carrara |
| 2013 | ISCAS | Self-checking ripple-carry adder with Ambipolar Silicon NanoWire FET. | Ogun Turkyilmaz, Fabien Clermidy, Luca Gaetano Amar, Pierre-Emmanuel Gaillardon, Giovanni De Micheli |
| 2013 | ISCAS | Dual-threshold-voltage configurable circuits with three-independent-gate silicon nanowire FETs. | Jian Zhang, Pierre-Emmanuel Gaillardon, Giovanni De Micheli |
| 2012 | ASPDAC | Engineering complex systems for health, security and the environment. | Giovanni De Micheli |
| 2012 | BIBE | Medical guidelines reconciling medical software and electronic devices: Imatinib case-study. | Alena Simalatsar, Giovanni De Micheli |
| 2012 | DAC | Physical synthesis onto a Sea-of-Tiles with double-gate silicon nanowire transistors. | Shashikanth Bobba, Michele De Marchi, Yusuf Leblebici, Giovanni De Micheli |
| 2012 | DAC | Integrated biosensors for personalized medicine. | Giovanni De Micheli, Cristina Boero, Camilla Baj-Rossi, Irene Taurino, Sandro Carrara |
| 2012 | DATE | Voltage propagation method for 3-D power grid analysis. | Cheng Zhang, Vasilis F. Pavlidis, Giovanni De Micheli |
| 2012 | ETS | Enhanced wafer matching heuristics for 3-D ICs. | Vasilis F. Pavlidis, Hu Xu, Giovanni De Micheli |
| 2012 | ISCAS | Quantitative comparison of commercial CCD and custom-designed CMOS camera for biological applications. | Gozen Koklu, Julien Ghaye, Rene Beuchat, Giovanni De Micheli, Yusuf Leblebici, Sandro Carrara |
| 2011 | ASPDAC | CELONCEL: Effective design technique for 3-D monolithic integration targeting high performance integrated circuits. | Shashikanth Bobba, Ashutosh Chakraborty, Olivier Thomas, Perrine Batude, Thomas Ernst, Olivier Faynot, David Z. Pan, Giovanni De Micheli |
| 2011 | DATE | Logic synthesis and physical design: Quo vadis? | Giovanni De Micheli |
| 2011 | DATE | An integrated platform for advanced diagnostics. | Giovanni De Micheli, Sara S. Ghoreishizadeh, Cristina Boero, Francesco Valgimigli, Sandro Carrara |
| 2011 | DATE | Analytical heat transfer model for thermal through-silicon vias. | Hu Xu, Vasilis F. Pavlidis, Giovanni De Micheli |
| 2011 | ICCAD | Alternative design methodologies for the next generation logic switch. | Davide Sacchetto, Michele De Marchi, Giovanni De Micheli, Yusuf Leblebici |
| 2011 | ISCAS | Skew variability in 3-D ICs with multiple clock domains. | Hu Xu, Vasilis F. Pavlidis, Giovanni De Micheli |
| 2011 | ISCAS | Thermal-aware system-level modeling and management for Multi-Processor Systems-on-Chip. | Francesco Zanini, David Atienza, Luca Benini, Giovanni De Micheli |
| 2010 | ASPDAC | Design of networks on chips for 3D ICs. | Srinivasan Murali, Luca Benini, Giovanni De Micheli |
| 2010 | BIBE | Methods for Designing Reliable Probe Arrays. | Michele Lombardi, Luca Benini, Abhishek Garg, Giovanni De Micheli |
| 2010 | DAC | Networks on Chips: from research to products. | Giovanni De Micheli, Ciprian Seiculescu, Srinivasan Murali, Luca Benini, Federico Angiolini, Antonio Pullini |
| 2010 | DAC | Carbon nanotube correlation: promising opportunity for CNFET circuit yield enhancement. | Jie Zhang, Shashikanth Bobba, Nishant Patil, Albert Lin, H.-S. Philip Wong, Giovanni De Micheli, Subhasish Mitra |
| 2010 | DATE | Panel: First commandment at least, do nothing well! | Marco Casale-Rossi, Giovanni De Micheli, Antun Domic, Enrico Macii, Piero Perlo, Andreas Wild, Roberto Zafalon |
| 2010 | DATE | Power consumption of logic circuits in ambipolar carbon nanotube technology. | M. Haykel Ben Jamaa, Kartik Mohanram, Giovanni De Micheli |
| 2010 | DATE | A method to remove deadlocks in Networks-on-Chips with Wormhole flow control. | Ciprian Seiculescu, Srinivasan Murali, Luca Benini, Giovanni De Micheli |
| 2010 | ISCAS | Characterization of memristive Poly-Si Nanowires via empirical physical modelling. | Nikolaos Archontas, Julius Georgiou, M. Haykel Ben Jamaa, Sandro Carrara, Giovanni De Micheli |
| 2010 | ISCAS | Design of a CNFET array for sensing and control in P450 based biochips for multiple drug detection. | Shashikanth Bobba, Sandro Carrara, Giovanni De Micheli |
| 2010 | ISCAS | Memristive devices fabricated with silicon nanowire schottky barrier transistors. | Davide Sacchetto, M. Haykel Ben Jamaa, Sandro Carrara, Giovanni De Micheli, Yusuf Leblebici |
| 2010 | ISCAS | Design aspects of carry lookahead adders with vertically-stacked nanowire transistors. | Davide Sacchetto, M. Haykel Ben Jamaa, Giovanni De Micheli, Yusuf Leblebici |
| 2010 | ISCAS | Temperature sensor placement in thermal management systems for MPSoCs. | Francesco Zanini, David Atienza, Colin N. Jones, Giovanni De Micheli |
| 2010 | ISCAS | Multicore thermal management using approximate explicit model predictive control. | Francesco Zanini, Colin N. Jones, David Atienza, Giovanni De Micheli |
| 2009 | ASPDAC | A stochastic perturbative approach to design a defect-aware thresholder in the sense amplifier of crossbar memories. | M. Haykel Ben Jamaa, David Atienza, Yusuf Leblebici, Giovanni De Micheli |
| 2009 | ASPDAC | Synthesis of networks on chips for 3D systems on chips. | Srinivasan Murali, Ciprian Seiculescu, Luca Benini, Giovanni De Micheli |
| 2009 | ASPDAC | A control theory approach for thermal balancing of MPSoC. | Francesco Zanini, David Atienza, Giovanni De Micheli |
| 2009 | CASES | Complete nanowire crossbar framework optimized for the multi-spacer patterning technique. | M. Haykel Ben Jamaa, Gianfranco Cerofolini, Yusuf Leblebici, Giovanni De Micheli |
| 2009 | DAC | Decoding nanowire arrays fabricated with the multi-spacer patterning technique. | M. Haykel Ben Jamaa, Yusuf Leblebici, Giovanni De Micheli |
| 2009 | DAC | NoC topology synthesis for supporting shutdown of voltage islands in SoCs. | Ciprian Seiculescu, Srinivasan Murali, Luca Benini, Giovanni De Micheli |
| 2009 | DATE | Design of compact imperfection-immune CNFET layouts for standard-cell-based logic synthesis. | Shashikanth Bobba, Jie Zhang, Antonio Pullini, David Atienza, Giovanni De Micheli |
| 2009 | DATE | Panel session - Consolidation, a modern "Moor of Venice" tale. | Marco Casale-Rossi, Giovanni De Micheli |
| 2009 | DATE | Novel library of logic gates with ambipolar CNTFETs: Opportunities for multi-level logic synthesis. | M. Haykel Ben Jamaa, Kartik Mohanram, Giovanni De Micheli |
| 2009 | DATE | Physically clustered forward body biasing for variability compensation in nanometer CMOS design. | Ashoka Visweswara Sathanur, Antonio Pullini, Luca Benini, Giovanni De Micheli, Enrico Macii |
| 2009 | DATE | SunFloor 3D: A tool for Networks On Chip topology synthesis for 3D systems on chips. | Ciprian Seiculescu, Srinivasan Murali, Luca Benini, Giovanni De Micheli |
| 2009 | ICCAD | A method for calculating hard QoS guarantees for Networks-on-Chip. | Dara Rahmati, Srinivasan Murali, Luca Benini, Federico Angiolini, Giovanni De Micheli, Hamid Sarbazi-Azad |
| 2008 | ASPDAC | Reliability-aware design for nanometer-scale devices. | David Atienza, Giovanni De Micheli, Luca Benini, Jos L. Ayala, Pablo Garca Del Valle, Michael DeBole, Vijaykrishnan Narayanan |
| 2008 | DAC | Programmable logic circuits based on ambipolar CNFET. | M. Haykel Ben Jamaa, David Atienza, Yusuf Leblebici, Giovanni De Micheli |
| 2008 | DATE | Designing Micro/Nano Systems for a Safer and Healthier Tomorrow. | Giovanni De Micheli |
| 2008 | DATE | Thermal Balancing Policy for Streaming Computing on Multiprocessor Architectures. | Fabrizio Mulas, Michele Pittau, Marco Buttu, Salvatore Carta, Andrea Acquaviva, Luca Benini, David Atienza, Giovanni De Micheli |
| 2008 | DATE | Temperature Control of High-Performance Multi-core Platforms Using Convex Optimization. | Srinivasan Murali, Almir Mutapcic, David Atienza, Rajesh Gupta, Stephen P. Boyd, Luca Benini, Giovanni De Micheli |
| 2008 | DATE | OS-Based Sensor Node Platform and Energy Estimation Model for Health-Care Wireless Sensor Networks. | Francisco J. Rincn, Michele Paselli, Joaqun Recas, Qin Zhao, Marcos Snchez-lez, David Atienza, Julien Penders, Giovanni De Micheli |
| 2008 | WiOpt | Stochastic modeling and analysis for environmentally powered wireless sensor nodes. | Alex E. Susu, Andrea Acquaviva, David Atienza, Giovanni De Micheli |
| 2007 | DATE | Interactive presentation: Improving the fault tolerance of nanometric PLA designs. | Federico Angiolini, M. Haykel Ben Jamaa, David Atienza, Luca Benini, Giovanni De Micheli |
| 2007 | ICCAD | Fault-tolerant multi-level logic decoder for nanoscale crossbar memory arrays. | M. Haykel Ben Jamaa, Kirsten E. Moselund, David Atienza, Didier Bouvet, Adrian M. Ionescu, Yusuf Leblebici, Giovanni De Micheli |
| 2007 | ISCAS | Reduction of Register File Delay Due to Process Variability in VLIW Embedded Processors. | Praveen Raghavan, Jos L. Ayala, David Atienza, Francky Catthoor, Giovanni De Micheli, Marisa Lpez-Vallejo |
| 2007 | RECOMB | An Efficient Method for Dynamic Analysis of Gene Regulatory Networks and | Abhishek Garg, Ioannis Xenarios, Luis Mendoza, Giovanni De Micheli |
| 2006 | ASPDAC | Mapping and configuration methods for multi-use-case networks on chips. | Srinivasan Murali, Martijn Coenen, Andrei Radulescu, Kees Goossens, Giovanni De Micheli |
| 2006 | CBMS | Computer-Aided Evaluation of Protein Expression in Pathological Tissue Images. | Elisa Ficarra, Enrico Macii, Giovanni De Micheli, Luca Benini |
| 2006 | DAC | A fast HW/SW FPGA-based thermal emulation framework for multi-processor system-on-chip. | David Atienza, Pablo Garca Del Valle, Giacomo Paci, Francesco Poletti, Luca Benini, Giovanni De Micheli, Jose Manuel Mendias |
| 2006 | DAC | A multi-path routing strategy with guaranteed in-order packet delivery and fault-tolerance for networks on chip. | Srinivasan Murali, David Atienza, Luca Benini, Giovanni De Micheli |
| 2006 | DATE | A methodology for mapping multiple use-cases onto networks on chips. | Srinivasan Murali, Martijn Coenen, Andrei Radulescu, Kees Goossens, Giovanni De Micheli |
| 2006 | ICCAD | Designing application-specific networks on chips with floorplan information. | Srinivasan Murali, Paolo Meloni, Federico Angiolini, David Atienza, Salvatore Carta, Luca Benini, Giovanni De Micheli, Luigi Raffo |
| 2006 | ICCD | Reliability Support for On-Chip Memories Using Networks-on-Chip. | Federico Angiolini, David Atienza, Srinivasan Murali, Luca Benini, Giovanni De Micheli |
| 2006 | ISCC | Mining Gene Sets for Measuring Similarities. | Christine Nardini, Daniele Masotti, Sungroh Yoon, Enrico Macii, Michael D. Kuo, Giovanni De Micheli, Luca Benini |
| 2005 | ASPDAC | Mapping and physical planning of networks-on-chip architectures with quality-of-service guarantees. | Srinivasan Murali, Luca Benini, Giovanni De Micheli |
| 2005 | ASPDAC | Performance driven reliable link design for networks on chips. | Rutuparna Tamhankar, Srinivasan Murali, Giovanni De Micheli |
| 2005 | DATE | A Complete Network-On-Chip Emulation Framework. | Nicolas Genko, David Atienza, Giovanni De Micheli, Jose Manuel Mendias, Romn Hermida, Francky Catthoor |
| 2005 | DATE | An Application-Specific Design Methodology for STbus Crossbar Generation. | Srinivasan Murali, Giovanni De Micheli |
| 2005 | DATE | xpipes Lite: A Synthesis Oriented Design Library For Networks on Chips. | Stergios Stergiou, Federico Angiolini, Salvatore Carta, Luigi Raffo, Davide Bertozzi, Giovanni De Micheli |
| 2005 | ECCB | Prediction of regulatory modules comprising microRNAs and target genes. | Sungroh Yoon, Giovanni De Micheli |
| 2005 | ISCAS | A novel approach for network on chip emulation. | Nicolas Genko, David Atienza, Giovanni De Micheli, Luca Benini, Jose Manuel Mendias, Romn Hermida, Francky Catthoor |
| 2005 | ISCAS | Self-calibrating networks-on-chip. | Frederic Worm, Paolo Ienne, Patrick Thiran, Giovanni De Micheli |
| 2004 | BIBE | Enhanced pClustering and Its Applications to Gene Expression Data. | Sungroh Yoon, Christine Nardini, Luca Benini, Giovanni De Micheli |
| 2004 | DAC | Reliable communication in systems on chips. | Giovanni De Micheli |
| 2004 | DAC | SUNMAP: a tool for automatic topology selection and generation for NoCs. | Srinivasan Murali, Giovanni De Micheli |
| 2004 | DATE | pipesCompiler: A Tool for Instantiating Application Specific Networks on Chip. | Antoine Jalabert, Srinivasan Murali, Luca Benini, Giovanni De Micheli |
| 2004 | DATE | Bandwidth-Constrained Mapping of Cores onto NoC Architectures. | Srinivasan Murali, Giovanni De Micheli |
| 2004 | DSD | Reliability and Power Management of Integrated Systems. | Kresimir Mihic, Tajana Simunic, Giovanni De Micheli |
| 2003 | DATE | Packetized On-Chip Interconnect Communication Analysis for MPSoC. | Terry Tao Ye, Luca Benini, Giovanni De Micheli |
| 2003 | MEMOCODE | Robust System Design with Uncertain Information. | Giovanni De Micheli |
| 2002 | DAC | Complex library mapping for embedded software using symbolic algebra. | Armita Peymandoust, Giovanni De Micheli, Tajana Simunic |
| 2002 | DAC | Analysis of power consumption on switch fabrics in network routers. | Terry Tao Ye, Giovanni De Micheli, Luca Benini |
| 2002 | DATE | Low Power Error Resilient Encoding for On-Chip Data Buses. | Davide Bertozzi, Luca Benini, Giovanni De Micheli |
| 2002 | DATE | Networks on Chip: A New Paradigm for Systems on Chip Design. | Giovanni De Micheli, Luca Benini |
| 2002 | DATE | Low Power Embedded Software Optimization Using Symbolic Algebra. | Armita Peymandoust, Tajana Simunic, Giovanni De Micheli |
| 2002 | ISCAS | Physical synthesis for ASIC datapath circuits. | Terry Tao Ye, Samit Chaudhuri, Fei Huang, Hamid Savoj, Giovanni De Micheli |
| 2002 | ISLPED | Contents provider-assisted dynamic voltage scaling for low energy multimedia applications. | Eui-Young Chung, Giovanni De Micheli, Luca Benini |
| 2001 | DAC | Using Symbolic Algebra in Algorithmic Level DSP Synthesis. | Armita Peymandoust, Giovanni De Micheli |
| 2001 | DAC | Dynamic Voltage Scaling and Power Management for Portable Systems. | Tajana Simunic, Luca Benini, Andrea Acquaviva, Peter W. Glynn, Giovanni De Micheli |
| 2001 | DATE | Component selection and matching for IP-based design. | Ting Zhang, Luca Benini, Giovanni De Micheli |
| 2001 | ICCAD | Symbolic Algebra and Timing Driven Data-flow Synthesis. | Armita Peymandoust, Giovanni De Micheli |
| 2001 | ISLPED | Automatic source code specialization for energy reduction. | Eui-Young Chung, Luca Benini, Giovanni De Micheli |
| 2000 | DATE | Quantitative Comparison of Power Management Algorithms. | Yung-Hsiang Lu, Eui-Young Chung, Tajana Simunic, Giovanni De Micheli, Luca Benini |
| 2000 | DATE | Resolution of Dynamic Memory Allocation and Pointers for the Behavioral Synthesis from C. | Luc Smria, Koichi Sato, Giovanni De Micheli |
| 2000 | DATE | Dynamic Power Management of Laptop Hard Disk. | Tajana Simunic, Luca Benini, Peter W. Glynn, Giovanni De Micheli |
| 2000 | ICCAD | Data Path Placement with Regularity. | Terry Tao Ye, Giovanni De Micheli |
| 2000 | ISLPED | Operating-system directed power reduction. | Yung-Hsiang Lu, Luca Benini, Giovanni De Micheli |
| 2000 | ISLPED | Do our low-power tools have enough horse power? (panel session) (title only). | Giovanni De Micheli, Tony Correale, Pietro Erratico, Srini Raghvendra, Hugo De Man, Jerry Frankil, Vivek Tiwari |
| 2000 | ISLPED | Energy efficient design of portable wireless systems. | Tajana Simunic, Haris Vikalo, Peter W. Glynn, Giovanni De Micheli |
| 2000 | MOBICOM | Dynamic power management for portable systems. | Tajana Simunic, Luca Benini, Peter W. Glynn, Giovanni De Micheli |
| 1999 | DAC | Kernel-Based Power Optimization of RTL Components: Exact and Approximate Extraction Algorithms. | Luca Benini, Giovanni De Micheli, Enrico Macii, Giuseppe Odasso, Massimo Poncino |
| 1999 | DAC | Cycle-Accurate Simulation of Energy Consumption in Embedded Systems. | Tajana Simunic, Luca Benini, Giovanni De Micheli |
| 1999 | DATE | Glitch Power Minimization by Gate Freezing. | Luca Benini, Giovanni De Micheli, Alberto Macii, Enrico Macii, Massimo Poncino, Riccardo Scarsi |
| 1999 | DATE | Dynamic Power Management for non-stationary service requests. | Eui-Young Chung, Luca Benini, Alessandro Bogliolo, Giovanni De Micheli |
| 1999 | DATE | Hardware Synthesis from C/C++ Models. | Giovanni De Micheli |
| 1999 | DATE | Polynomial Methods for Allocating Complex Components. | James Smith, Giovanni De Micheli |
| 1999 | ICCAD | Dynamic power management using adaptive learning tree. | Eui-Young Chung, Luca Benini, Giovanni De Micheli |
| 1999 | ISLPED | System-level power optimization: techniques and tools. | Luca Benini, Giovanni De Micheli |
| 1999 | ISLPED | Efficient switching activity computation during high-level synthesis of control-dominated designs. | Alessandro Bogliolo, Luca Benini, Bruno Ricc, Giovanni De Micheli |
| 1999 | ISLPED | Energy-efficient design of battery-powered embedded systems. | Tajana Simunic, Luca Benini, Giovanni De Micheli |
| 1998 | DAC | Computational Kernels and their Application to Sequential Power Optimization. | Luca Benini, Giovanni De Micheli, Antonio Lioy, Enrico Macii, Giuseppe Odasso, Massimo Poncino |
| 1998 | DAC | Policy Optimization for Dynamic Power Management. | Giuseppe A. Paleologo, Luca Benini, Alessandro Bogliolo, Giovanni De Micheli |
| 1998 | DAC | Automated Composition of Hardware Components. | James Smith, Giovanni De Micheli |
| 1998 | DATE | Address Bus Encoding Techniques for System-Level Power Optimization. | Luca Benini, Giovanni De Micheli, Donatella Sciuto, Enrico Macii, Cristina Silvano |
| 1998 | DATE | Characterization-Free Behavioral Power Modeling. | Alessandro Bogliolo, Luca Benini, Giovanni De Micheli |
| 1998 | FPL | Acceleration of Satisfiability Algorithms by Reconfigurable Hardware. | Marco Platzner, Giovanni De Micheli |
| 1998 | ICCAD | Dynamic power management of electronic systems. | Luca Benini, Alessandro Bogliolo, Giovanni De Micheli |
| 1998 | ICCAD | Finding all simple disjunctive decompositions using irredundant sum-of-products forms. | Shin-ichi Minato, Giovanni De Micheli |
| 1998 | ICCAD | SpC: synthesis of pointers in C: application of pointer analysis to the behavioral synthesis from C. | Luc Smria, Giovanni De Micheli |
| 1998 | ICCAD | Polynomial methods for component matching and verification. | James Smith, Giovanni De Micheli |
| 1997 | DATE | Symbolic synthesis of clock-gating logic for power optimization of control-oriented synchronous networks. | Luca Benini, Giovanni De Micheli, Enrico Macii, Massimo Poncino, Riccardo Scarsi |
| 1997 | DATE | Adaptive least mean square behavioral power modeling. | Alessandro Bogliolo, Luca Benini, Giovanni De Micheli |
| 1997 | ICCAD | Fast power estimation for deterministic input streams. | Luca Benini, Giovanni De Micheli, Enrico Macii, Massimo Poncino, Riccardo Scarsi |
| 1997 | ICCAD | Real time analysis and priority scheduler generation for hardware-software systems with a synthesized run-time system. | Vincent John Mooney III, Giovanni De Micheli |
| 1997 | ICCAD | Generalized matching from theory to application. | Patrick Vuillod, Luca Benini, Giovanni De Micheli |
| 1997 | ISLPED | System-level power optimization of special purpose applications: the beach solution. | Luca Benini, Giovanni De Micheli, Enrico Macii, Massimo Poncino, Stefano Quer |
| 1997 | ISLPED | Re-mapping for low power under tight timing constraints. | Patrick Vuillod, Luca Benini, Giovanni De Micheli |
| 1996 | DATE | Design for Testability of Gated-Clock FSMs. | Michele Favalli, Luca Benini, Giovanni De Micheli |
| 1996 | ICCD | Distributed EDA Tool Integration: The PPP Paradigm. | Luca Benini, Alessandro Bogliolo, Giovanni De Micheli |
| 1996 | ISLPED | Gate-level current waveform simulation of CMOS integrated circuits. | Alessandro Bogliolo, Luca Benini, Giovanni De Micheli, Bruno Ricc |
| 1996 | ISLPED | Clock skew optimization for peak current reduction. | Patrick Vuillod, Luca Benini, Alessandro Bogliolo, Giovanni De Micheli |
| 1995 | ISLPED | Transformation and synthesis of FSMs for low-power gated-clock implementation. | Luca Benini, Giovanni De Micheli |
| 1994 | ICCAD | Dynamic scheduling and synchronization synthesis of concurrent digital systems under system-level constraints. | Claudionor Jos Nunes Coelho Jr., Giovanni De Micheli |
| 1994 | ICCAD | Decomposition methods for library binding of speed-independent asynchronous designs. | Polly Siegel, Giovanni De Micheli |
| 1994 | ISCAS | A Synthesis Framework Based on Trace and Automata Theory. | Jrme Fron, Jerry Chih-Yuan Yang, Maurizio Damiani, Giovanni De Micheli |
| 1993 | DAC | Optimization of Combinational Logic Circuits Based on Compatible Gates. | Maurizio Damiani, Jerry Chih-Yuan Yang, Giovanni De Micheli |
| 1993 | DAC | Automatic Technology Mapping for Generalized Fundamental-Mode Asynchronous Designs. | Polly Siegel, Giovanni De Micheli, David L. Dill |
| 1993 | ICCAD | Modeling hierarchical combinational circuits. | Jerry R. Burch, David L. Dill, Elizabeth Wolf, Giovanni De Micheli |
| 1992 | DAC | Recurrence Equations and the Optimization of Synchronous Logic Circuits. | Maurizio Damiani, Giovanni De Micheli |
| 1992 | DAC | Synthesis and Simulation of Digital Systems Containing Interacting Hardware and Software Components. | Rajesh K. Gupta, Claudionor Jos Nunes Coelho Jr., Giovanni De Micheli |
| 1991 | DAC | Technology Mapping for Electrically Programmable Gate Arrays. | Silvia Ercolani, Giovanni De Micheli |
| 1991 | DAC | Control Optimization Based on Resynchronization of Operations. | David C. Ku, Dave Filo, Giovanni De Micheli |
| 1990 | DAC | Relative Scheduling Under Timing Constraints. | David C. Ku, Giovanni De Micheli |
| 1990 | ICCAD | Observability Don't Care Sets and Boolean Relations. | Maurizio Damiani, Giovanni De Micheli |
| 1990 | ICCAD | Partitioning of Functional Models of Synchronous Digital Systems. | Rajesh K. Gupta, Giovanni De Micheli |
| 1989 | ICCAD | Inserting active delay elements to achieve wave pipelining. | Derek C. Wong, Giovanni De Micheli, Michael J. Flynn |
| 1988 | DAC | HERCULES - a System for High-Level Synthesis. | Giovanni De Micheli, David C. Ku |
| 1988 | ICCD | Approaching a nanosecond: a 32 bit adder. | Gary Bewick, Paul Song, Giovanni De Micheli, Michael J. Flynn |
| 1988 | ICCD | Automatic layout and optimization of static CMOS cells. | Frdric Mailhot, Giovanni De Micheli |
| 1983 | DAC | PLEASURE: a computer program for simple/multiple constrained/unconstrained folding of Programmable Logic Arrays. | Giovanni De Micheli, Alberto L. Sangiovanni-Vincentelli |