Google
Google Scholar
Semantic Scholar
MS Academic
CiteSeerX
ORCIDGiovanni 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
- 2021
[j173]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)- [c394]Eleonora Testa, Siang-Yun Lee, Heinz Riener, Giovanni De Micheli:
Algebraic and Boolean Optimization Methods for AQFP Superconducting Circuits. ASP-DAC 2021: 779-785 - [c393]Shubham Rai, Heinz Riener, Giovanni De Micheli, Akash Kumar:
Preserving Self-Duality During Logic Synthesis for Emerging Reconfigurable Nanotechnologies. DATE 2021: 354-359 - [c392]Bruno Schmitt, Ali Javadi-Abhari, Giovanni De Micheli:
Compilation flow for classically defined quantum operations. DATE 2021: 964-967 - [c391]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 - [c390]Siang-Yun Lee, Heinz Riener, Giovanni De Micheli:
Logic Resynthesis of Majority-Based Circuits by Top-Down Decomposition. DDECS 2021: 105-110 - [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
- [j172]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) - [j171]Giovanni De Micheli, Antun Domic, Massimiliano Di Ventra, Martin Roettler, Jason Cong:
2019 DAC Roundtable. IEEE Des. Test 37(3): 100-114 (2020) - [j170]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) - [j169]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) - [j168]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) - [c389]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 - [c388]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 - [c387]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 - [c386]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 - [c385]Giulia Meuli, Mathias Soeken, Martin Roetteler, Giovanni De Micheli:
Enumerating Optimal Quantum Circuits using Spectral Classification. ISCAS 2020: 1-5 - [c384]Bruno Schmitt, Mathias Soeken, Giovanni De Micheli:
Symbolic Algorithms for Token Swapping. ISMVL 2020: 28-33 - [c383]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
- [j167]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) - [j166]Eleonora Testa, Mathias Soeken, Luca Gaetano Amarù, Giovanni De Micheli:
Logic Synthesis for Established and Emerging Computing. Proc. IEEE 107(1): 165-184 (2019) - [j165]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) - [j164]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) - [j163]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) - [j162]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) - [j161]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) - [c382]Zhufei Chu, Mathias Soeken, Yinshui Xia, Lun-Yao Wang, Giovanni De Micheli:
Structural rewriting in XOR-majority graphs. ASP-DAC 2019: 663-668 - [c381]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 - [c380]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 - [c379]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 - [c378]Giulia Meuli, Mathias Soeken, Martin Roetteler, Nikolaj Bjørner, Giovanni De Micheli:
Reversible Pebbling Game for Quantum Memory Management. DATE 2019: 288-291 - [c377]Mathias Soeken, Fereshte Mozafari, Bruno Schmitt, Giovanni De Micheli:
Compiling Permutations for Superconducting QPUs. DATE 2019: 1349-1354 - [c376]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 - [c375]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 - [c374]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 - [c373]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 - [c372]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 - [c371]Bruno Schmitt, Mathias Soeken, Giovanni De Micheli, Alan Mishchenko:
Scaling-up ESOP Synthesis for Quantum Compilation. ISMVL 2019: 13-18 - [c370]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 - [c369]Francesca Criscuolo, Marco Galfione, Sandro Carrara, Giovanni De Micheli:
All-solid-state Reference Electrodes for analytical applications. IWASI 2019: 66-69 - [c368]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 - [c367]Ivan Ny Hanitra, Francesca Criscuolo, Sandro Carrara, Giovanni De Micheli:
Multi-Target Electrolyte Sensing Front-End for Wearable Physical Monitoring. PRIME 2019: 249-252 - [c366]Giulia Meuli, Bruno Schmitt, Rüdiger Ehlers, Heinz Riener, Giovanni De Micheli:
Evaluating ESOP Optimization Methods in Quantum Compilation Flows. RC 2019: 191-206 - [c365]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 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
- [j160]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) - [j159]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) - [j158]Mathias Soeken, Eleonora Testa, Alan Mishchenko, Giovanni De Micheli:
Pairs of majority-decomposing functions. Inf. Process. Lett. 139: 35-38 (2018) - [j157]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) - [j156]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) - [c364]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 - [c363]Zhufei Chu, Mathias Soeken, Yinshui Xia, Giovanni De Micheli:
Functional decomposition using majority. ASP-DAC 2018: 676-681 - [c362]Cunxi Yu, Houping Xiao, Giovanni De Micheli:
Developing synthesis flows without human knowledge. DAC 2018: 50:1-50:6 - [c361]Winston Haaswijk, Alan Mishchenko, Mathias Soeken, Giovanni De Micheli:
SAT based exact synthesis using DAG topology families. DAC 2018: 53:1-53:6 - [c360]Mathias Soeken, Winston Haaswijk, Eleonora Testa, Alan Mishchenko, Luca Gaetano Amarù, Robert K. Brayton, Giovanni De Micheli:
Practical exact synthesis. DATE 2018: 309-314 - [c359]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 - [c358]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 - [c357]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 - [c356]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 - [c355]Luca G. Amarù, Eleonora Testa, Miguel Couceiro, Odysseas Zografos, Giovanni De Micheli, Mathias Soeken:
Majority logic synthesis. ICCAD 2018: 79 - [c354]Winston Haaswijk, Luca Gaetano Amarù, Patrick Vuillod, Jiong Luo, Mathias Soeken, Giovanni De Micheli:
Integrated ESOP Refactoring for Industrial Designs. ICECS 2018: 369-372 - [c353]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 - [c352]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 - [c351]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 - [c350]Cunxi Yu, Heinz Riener, Francesca Stradolini, Giovanni De Micheli:
Generating Safety Guidance for Medical Injection with Three-Compartment Pharmacokinetics Model. ISVLSI 2018: 299-304 - [c349]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 - [c348]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 - [c347]Giovanni De Micheli:
Keynote Talk: NoCs: A Short History of Success and a Long Future. NOCS 2018: 1-2 - [c346]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
- [j155]Giovanni De Micheli, Luca Benini:
Networks on Chips: 15 Years Later. Computer 50(5): 10-11 (2017) - [j154]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) - [j153]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) - [j152]Aya Ibrahim, Pascal A. Hager, Andrea Bartolini, Federico Angiolini, Marcel Arditi, Jean-Philippe Thiran, Luca Benini, Giovanni De Micheli:
Efficient Sample Delay Calculation for 2-D and 3-D Ultrasound Imaging. IEEE Trans. Biomed. Circuits Syst. 11(4): 815-831 (2017) - [j151]Sara S. Ghoreishizadeh, Irene Taurino, Giovanni De Micheli, Sandro Carrara, Pantelis Georgiou:
A Differential Electrochemical Readout ASIC With Heterogeneous Integration of Bio-Nano Sensors for Amperometric Sensing. IEEE Trans. Biomed. Circuits Syst. 11(5): 1148-1159 (2017) - [j150]Mathias Soeken, Luca Gaetano Amarù, Pierre-Emmanuel Gaillardon, Giovanni De Micheli:
Exact Synthesis of Majority-Inverter Graphs and Its Applications. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 36(11): 1842-1855 (2017) - [j149]Xifan Tang, Edouard Giacomin, Giovanni De Micheli, Pierre-Emmanuel Gaillardon:
Circuit Designs of High-Performance and Low-Power RRAM-Based Multiplexers Based on 4T(ransistor)1R(RAM) Programming Structure. IEEE Trans. Circuits Syst. I Regul. Pap. 64-I(5): 1173-1186 (2017) - [j148]Giovanni De Micheli:
Cyber-Medical Systems: Requirements, Components and Design Examples. IEEE Trans. Circuits Syst. I Regul. Pap. 64-I(9): 2226-2236 (2017) - [j147]Xifan Tang, Giovanni De Micheli, Pierre-Emmanuel Gaillardon:
A High-Performance FPGA Architecture Using One-Level RRAM-Based Multiplexers. IEEE Trans. Emerg. Top. Comput. 5(2): 210-222 (2017) - [c345]Winston Haaswijk, Mathias Soeken, Luca Gaetano Amarù, Pierre-Emmanuel Gaillardon, Giovanni De Micheli:
A novel basis for logic rewriting. ASP-DAC 2017: 151-156 - [c344]Luca Gaetano Amarù, Mathias Soeken, Winston Haaswijk, Eleonora Testa, Patrick Vuillod, Jiong Luo, Pierre-Emmanuel Gaillardon, Giovanni De Micheli:
Multi-level logic benchmarks: An exactness study. ASP-DAC 2017: 157-162 - [c343]Bruno Donato, Francesca Stradolini, Abuduwaili Tuoheti, Federico Angiolini, Danilo Demarchi, Giovanni De Micheli, Sandro Carrara:
Raspberry Pi driven flow-injection system for electrochemical continuous monitoring platforms. BioCAS 2017: 1-4 - [c342]Aya Ibrahim, Damien Doy, Claudio Loureiro, Eliéva Pignat, Federico Angiolini, Marcel Arditi, Jean-Philippe Thiran, Giovanni De Micheli:
Inexpensive 1024-channel 3D telesonography system on FPGA. BioCAS 2017: 1-4 - [c341]Aya Ibrahim, Damien Doy, Claudio Loureiro, Eliéva Pignat, Federico Angiolini, Marcel Arditi, Jean-Philippe Thiran, Giovanni De Micheli:
Live demonstration: Inexpensive 1024-channel 3D telesonography system on FPGA. BioCAS 2017: 1 - [c340]Francesca Stradolini, Eleonora Lavalle, Paolo Motto Ros, Giovanni De Micheli, Danilo Demarchi, Sandro Carrara:
Live demonstration: An IoT smartwatch-based system for intensive care monitoring. BioCAS 2017: 1 - [c339]Mathias Soeken, Martin Roetteler, Nathan Wiebe, Giovanni De Micheli:
Hierarchical Reversible Logic Synthesis Using LUTs. DAC 2017: 78:1-78:6 - [c338]Aya Ibrahim, William Andrew Simon, Damien Doy, Eliéva Pignat, Federico Angiolini, Marcel Arditi, Jean-Philippe Thiran, Giovanni De Micheli:
Single-FPGA complete 3D and 2D medical ultrasound imager. DASIP 2017: 1-6 - [c337]Mathias Soeken, Martin Roetteler, Nathan Wiebe, Giovanni De Micheli:
Design automation and design space exploration for quantum computers. DATE 2017: 470-475 - [c336]Mathias Soeken, Giovanni De Micheli, Alan Mishchenko:
Busy man's synthesis: Combinational delay optimization with SAT. DATE 2017: 830-835 - [c335]Saeideh Shirinzadeh, Mathias Soeken, Pierre-Emmanuel Gaillardon, Giovanni De Micheli, Rolf Drechsler:
Endurance management for resistive Logic-In-Memory computing architectures. DATE 2017: 1092-1097 - [c334]Federico Angiolini, Aya Ibrahim, William Andrew Simon, Ahmet Caner Yuzuguler, Marcel Arditi, Jean-Philippe Thiran, Giovanni De Micheli:
1024-Channel 3D ultrasound digital beamformer in a single 5W FPGA. DATE 2017: 1225-1228 - [c333]Odysseas Zografos, A. De Meester, Eleonora Testa, Mathias Soeken, Pierre-Emmanuel Gaillardon, Giovanni De Micheli, Luca Gaetano Amarù, Praveen Raghavan, Francky Catthoor, Rudy Lauwereins:
Wave pipelining for majority-based beyond-CMOS technologies. DATE 2017: 1306-1311 - [c332]Zhufei Chu, Xifan Tang, Mathias Soeken, Ana Petkovska, Grace Zgheib, Luca Gaetano Amarù, Yinshui Xia, Paolo Ienne, Giovanni De Micheli, Pierre-Emmanuel Gaillardon:
Improving Circuit Mapping Performance Through MIG-based Synthesis for Carry Chains. ACM Great Lakes Symposium on VLSI 2017: 131-136 - [c331]Luca Gaetano Amarù, Mathias Soeken, Patrick Vuillod, Jiong Luo, Alan Mishchenko, Pierre-Emmanuel Gaillardon, Janet Olson, Robert K. Brayton, Giovanni De Micheli:
Enabling exact delay synthesis. ICCAD 2017: 352-359 - [c330]Sebastien Naus, Ioulia Tzouvadaki, Pierre-Emmanuel Gaillardon, Armando Biscontini, Giovanni De Micheli, Sandro Carrara:
An efficient electronic measurement interface for memristive biosensors. ISCAS 2017: 1-4 - [c329]Mathias Soeken, Pierre-Emmanuel Gaillardon, Giovanni De Micheli:
RM3 based logic synthesis (Special session paper). ISCAS 2017: 1-4 - [c328]Winston Haaswijk, Eleonora Testa, Mathias Soeken, Giovanni De Micheli:
Classifying Functions with Exact Synthesis. ISMVL 2017: 272-277 - [c327]Xifan Tang, Edouard Giacomin, Giovanni De Micheli, Pierre-Emmanuel Gaillardon:
Physical Design Considerations of One-level RRAM-based Routing Multiplexers. ISPD 2017: 47-54 - [c326]Eleonora Testa, Odysseas Zografos, Mathias Soeken, Adrien Vaysset, Mauricio Manfrini, Rudy Lauwereins, Giovanni De Micheli:
Inverter Propagation and Fan-Out Constraints for Beyond-CMOS Majority-Based Technologies. ISVLSI 2017: 164-169 - [c325]Francesca Criscuolo, Irene Taurino, Tugba Kilic, Sandro Carrara, Giovanni De Micheli:
An electrochemical sensor for quantitative analysis of Rhesus D antibodies in blood. IWASI 2017: 236-240 - [c324]Xifan Tang, Giovanni De Micheli, Pierre-Emmanuel Gaillardon:
Optimization opportunities in RRAM-based FPGA architectures. LASCAS 2017: 1-4 - [i5]Mathias Soeken, Martin Roetteler, Nathan Wiebe, Giovanni De Micheli:
Logic Synthesis for Quantum Computing. CoRR abs/1706.02721 (2017) - 2016
- [j146]Jury Sandrini, Marios Barlas, Maxime Thammasack, Tugba Demirci, Michele De Marchi, Davide Sacchetto, Pierre-Emmanuel Gaillardon, Giovanni De Micheli, Yusuf Leblebici:
Co-Design of ReRAM Passive Crossbar Arrays Integrated in 180 nm CMOS Technology. IEEE J. Emerg. Sel. Topics Circuits Syst. 6(3): 339-351 (2016) - [j145]Yu Bi, Kaveh Shamsi, Jiann-Shiun Yuan, Pierre-Emmanuel Gaillardon, Giovanni De Micheli, Xunzhao Yin, Xiaobo Sharon Hu, Michael T. Niemier, Yier Jin:
Emerging Technology-Based Design of Primitives for Hardware Security. ACM J. Emerg. Technol. Comput. Syst. 13(1): 3:1-3:19 (2016) - [j144]Hassan Ghasemzadeh Mohammadi, Pierre-Emmanuel Gaillardon, Jian Zhang, Giovanni De Micheli, Ernesto Sánchez, Matteo Sonza Reorda:
A Fault-Tolerant Ripple-Carry Adder with Controllable-Polarity Transistors. ACM J. Emerg. Technol. Comput. Syst. 13(2): 16:1-16:13 (2016) - [j143]Giulia Beanato, Kiarash Gharibdoust, Alessandro Cevrero, Giovanni De Micheli, Yusuf Leblebici:
Design and analysis of jitter-aware low-power and high-speed TSV link for 3D ICs. Microelectron. J. 48: 50-59 (2016) - [j142]Giulia Beanato, Alessandro Cevrero, Giovanni De Micheli, Yusuf Leblebici:
Impact of data serialization over TSVs on routing congestion in 3D-stacked multi-core processors. Microelectron. J. 51: 38-45 (2016) - [j141]Genevieve Massicotte, Sandro Carrara, Giovanni De Micheli, Mohamad Sawan:
A CMOS Amperometric System for Multi-Neurotransmitter Detection. IEEE Trans. Biomed. Circuits Syst. 10(3): 731-741 (2016) - [j140]Camilla Baj-Rossi, Andrea Cavallini, Enver G. Kilinc, Francesca Stradolini, Tanja Rezzonico Jost, Michele Proietti, Giovanni De Micheli, Fabio Grassi, Catherine Dehollain, Sandro Carrara:
In-Vivo Validation of Fully Implantable Multi-Panel Devices for Remote Monitoring of Metabolism. IEEE Trans. Biomed. Circuits Syst. 10(5): 955-962 (2016) - [j139]Luca Gaetano Amarù, Pierre-Emmanuel Gaillardon, Anupam Chattopadhyay, Giovanni De Micheli:
A Sound and Complete Axiomatization of Majority-n Logic. IEEE Trans. Computers 65(9): 2889-2895 (2016) - [j138]Luca Gaetano Amarù, Pierre-Emmanuel Gaillardon, Giovanni De Micheli:
Majority-Inverter Graph: A New Paradigm for Logic Optimization. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 35(5): 806-819 (2016) - [j137]Hassan Ghasemzadeh Mohammadi, Pierre-Emmanuel Gaillardon, Giovanni De Micheli:
Efficient Statistical Parameter Selection for Nonlinear Modeling of Process/Performance Variation. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 35(12): 1995-2