


Остановите войну!
for scientists:


default search action
Giovanni De Micheli
Person information

- affiliation: Swiss Federal Institute of Technology in Lausanne, Switzerland
- award (2016): Harry H. Goode Memorial Award
- award (2003): IEEE Emanuel R. Piore Award
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
- [j185]Giovanni De Micheli
:
Strange Loops in Design and Technology: 59th DAC Keynote Speech. IEEE Des. Test 40(5): 96-103 (2023) - [j184]Andrea Costamagna
, Giovanni De Micheli
:
Accuracy recovery: A decomposition procedure for the synthesis of partially-specified Boolean functions. Integr. 89: 248-260 (2023) - [j183]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): 914-927 (2023) - [j182]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): 3958-3971 (2023) - [c415]Alessandro Tempia Calvino, Giovanni De Micheli:
Depth-Optimal Buffer and Splitter Insertion and Optimization in AQFP Circuits. ASP-DAC 2023: 152-158 - [c414]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: 1-6 - [c413]Dewmini Sudara Marakkalage, Giovanni De Micheli:
Fanout-Bounded Logic Synthesis for Emerging Technologies - A Top-Down Approach. DATE 2023: 1-6 - [c412]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: 421-425 - [c411]Mingfei Yu, Giovanni De Micheli:
Generating Lower-Cost Garbled Circuits: Logic Synthesis Can Help. HOST 2023: 304-314 - [c410]Rassul Bairamkulov, Alessandro Tempia Calvino, Giovanni De Micheli:
Synthesis of SFQ Circuits with Compound Gates. VLSI-SoC 2023: 1-6 - [i19]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 abs/2311.09967 (2023) - [i18]Hanyu Wang, Siang-Yun Lee, Giovanni De Micheli:
AnySyn: A Cost-Generic Logic Synthesis Framework with Customizable Cost Functions. CoRR abs/2311.14721 (2023) - 2022
- [j181]Jie-Hong R. Jiang
, Giovanni De Micheli
, Kaitlin N. Smith, Mathias Soeken:
Design and Automation for Quantum Computation and Quantum Technologies. IEEE J. Emerg. Sel. Topics Circuits Syst. 12(3): 581-583 (2022) - [j180]Giovanni De Micheli
, Jie-Hong R. Jiang
, Robert Rand
, Kaitlin N. Smith, Mathias Soeken
:
Advances in Quantum Computation and Quantum Technologies: A Design Automation Perspective. IEEE J. Emerg. Sel. Topics Circuits Syst. 12(3): 584-601 (2022) - [j179]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): 2573-2586 (2022) - [c409]Heinz Riener, Siang-Yun Lee
, Alan Mishchenko, Giovanni De Micheli:
Boolean Rewriting Strikes Back: Reconvergence-Driven Windowing Meets Resynthesis. ASP-DAC 2022: 395-402 - [c408]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: 410-416 - [c407]Fereshte Mozafari, Yuxiang Yang, Giovanni De Micheli:
Efficient Preparation of Cyclic Quantum States. ASP-DAC 2022: 460-465 - [c406]Siang-Yun Lee, Heinz Riener, Giovanni De Micheli:
Beyond local optimality of buffer and splitter insertion for AQFP circuits. DAC 2022: 445-450 - [c405]Bruno Schmitt, Giovanni De Micheli:
tweedledum: A Compiler Companion for Quantum Computing. DATE 2022: 7-12 - [c404]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: 34-39 - [c403]Giovanni De Micheli:
Design and Optimization of Quantum Electronic Circuits. ISPD 2022: 139 - [c402]Andrea Costamagna
, Giovanni De Micheli:
Logic Synthesis From Incomplete Specifications Using Disjoint Support Decomposition. PRIME 2022: 133-136 - [i17]Fereshte Mozafari, Giovanni De Micheli, Yuxiang Yang:
Efficient Deterministic Preparation of Quantum States Using Decision Diagrams. CoRR abs/2206.08588 (2022) - [i16]Siang-Yun Lee, Heinz Riener, Giovanni De Micheli:
An Automated Testing and Debugging Toolkit for Gate-Level Logic Synthesis Applications. CoRR abs/2207.13487 (2022) - [i15]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 abs/2209.01999 (2022) - 2021
- [j178]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: 46821-46836 (2021) - [j177]Giovanni De Micheli
:
The Emerging Majority: Technology and Design for Superconducting Electronics. IEEE Des. Test 38(6): 79-87 (2021) - [j176]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): 1093-1106 (2021) - [j175]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): 2184-2188 (2021) - [c401]Eleonora Testa, Siang-Yun Lee, Heinz Riener, Giovanni De Micheli:
Algebraic and Boolean Optimization Methods for AQFP Superconducting Circuits. ASP-DAC 2021: 779-785 - [c400]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: 871-876 - [c399]Shubham Rai, Heinz Riener, Giovanni De Micheli, Akash Kumar:
Preserving Self-Duality During Logic Synthesis for Emerging Reconfigurable Nanotechnologies. DATE 2021: 354-359 - [c398]Bruno Schmitt, Ali Javadi-Abhari, Giovanni De Micheli:
Compilation flow for classically defined quantum operations. DATE 2021: 964-967 - [c397]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: 1044-1049 - [c396]Siang-Yun Lee, Heinz Riener, Giovanni De Micheli:
Logic Resynthesis of Majority-Based Circuits by Top-Down Decomposition. DDECS 2021: 105-110 - [c395]Dewmini Sudara Marakkalage, Heinz Riener, Giovanni De Micheli:
Optimizing Adiabatic Quantum-Flux-Parametron (AQFP) Circuits using an Exact Database. NANOARCH 2021: 1-6 - [i14]Siang-Yun Lee
, Heinz Riener, Giovanni De Micheli:
Irredundant Buffer and Splitter Insertion and Scheduling-Based Optimization for AQFP Circuits. CoRR abs/2109.00291 (2021) - 2020
- [j174]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: 226828-226844 (2020) - [j173]Giovanni De Micheli
, Antun Domic, Massimiliano Di Ventra, Martin Roettler, Jason Cong:
2019 DAC Roundtable. IEEE Des. Test 37(3): 100-114 (2020) - [j172]Sankar Basu
, Randal E. Bryant, Giovanni De Micheli
, Thomas N. Theis, Lloyd Whitman
:
Nonsilicon, Non-von Neumann Computing - Part II. Proc. IEEE 108(8): 1211-1218 (2020) - [j171]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): 871-884 (2020) - [j170]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): 1621-1634 (2020) - [c394]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: 1-6 - [c393]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: 133-138 - [c392]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: 568-573 - [c391]Ivan Ny Hanitra, Danilo Demarchi, Sandro Carrara, Giovanni De Micheli:
Emulator Design and Generation of Synthetic Dataset in Multi-Ion Sensing. ISCAS 2020: 1-5 - [c390]Giulia Meuli, Mathias Soeken, Martin Roetteler
, Giovanni De Micheli:
Enumerating Optimal Quantum Circuits using Spectral Classification. ISCAS 2020: 1-5 - [c389]Bruno Schmitt, Mathias Soeken, Giovanni De Micheli:
Symbolic Algorithms for Token Swapping. ISMVL 2020: 28-33 - [c388]Fereshte Mozafari, Mathias Soeken, Heinz Riener, Giovanni De Micheli:
Automatic Uniform Quantum State Preparation Using Decision Diagrams. ISMVL 2020: 170-175 - [e6]Carolina Metzler
, Pierre-Emmanuel Gaillardon
, Giovanni De Micheli
, Carlos Silva Cárdenas
, Ricardo Reis
:
VLSI-SoC: New Technology Enabler - 27th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2019, Cusco, Peru, October 6-9, 2019, Revised and Extended Selected Papers. IFIP Advances in Information and Communication Technology 586, Springer 2020, ISBN 978-3-030-53272-7 [contents] - [i13]Siang-Yun Lee
, Heinz Riener, Alan Mishchenko, Robert K. Brayton, Giovanni De Micheli:
Simulation-Guided Boolean Resubstitution. CoRR abs/2007.02579 (2020) - [i12]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: 706 (2020)
2010 – 2019
- 2019
- [j169]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): 11-18 (2019) - [j168]Eleonora Testa
, Mathias Soeken
, Luca Gaetano Amarù, Giovanni De Micheli
:
Logic Synthesis for Established and Emerging Computing. Proc. IEEE 107(1): 165-184 (2019) - [j167]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): 2260 (2019) - [j166]Eleonora Testa
, Mathias Soeken
, Luca Gaetano Amarù, Winston Haaswijk, Giovanni De Micheli
:
Mapping Monotone Boolean Functions into Majority. IEEE Trans. Computers 68(5): 791-797 (2019) - [j165]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): 1675-1688 (2019) - [j164]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): 637-650 (2019) - [j163]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): 1486-1503 (2019) - [c387]Zhufei Chu
, Mathias Soeken, Yinshui Xia, Lun-Yao Wang, Giovanni De Micheli:
Structural rewriting in XOR-majority graphs. ASP-DAC 2019: 663-668 - [c386]Mohsen Imani, Justin Morris
, Samuel Bosch
, Helen Shu, Giovanni De Micheli, Tajana Rosing:
AdaptHD: Adaptive Efficient Training for Brain-Inspired Hyperdimensional Computing. BioCAS 2019: 1-4 - [c385]Heinz Riener, Eleonora Testa, Winston Haaswijk, Alan Mishchenko, Luca G. Amarù, Giovanni De Micheli, Mathias Soeken:
Scalable Generic Logic Synthesis: One Approach to Rule Them All. DAC 2019: 70 - [c384]Eleonora Testa, Mathias Soeken, Luca G. Amarù, Giovanni De Micheli:
Reducing the Multiplicative Complexity in Logic Networks for Cryptography and Security Applications. DAC 2019: 74 - [c383]Giulia Meuli, Mathias Soeken, Martin Roetteler
, Nikolaj S. Bjørner, Giovanni De Micheli:
Reversible Pebbling Game for Quantum Memory Management. DATE 2019: 288-291 - [c382]Mathias Soeken, Fereshte Mozafari, Bruno Schmitt, Giovanni De Micheli:
Compiling Permutations for Superconducting QPUs. DATE 2019: 1349-1354 - [c381]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: 1643-1648 - [c380]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: 1649-1654 - [c379]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: 1-8 - [c378]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: 1-4 - [c377]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: 1-5 - [c376]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: 1-5 - [c375]Bruno Schmitt, Mathias Soeken, Giovanni De Micheli, Alan Mishchenko:
Scaling-up ESOP Synthesis for Quantum Compilation. ISMVL 2019: 13-18 - [c374]Debjyoti Bhattacharjee
, Mathias Soeken, Srijit Dutta, Anupam Chattopadhyay, Giovanni De Micheli:
Reversible Pebble Games for Reducing Qubits in Hierarchical Quantum Circuit Synthesis. ISMVL 2019: 102-107 - [c373]Francesca Criscuolo
, Marco Galfione, Sandro Carrara, Giovanni De Micheli:
All-solid-state Reference Electrodes for analytical applications. IWASI 2019: 66-69 - [c372]Heinz Riener, Eleonora Testa, Winston Haaswijk, Alan Mishchenko, Luca G. Amarù, Giovanni De Micheli, Mathias Soeken:
Logic Optimization of Majority-Inverter Graphs. MBMV 2019: 1-4 - [c371]Ivan Ny Hanitra, Francesca Criscuolo
, Sandro Carrara, Giovanni De Micheli:
Multi-Target Electrolyte Sensing Front-End for Wearable Physical Monitoring. PRIME 2019: 249-252 - [c370]Giulia Meuli, Bruno Schmitt, Rüdiger Ehlers, Heinz Riener, Giovanni De Micheli:
Evaluating ESOP Optimization Methods in Quantum Compilation Flows. RC 2019: 191-206 - [c369]Giulia Meuli, Mathias Soeken, Martin Roetteler
, Giovanni De Micheli:
ROS: Resource-constrained Oracle Synthesis for Quantum Computers. QPL 2019: 119-130 - [p7]Davide Sacchetto, Pierre-Emmanuel Gaillardon, Yusuf Leblebici, Giovanni De Micheli:
Memory Effects in Multi-terminal Solid State Devices and Their Applications. Handbook of Memristor Networks 2019: 1021-1064 - [i11]Giulia Meuli, Mathias Soeken, Martin Roetteler, Nikolaj S. Bjørner, Giovanni De Micheli:
Reversible Pebbling Game for Quantum Memory Management. CoRR abs/1904.02121 (2019) - [i10]Giulia Meuli, Mathias Soeken, Earl Campbell, Martin Roetteler, Giovanni De Micheli:
The Role of Multiplicative Complexity in Compiling Low T-count Oracle Circuits. CoRR abs/1908.01609 (2019) - [i9]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 abs/1911.12446 (2019) - 2018
- [j162]Stefanos Skalistis
, Federico Angiolini, Giovanni De Micheli
, Alena Simalatsar:
Safe and Efficient Deployment of Data-Parallelizable Applications on Many-Core Platforms: Theory and Practice. IEEE Des. Test 35(4): 7-15 (2018) - [j161]Xifan Tang
, Edouard Giacomin
, Giovanni De Micheli
, Pierre-Emmanuel Gaillardon
:
Post-P&R Performance and Power Analysis for RRAM-Based FPGAs. IEEE J. Emerg. Sel. Topics Circuits Syst. 8(3): 639-650 (2018) - [j160]Mathias Soeken
, Eleonora Testa, Alan Mishchenko, Giovanni De Micheli:
Pairs of majority-decomposing functions. Inf. Process. Lett. 139: 35-38 (2018) - [j159]Aya Ibrahim
, Shuping Zhang
, Federico Angiolini, Marcel Arditi
, Shinji Kimura, Satoshi Goto, Jean-Philippe Thiran
, Giovanni De Micheli
:
Towards Ultrasound Everywhere: A Portable 3D Digital Back-End Capable of Zone and Compound Imaging. IEEE Trans. Biomed. Circuits Syst. 12(5): 968-981 (2018) - [j158]Francesca Stradolini
, Abuduwaili Tuoheti
, Tugba Kilic, Sofia Lydia Ntella, Nadia Tamburrano, Zijian Huang, Giovanni De Micheli
, Danilo Demarchi
, Sandro Carrara
:
An IoT Solution for Online Monitoring of Anesthetics in Human Serum Based on an Integrated Fluidic Bioelectronic System. IEEE Trans. Biomed. Circuits Syst. 12(5): 1056-1064 (2018) - [c368]Giulia Meuli, Mathias Soeken, Martin Roetteler
, Nathan Wiebe, Giovanni De Micheli:
A best-fit mapping algorithm to facilitate ESOP-decomposition in Clifford+T quantum network synthesis. ASP-DAC 2018: 664-669 - [c367]Zhufei Chu, Mathias Soeken, Yinshui Xia, Giovanni De Micheli:
Functional decomposition using majority. ASP-DAC 2018: 676-681 - [c366]Cunxi Yu
, Houping Xiao, Giovanni De Micheli:
Developing synthesis flows without human knowledge. DAC 2018: 50:1-50:6 - [c365]Winston Haaswijk, Alan Mishchenko, Mathias Soeken, Giovanni De Micheli:
SAT based exact synthesis using DAG topology families. DAC 2018: 53:1-53:6 - [c364]Mathias Soeken, Winston Haaswijk, Eleonora Testa, Alan Mishchenko, Luca Gaetano Amarù, Robert K. Brayton, Giovanni De Micheli:
Practical exact synthesis. DATE 2018: 309-314 - [c363]Giovanni V. Resta, Jorge Romero Gonzalez, Yashwanth Balaji
, Tarun Agarwal, Dennis Lin, Francky Catthoor, Iuliana P. Radu
, Giovanni De Micheli, Pierre-Emmanuel Gaillardon:
Towards high-performance polarity-controllable FETs with 2D materials. DATE 2018: 637-641 - [c362]Luca Gaetano Amarù, Mathias Soeken, Patrick Vuillod, Jiong Luo, Alan Mishchenko, Janet Olson, Robert K. Brayton, Giovanni De Micheli:
Improvements to boolean resynthesis. DATE 2018: 755-760 - [c361]Giovanni V. Resta, Yashwanth Balaji
, Dennis Lin, Iuliana P. Radu
, Francky Catthoor, Pierre-Emmanuel Gaillardon, Giovanni De Micheli:
Doping-free complementary inverter enabled by 2D WSe2 electrostatically-doped reconfigurable transistors. DRC 2018: 1-2 - [c360]Francesca Criscuolo
, Irene Taurino
, Sandro Carrara, Giovanni De Micheli:
A novel electrochemical sensor for non-invasive monitoring of lithium levels in mood disorders. EMBC 2018: 3825-3828 - [c359]Luca G. Amarù, Eleonora Testa, Miguel Couceiro
, Odysseas Zografos, Giovanni De Micheli, Mathias Soeken:
Majority logic synthesis. ICCAD 2018: 79 - [c358]Winston Haaswijk, Luca Gaetano Amarù, Patrick Vuillod, Jiong Luo, Mathias Soeken, Giovanni De Micheli:
Integrated ESOP Refactoring for Industrial Designs. ICECS 2018: 369-372 - [c357]Francesca Criscuolo
, Lucia Lobello, Irene Taurino
, Danilo Demarchi
, Sandro Carrara, Giovanni De Micheli:
Mixed Gold and Platinum Nanostructured Layers for All-Solid-State Ion Sensors. IEEE SENSORS 2018: 1-4 - [c356]Winston Haaswijk, Edo Collins, Benoit Seguin, Mathias Soeken, Frédéric Kaplan
, Sabine Süsstrunk, Giovanni De Micheli:
Deep Learning for Logic Optimization Algorithms. ISCAS 2018: 1-4 - [c355]Ioulia Tzouvadaki, Abuduwaili Tuoheti
, Giovanni De Micheli, Danilo Demarchi
, Sandro Carrara:
Portable Memristive Biosensing System as Effective Point-of-Care Device for Cancer Diagnostics. ISCAS 2018: 1-5 - [c354]Cunxi Yu
, Chau-Chin Huang, Gi-Joon Nam, Mihir Choudhury, Victor N. Kravets, Andrew Sullivan, Maciej J. Ciesielski, Giovanni De Micheli:
End-to-End Industrial Study of Retiming. ISVLSI 2018: 203-208 - [c353]Cunxi Yu, Heinz Riener, Francesca Stradolini, Giovanni De Micheli:
Generating Safety Guidance for Medical Injection with Three-Compartment Pharmacokinetics Model. ISVLSI 2018: 299-304 - [c352]Ivan Ny Hanitra, Lucia Lobello, Francesca Stradolini, Abuduwaili Tuoheti
, Francesca Criscuolo
, Tugba Kilic, Danilo Demarchi
, Sandro Carrara, Giovanni De Micheli:
A Flexible Front-End for Wearable Electrochemical Sensing. MeMeA 2018: 1-6 - [c351]Heinz Riener, Eleonora Testa, Luca G. Amarù, Mathias Soeken, Giovanni De Micheli:
Size Optimization of MIGs with an Application to QCA and STMG Technologies. NANOARCH 2018: 157-162 - [c350]Giovanni De Micheli:
Keynote Talk: NoCs: A Short History of Success and a Long Future. NOCS 2018: 1-2 - [c349]Giulia Meuli, Mathias Soeken, Giovanni De Micheli:
SAT-based {CNOT, T} Quantum Circuit Synthesis. RC 2018: 175-188 - [i8]Cunxi Yu, Houping Xiao, Giovanni De Micheli:
Developing Synthesis Flows Without Human Knowledge. CoRR abs/1804.05714 (2018) - [i7]Mathias Soeken, Heinz Riener, Winston Haaswijk, Giovanni De Micheli:
The EPFL Logic Synthesis Libraries. CoRR abs/1805.05121 (2018) - [i6]Heinz Riener, Rüdiger Ehlers, Bruno Schmitt, Giovanni De Micheli:
Exact Synthesis of ESOP Forms. CoRR abs/1807.11103 (2018) - 2017
- [j157]Giovanni De Micheli, Luca Benini
:
Networks on Chips: 15 Years Later. Computer 50(5): 10-11 (2017) - [j156]Mathias Soeken, Pierre-Emmanuel Gaillardon, Saeideh Shirinzadeh, Rolf Drechsler
, Giovanni De Micheli:
A PLiM Computer for the Internet of Things. Computer 50(6): 35-40 (2017) - [j155]Patrick Mayor, Martin Rajman, Giovanni De Micheli
:
Nano-Tera.ch: Information Technology for Health, Environment, and Energy. IEEE Des. Test 34(6): 109-118 (2017) - [j154]