default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
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
- 2024
[j187]Dewmini Sudara Marakkalage
, Giovanni De Micheli:
Fanout-Bounded Logic Synthesis for Emerging Technologies. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 43(5): 1415-1428 (2024)- [c429]Gianluca Radi, Alessandro Tempia Calvino, Giovanni De Micheli:
In Medio Stat Virtus*: Combining Boolean and Pattern Matching. ASPDAC 2024: 404-410 - [c428]Rassul Bairamkulov, Giovanni De Micheli:
Towards Multiphase Clocking in Single-Flux Quantum Systems. ASPDAC 2024: 582-587 - [c427]Alessandro Tempia Calvino, Giovanni De Micheli:
Algebraic and Boolean Methods for SFQ Superconducting Circuits. ASPDAC 2024: 588-593 - [c426]Rassul Bairamkulov, Siang-Yun Lee, Alessandro Tempia Calvino, Dewmini Sudara Marakkalage, Mingfei Yu, Giovanni De Micheli:
Technology-Aware Logic Synthesis for Superconducting Electronics. DATE 2024: 1-6 - [c425]Rassul Bairamkulov, Mingfei Yu, Giovanni De Micheli:
Unleashing the Power of T1-Cells in SFQ Arithmetic Circuits. DATE 2024: 1-2 - [c424]Alessandro Tempia Calvino, Giovanni De Micheli:
Scalable Logic Rewriting Using Don't Cares. DATE 2024: 1-6 - [c423]Dewmini Sudara Marakkalage, Eleonora Testa, Walter Lau Neto, Alan Mishchenko, Giovanni De Micheli, Luca G. Amarù:
Scalable Sequential Optimization Under Observability Don't Cares. DATE 2024: 1-6 - [c422]Chang Meng, Hanyu Wang, Yuqi Mai, Weikang Qian, Giovanni De Micheli:
VACSEM: Verifying Average Errors in Approximate Circuits Using Simulation-Enhanced Model Counting. DATE 2024: 1-6 - [c421]Hanyu Wang, Jason Cong, Giovanni De Micheli:
Quantum State Preparation Using an Exact CNOT Synthesis Formulation. DATE 2024: 1-6 - [c420]Andrea Costamagna, Alan Mishchenko, Satrajit Chatterjee, Giovanni De Micheli:
An Enhanced Resubstitution Algorithm for Area-Oriented Logic Optimization. ISCAS 2024: 1-5 - [i24]Hanyu Wang, Bochen Tan, Jason Cong, Giovanni De Micheli:
Quantum State Preparation Using an Exact CNOT Synthesis Formulation. CoRR abs/2401.01009 (2024) - [i23]Rassul Bairamkulov, Giovanni De Micheli:
Towards Multiphase Clocking in Single-Flux Quantum Systems. CoRR abs/2403.05884 (2024) - [i22]Rassul Bairamkulov, Mingfei Yu, Giovanni De Micheli:
Unleashing the Power of T1-cells in SFQ Arithmetic Circuits. CoRR abs/2403.05901 (2024) - [i21]Alessandro Tempia Calvino, Alan Mishchenko, Giovanni De Micheli, Robert K. Brayton:
Practical Boolean Decomposition for Delay-driven LUT Mapping. CoRR abs/2406.06241 (2024) - [i20]Mingfei Yu, Giovanni De Micheli:
Expediting Homomorphic Computation via Multiplicative Complexity-aware Multiplicative Depth Minimization. IACR Cryptol. ePrint Arch. 2024: 1015 (2024) - 2023
- [j186]Mingfei Yu, Dewmini Sudara Marakkalage, Giovanni De Micheli:
Garbled Circuits Reimagined: Logic Synthesis Unleashes Efficient Secure Computation. Cryptogr. 7(4): 61 (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) - [c419]Giovanni De Micheli:
Logic Synthesis for Emerging Technologies. ASICON 2023: 1-4 - [c418]Alessandro Tempia Calvino, Giovanni De Micheli:
Depth-Optimal Buffer and Splitter Insertion and Optimization in AQFP Circuits. ASP-DAC 2023: 152-158 - [c417]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 - [c416]Dewmini Sudara Marakkalage, Giovanni De Micheli:
Fanout-Bounded Logic Synthesis for Emerging Technologies - A Top-Down Approach. DATE 2023: 1-6 - [c415]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 - [c414]Mingfei Yu, Giovanni De Micheli:
Generating Lower-Cost Garbled Circuits: Logic Synthesis Can Help. HOST 2023: 304-314 - [c413]Alessandro Tempia Calvino, Giovanni De Micheli:
Technology Mapping Using Multi-Output Library Cells. ICCAD 2023: 1-9 - [c412]Mingfei Yu, Giovanni De Micheli:
Striving for Both Quality and Speed: Logic Synthesis for Practical Garbled Circuits. ICCAD 2023: 1-9 - [c411]Giovanni De Micheli:
Cyclical Progress in Design and Technology. ICTA 2023: 202-203 - [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]Fanfan Meng, Florin Ciubotaru, S.-Y. Lee, Odysseas Zografos, M. Gupta, V. D. Nguyen, Sebastien 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 T. 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 T. 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]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) - [j153]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) - [j152]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) - [j151]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) - [j150]Giovanni De Micheli:
Cyber-Medical Systems: Requirements, Components and Design Examples. IEEE Trans. Circuits Syst. I Regul. Pap. 64-I(9): 2226-2236 (2017) - [j149]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) - [c348]Winston Haaswijk, Mathias Soeken, Luca Gaetano Amarù, Pierre-Emmanuel Gaillardon, Giovanni De Micheli:
A novel basis for logic rewriting. ASP-DAC 2017: 151-156 - [c347]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 - [c346]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 - [c345]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 - [c344]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 - [c343]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 - [c342]Mathias Soeken, Martin Roetteler, Nathan Wiebe, Giovanni De Micheli:
Hierarchical Reversible Logic Synthesis Using LUTs. DAC 2017: 78:1-78:6 - [c341]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 - [c340]Mathias Soeken, Martin Roetteler, Nathan Wiebe, Giovanni De Micheli:
Design automation and design space exploration for quantum computers. DATE 2017: 470-475 - [c339]Mathias Soeken, Giovanni De Micheli, Alan Mishchenko:
Busy man's synthesis: Combinational delay optimization with SAT. DATE 2017: 830-835 - [c338]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 - [c337]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 - [c336]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 - [c335]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 - [c334]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 - [c333]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 - [c332]Mathias Soeken, Pierre-Emmanuel Gaillardon, Giovanni De Micheli:
RM3 based logic synthesis (Special session paper). ISCAS 2017: 1-4 - [c331]Winston Haaswijk, Eleonora Testa, Mathias Soeken, Giovanni De Micheli:
Classifying Functions with Exact Synthesis. ISMVL 2017: 272-277 - [c330]Xifan Tang, Edouard Giacomin, Giovanni De Micheli, Pierre-Emmanuel Gaillardon:
Physical Design Considerations of One-level RRAM-based Routing Multiplexers. ISPD 2017: 47-54 - [c329]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 - [c328]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 - [c327]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
- [j148]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) - [j147]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) - [j146]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) - [j145]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) - [j144]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) - [j143]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) - [j142]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) - [j141]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) - [j140]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) - [j139]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-2007 (2016) - [j138]Xifan Tang, Gain Kim, Pierre-Emmanuel Gaillardon, Giovanni De Micheli:
A Study on the Programming Structures for RRAM-Based FPGA Architectures. IEEE Trans. Circuits Syst. I Regul. Pap. 63-I(4): 503-516 (2016) - [j137]Alessandro Vallero, Ioulia Tzouvadaki, Francesca Puppo, Marie-Agnes Doucey, Jean-François Delaloye, Giovanni De Micheli, Sandro Carrara:
Memristive Biosensors Integration With Microfluidic Platform. IEEE Trans. Circuits Syst. I Regul. Pap. 63-I(12): 2120-2127 (2016) - [c326]Luca Gaetano Amarù, Pierre-Emmanuel Gaillardon, Giovanni De Micheli:
Majority-based synthesis for nanotechnologies. ASP-DAC 2016: 499-502 - [c325]Mathias Soeken, Saeideh Shirinzadeh, Pierre-Emmanuel Gaillardon, Luca Gaetano Amarù, Rolf Drechsler, Giovanni De Micheli:
An MIG-based compiler for programmable logic-in-memory architectures. DAC 2016: 117:1-117:6 - [c324]Ahmet Caner Yuzuguler, William Andrew Simon, Aya Ibrahim, Federico Angiolini, Marcel Arditi, Jean-Philippe Thiran, Giovanni De Micheli:
Demo: Efficient delay and apodization for on-FPGA 3D ultrasound. DASIP 2016: 227-228 - [c323]Luca Gaetano Amarù, Pierre-Emmanuel Gaillardon, Robert Wille, Giovanni De Micheli:
Exploiting inherent characteristics of reversible circuits for faster combinational equivalence checking. DATE 2016: 175-180 - [c322]Pierre-Emmanuel Gaillardon, Luca Gaetano Amarù, Anne Siemon, Eike Linn, Rainer Waser, Anupam Chattopadhyay, Giovanni De Micheli:
The Programmable Logic-in-Memory (PLiM) computer. DATE 2016: 427-432 - [c321]Marco Casale-Rossi, Giovanni De Micheli, Antun Domic, Enrico Macii, Domenico Rossi, Joseph Sawicki:
Panel: Looking backwards and forwards. DATE 2016: 571-575 - [c320]Mathias Soeken, Luca Gaetano Amarù, Pierre-Emmanuel Gaillardon, Giovanni De Micheli:
Optimizing Majority-Inverter Graphs with functional hashing. DATE 2016: 1030-1035 - [c319]Kyungsu Kang, Sangho Park, Jong-Bae Lee, Luca Benini, Giovanni De Micheli:
A power-efficient 3-D on-chip interconnect for multi-core accelerators with stacked L2 cache. DATE 2016: 1465-1468 - [c318]Ioulia Tzouvadaki, Xiaoling Lu, Giovanni De Micheli, Sven Ingebrandt, Sandro Carrara:
Nano-fabricated memristive biosensors for biomedical applications with liquid and dried samples. EMBC 2016: 295-298 - [c317]Xifan Tang, Pierre-Emmanuel Gaillardon, Giovanni De Micheli:
A Full-Capacity Local RoutingArchitecture for FPGAs (Abstract Only). FPGA 2016: 281 - [c316]Ana Petkovska, Mathias Soeken, Giovanni De Micheli, Paolo Ienne, Alan Mishchenko:
Fast hierarchical NPN classification. FPL 2016: 1-4 - [c315]William Andrew Simon, Ahmet Caner Yuzuguler, Aya Ibrahim, Federico Angiolini, Marcel Arditi, Jean-Philippe Thiran, Giovanni De Micheli:
Single-FPGA, scalable, low-power, and high-quality 3D ultrasound beamformer. FPL 2016: 1-2 - [c314]Ahmet Caner Yuzuguler, William Andrew Simon, Aya Ibrahim, Federico Angiolini, Marcel Arditi, Jean-Philippe Thiran, Giovanni De Micheli:
Single-FPGA 3D ultrasound beamformer. FPL 2016: 1 - [c313]Mathias Soeken, Pascal Raiola, Baruch Sterin, Bernd Becker, Giovanni De Micheli, Matthias Sauer:
SAT-Based Combinational and Sequential Dependency Computation. Haifa Verification Conference 2016: 1-17 - [c312]Ana Petkovska, Alan Mishchenko, Mathias Soeken, Giovanni De Micheli, Robert K. Brayton, Paolo Ienne:
Fast generation of lexicographic satisfiable assignments: enabling canonicity in SAT-based applications. ICCAD 2016: 4 - [c311]Irene Taurino, Gabriella Sanzó, Sandro Carrara, Giovanni De Micheli, Gabriele Favero, Franco Mazzei, Riccarda Antiochia:
One-step rapid synthesis of Au-Pt nanofems for electrochemical sensing and biosensing. IEEE SENSORS 2016: 1-3 - [c310]Ioulia Tzouvadaki, Alessandro Vallero, Francesca Puppo, Giovanni De Micheli, Sandro Carrara:
Resistance impact by long connections on electrical behavior of integrated Memristive Biosensors. ISCAS 2016: 385-388 - [c309]Francesca Stradolini, Tamador Elboshra, Armando Biscontini, Giovanni De Micheli, Sandro Carrara:
Simultaneous monitoring of anesthetics and therapeutic compounds with a portable multichannel potentiostat. ISCAS 2016: 834-837 - [c308]Sara S. Ghoreishizadeh, Pantelis Georgiou, Sandro Carrara, Giovanni De Micheli:
An integrated platform for differential electrochemical and ISFET sensing. ISCAS 2016: 2875-2878 - [c307]Anupam Chattopadhyay, Luca Gaetano Amarù, Mathias Soeken, Pierre-Emmanuel Gaillardon, Giovanni De Micheli:
Notes on Majority Boolean Algebra. ISMVL 2016: 50-55 - [c306]Francesca Stradolini, Eleonora Lavalle, Giovanni De Micheli, Paolo Motto Ros, Danilo Demarchi, Sandro Carrara:
Paradigm-Shifting Players for IoT: Smart-Watches for Intensive Care Monitoring. MobiHealth 2016: 71-78 - [c305]Eleonora Testa, Mathias Soeken, Odysseas Zografos, Luca Gaetano Amarù, Praveen Raghavan, Rudy Lauwereins, Pierre-Emmanuel Gaillardon, Giovanni De Micheli:
Inversion optimization in Majority-Inverter Graphs. NANOARCH 2016: 15-20 - [c304]Mathias Soeken, Nabila Abdessaied, Giovanni De Micheli:
Enumeration of Reversible Functions and Its Application to Circuit Complexity. RC 2016: 255-270 - [c303]Mathias Soeken, Alan Mishchenko, Ana Petkovska, Baruch Sterin, Paolo Ienne, Robert K. Brayton, Giovanni De Micheli:
Heuristic NPN Classification for Large Functions Using AIGs and LEXSAT. SAT 2016: 212-227 - [i4]Mathias Soeken, Martin Rötteler, Nathan Wiebe, Giovanni De Micheli:
Design Automation and Design Space Exploration for Quantum Computers. CoRR abs/1612.00631 (2016) - 2015
- [j136]Pierre-Emmanuel Gaillardon, Edith Beigné, Suzanne Lesecq, Giovanni De Micheli:
A Survey on Low-Power Techniques with Emerging Technologies: From Devices to Systems. ACM J. Emerg. Technol. Comput. Syst. 12(2): 12:1-12:26 (2015) - [j135]Luca Gaetano Amarù, Pierre-Emmanuel Gaillardon, Subhasish Mitra, Giovanni De Micheli:
New Logic Synthesis as Nanotechnology Enabler. Proc. IEEE 103(11): 2168-2195 (2015) - [j134]Kyungsu Kang, Luca Benini, Giovanni De Micheli:
Cost-Effective Design of Mesh-of-Tree Interconnect for Multicore Clusters With 3-D Stacked L2 Scratchpad Memory. IEEE Trans. Very Large Scale Integr. Syst. 23(9): 1828-1841 (2015) - [j133]Shashikanth Bobba, Giovanni De Micheli:
Layout Technique for Double-Gate Silicon Nanowire FETs With an Efficient Sea-of-Tiles Architecture. IEEE Trans. Very Large Scale Integr. Syst. 23(10): 2103-2115 (2015) - [j132]Pierre-Emmanuel Gaillardon, Xifan Tang, Gain Kim, Giovanni De Micheli:
A Novel FPGA Architecture Based on Ultrafine Grain Reconfigurable Logic Cells. IEEE Trans. Very Large Scale Integr. Syst. 23(10): 2187-2197 (2015) - [c302]Luca Gaetano Amarù, Gage Hills, Pierre-Emmanuel Gaillardon, Subhasish Mitra, Giovanni De Micheli:
Multiple Independent Gate FETs: How many gates do we need? ASP-DAC 2015: 243-248 - [c301]Camilla Baj-Rossi, Andrea Cavallini, Tanja Rezzonico Jost, Michele Proietti, Fabio Grassi, Giovanni De Micheli, Sandro Carrara:
Biocompatible packagings for fully implantable multi-panel devices for remote monitoring of metabolism. BioCAS 2015: 1-4 - [c300]Flavia Basilotta, Stefano Riario, Francesca Stradolini, Irene Taurino, Danilo Demarchi, Giovanni De Micheli, Sandro Carrara:
Wireless monitoring in intensive care units by a 3D-printed system with embedded electronic. BioCAS 2015: 1-4 - [c299]Hassan Ghasemzadeh Mohammadi, Pierre-Emmanuel Gaillardon, Giovanni De Micheli:
Fault modeling in controllable polarity silicon nanowire circuits. DATE 2015: 453-458 - [c298]Pierre-Emmanuel Gaillardon, Xifan Tang, Jury Sandrini, Maxime Thammasack, Somayyeh Rahimian Omam, Davide Sacchetto, Yusuf Leblebici, Giovanni De Micheli:
A ultra-low-power FPGA based on monolithically integrated RRAMs. DATE 2015: 1203-1208 - [c297]Aya Ibrahim, Pascal Hager, Andrea Bartolini, Federico Angiolini, Marcel Arditi, Luca Benini, Giovanni De Micheli:
Tackling the bottleneck of delay tables in 3D ultrasound imaging. DATE 2015: 1683-1688 - [c296]Marco Casale-Rossi, Giovanni De Micheli, Jalal Bagherli, Thierry Collette, Antun Domic, Horst Symanzik, Hossein Yassaie:
The future of electronics, semiconductors, and design in Europe: panel. DATE 2015: 1726-1728 - [c295]Jian Zhang, Pierre-Emmanuel Gaillardon, Giovanni De Micheli:
A surface potential and current model for polarity-controllable silicon nanowire FETs. ESSDERC 2015: 48-51 - [c294]Pierre-Emmanuel Gaillardon, Gain Kim, Xifan Tang, Luca Gaetano Amarù, Giovanni De Micheli:
Towards More Efficient Logic Blocks By Exploiting Biconditional Expansion (Abstract Only). FPGA 2015: 262 - [c293]Xifan Tang, Pierre-Emmanuel Gaillardon, Giovanni De Micheli:
Accurate power analysis for near-Vt RRAM-based FPGA. FPL 2015: 1-4 - [c292]Sandeep Miryala, Valerio Tenace, Andrea Calimera, Enrico Macii, Massimo Poncino, Luca Gaetano Amarù, Giovanni De Micheli, Pierre-Emmanuel Gaillardon:
Exploiting the Expressive Power of Graphene Reconfigurable Gates via Post-Synthesis Optimization. ACM Great Lakes Symposium on VLSI 2015: 39-44 - [c291]Xifan Tang, Pierre-Emmanuel Gaillardon, Giovanni De Micheli:
FPGA-SPICE: A simulation-based power estimation framework for FPGAs. ICCD 2015: 696-703 - [c290]Benjamin Staar, Marius Schirmer, Camilla Baj-Rossi, Giovanni De Micheli, Sandro Carrara, Elisabetta Chicca:
A neural approach to drugs monitoring for personalized medicine. IJCNN 2015: 1-4 - [c289]Sandro Carrara, Camilla Baj-Rossi, Sara Seyedeh Ghoreishizadeh, Stefano Riario, Grégoire Surrel, Francesca Stradolini, Cristina Boero, Giovanni De Micheli, Enver G. Kilinc, Catherine Dehollain:
Full system for translational studies of personalized medicine with free-moving mice. ISCAS 2015: 1774-1777 - [c288]Anupam Chattopadhyay, Alessandro Littarru, Luca Gaetano Amarù, Pierre-Emmanuel Gaillardon, Giovanni De Micheli:
Reversible Logic Synthesis via Biconditional Binary Decision Diagrams. ISMVL 2015: 2-7 - [c287]Luca Gaetano Amarù, Pierre-Emmanuel Gaillardon, Alan Mishchenko, Maciej J. Ciesielski, Giovanni De Micheli:
Exploiting Circuit Duality to Speed up SAT. ISVLSI 2015: 101-106 - [c286]Hassan Ghasemzadeh, Pierre-Emmanuel Gaillardon, J. Zhang, Giovanni De Micheli, Ernesto Sánchez, Matteo Sonza Reorda:
On the Design of a Fault Tolerant Ripple-Carry Adder with Controllable-Polarity Transistors. ISVLSI 2015: 491-496 - [c285]Ardalan Lotfi, Danilo Demarchi, Francesca Puppo, Giovanni De Micheli, Sandro Carrara, Marie-Agnes Doucey:
Reliable redundancy with memristive-biosensors to achieve statistical significance in immunosensing. IWASI 2015: 31-36 - [c284]Johan Broc, Pierre-Emmanuel Gaillardon, Luca Gaetano Amarù, Jaume Joven Murillo, Krishna V. Palem, Giovanni De Micheli:
A fast pruning technique for low-power inexact Circuit design. LASCAS 2015: 1-4 - [c283]Somayyeh Rahimian Omam, Xifan Tang, Pierre-Emmanuel Gaillardon, Giovanni De Micheli:
A study on buffer distribution for RRAM-based FPGA routing structures. LASCAS 2015: 1-4 - [c282]Winston Haaswijk, Luca Gaetano Amarù, Pierre-Emmanuel Gaillardon, Giovanni De Micheli:
NEM relay design with biconditional binary decision diagrams. NANOARCH 2015: 45-50 - [i3]Sungroh Yoon, Nahmsuk Oh, Peivand F. Tehrani, Eui-Young Chung, Giovanni De Micheli:
FRAME: Fast and Realistic Attacker Modeling and Evaluation for Temporal Logical Correlation in Static Noise. CoRR abs/1502.02236 (2015) - [i2]Luca Gaetano Amarù, Pierre-Emmanuel Gaillardon, Anupam Chattopadhyay, Giovanni De Micheli:
A Sound and Complete Axiomatization of Majority-n Logic. CoRR abs/1502.06359 (2015) - 2014
- [j131]Luca Gaetano Amarù, Pierre-Emmanuel Gaillardon, Giovanni De Micheli:
Biconditional Binary Decision Diagrams: A Novel Canonical Logic Representation Form. IEEE J. Emerg. Sel. Topics Circuits Syst. 4(4): 487-500 (2014) - [j130]Alena Simalatsar, Wenqi You, Verena Gotta, Nicolas Widmer, Giovanni De Micheli:
Representation of Medical Guidelines with a Computer Interpretable Model. Int. J. Artif. Intell. Tools 23(3) (2014) - [j129]Shashikanth Bobba, Jie Zhang, Pierre-Emmanuel Gaillardon, H.-S. Philip Wong, Subhasish Mitra, Giovanni De Micheli:
System Level Benchmarking with Yield-Enhanced Standard Cell Library for Carbon Nanotube VLSI Circuits. ACM J. Emerg. Technol. Comput. Syst. 10(4): 33:1-33:19 (2014) - [j128]Camilla Baj-Rossi, Enver G. Kilinc, Sara S. Ghoreishizadeh, Daniele Casarino, Tanja Rezzonico Jost, Catherine Dehollain, Fabio Grassi, Laura Pastorino, Giovanni De Micheli, Sandro Carrara:
Full Fabrication and Packaging of an Implantable Multi-Panel Device for Monitoring of Metabolites in Small Animals. IEEE Trans. Biomed. Circuits Syst. 8(5): 636-647 (2014) - [j127]Sara S. Ghoreishizadeh, Camilla Baj-Rossi, Andrea Cavallini, Sandro Carrara, Giovanni De Micheli:
An Integrated Control and Readout Circuit for Implantable Multi-Target Electrochemical Biosensing. IEEE Trans. Biomed. Circuits Syst. 8(6): 891-898 (2014) - [j126]Jian Zhang, Xifan Tang, Pierre-Emmanuel Gaillardon, Giovanni De Micheli:
Configurable Circuits Featuring Dual-Threshold-Voltage Design With Three-Independent-Gate Silicon Nanowire FETs. IEEE Trans. Circuits Syst. I Regul. Pap. 61-I(10): 2851-2861 (2014) - [j125]Ibrahim Kazi, Pascal Andreas Meinerzhagen, Pierre-Emmanuel Gaillardon, Davide Sacchetto, Yusuf Leblebici, Andreas Peter Burg, Giovanni De Micheli:
Energy/Reliability Trade-Offs in Low-Voltage ReRAM-Based Non-Volatile Flip-Flop Design. IEEE Trans. Circuits Syst. I Regul. Pap. 61-I(11): 3155-3164 (2014) - [c281]Luca Gaetano Amarù, Pierre-Emmanuel Gaillardon, Andreas Burg, Giovanni De Micheli:
Data compression via logic synthesis. ASP-DAC 2014: 628-633 - [c280]Alena Simalatsar, Romain Bornet, Wenqi You, Yann Thoma, Giovanni De Micheli:
Safe Implementation of Embedded Software for a Portable Device Supporting Drug Administration. BIBE 2014: 257-264 - [c279]Julien Ghaye, Sinan K. Muldur, Patricia Urban, Agnieszka Kinsner-Ovaskainen, Pascal Colpo, Danilo Demarchi, Giovanni De Micheli, Sandro Carrara:
Live demonstration: A smart camera for real-time monitoring of fluorescent cell biomarkers. BioCAS 2014: 169 - [c278]Cristina Boero, Maria Antonietta Casulli, Jacopo Olivo, Lorenzo Foglia, Sandro Carrara, Giovanni De Micheli:
Live demonstration: In-situ biosensors array for cell culture monitoring. BioCAS 2014: 173 - [c277]Sara S. Ghoreishizadeh, Cristina Boero, Antonio Pullini, Camilla Baj-Rossi, Sandro Carrara, Giovanni De Micheli:
Sub-mW reconfigurable interface IC for electrochemical sensing. BioCAS 2014: 232-235 - [c276]Jacopo Olivo, Lorenzo Foglia, Maria Antonietta Casulli, Cristina Boero, Sandro Carrara, Giovanni De Micheli:
Glucose and lactate monitoring in cell cultures with a wireless android interface. BioCAS 2014: 400-403 - [c275]Ali Zaher, Philipp Häfliger, Francesca Puppo, Giovanni De Micheli, Sandro Carrara:
Novel readout circuit for memristive biosensors in cancer detection. BioCAS 2014: 448-451 - [c274]Sara S. Ghoreishizadeh, Tolga Yalçin, Antonio Pullini, Giovanni De Micheli, Wayne P. Burleson, Sandro Carrara:
A lightweight cryptographic system for implantable biosensors. BioCAS 2014: 472-475 - [c273]Gozen Koklu, Yusuf Leblebici, Giovanni De Micheli, Sandro Carrara:
Programmable active pixel sensor for low-light biomedical applications. BioCAS 2014: 655-658 - [c272]Luca Gaetano Amarù, Pierre-Emmanuel Gaillardon, Giovanni De Micheli:
Majority-Inverter Graph: A Novel Data-Structure and Algorithms for Efficient Logic Optimization. DAC 2014: 194:1-194:6 - [c271]Luca Gaetano Amarù, Pierre-Emmanuel Gaillardon, Giovanni De Micheli:
An efficient manipulation package for Biconditional Binary Decision Diagrams. DATE 2014: 1-6 - [c270]Marco Casale-Rossi, Giovanni De Micheli, Rob Aitken, Antun Domic, Manfred Horstmann, Robert Hum, Philippe Magarshack:
Panel: Emerging vs. established technologies, a two sphinxes' riddle at the crossroads? DATE 2014: 1-4 - [c269]Pierre-Emmanuel Gaillardon, Luca Gaetano Amarù, Jian Zhang, Giovanni De Micheli:
Advanced system on a chip design based on controllable-polarity FETs. DATE 2014: 1-6 - [c268]Odysseas Zografos, Luca Gaetano Amarù, Pierre-Emmanuel Gaillardon, Praveen Raghavan, Giovanni De Micheli:
Majority Logic Synthesis for Spin Wave Technology. DSD 2014: 691-694 - [c267]Camilla Baj-Rossi, Giovanni De Micheli, Sandro Carrara:
Electrochemical biochip for applications to wireless and batteryless monitoring of free-moving mice. EMBC 2014: 2020-2023 - [c266]Pierre-Emmanuel Gaillardon, Luca Gaetano Amarù, Giovanni De Micheli:
A new basic logic structure for data-path computation (abstract only). FPGA 2014: 241 - [c265]Xifan Tang, Pierre-Emmanuel Gaillardon, Giovanni De Micheli:
Pattern-based FPGA logic block and clustering algorithm. FPL 2014: 1-4 - [c264]Xifan Tang, Pierre-Emmanuel Gaillardon, Giovanni De Micheli:
A high-performance low-power near-Vt RRAM-based FPGA. FPT 2014: 207-214 - [c263]Giulia Beanato, Alessandro Cevrero, Giovanni De Micheli, Yusuf Leblebici:
3D serial TSV link for low-power chip-to-chip communication. ICICDT 2014: 1-4 - [c262]Odysseas Zografos, Pierre-Emmanuel Gaillardon, Giovanni De Micheli:
Novel grid-based power routing scheme for regular controllable-polarity FET arrangements. ISCAS 2014: 1416-1419 - [c261]Xifan Tang, Jian Zhang, Pierre-Emmanuel Gaillardon, Giovanni De Micheli:
TSPC Flip-Flop circuit design with three-independent-gate silicon nanowire FETs. ISCAS 2014: 1660-1663 - [c260]Julien Ghaye, Chiara Succa, Danilo Demarchi, Sinan K. Muldur, Pascal Colpo, Paolo Silacci, Guy Vergeres, Giovanni De Micheli, Sandro Carrara:
Quantitative estimation of biological cell surface receptors by segmenting conventional fluorescence microscopy images. ISCAS 2014: 1824-1827 - [c259]Francesca Puppo, Marie-Agnes Doucey, Massimiliano Di Ventra, Giovanni De Micheli, Sandro Carrara:
Memristor-based devices for sensing. ISCAS 2014: 2257-2260 - [c258]Kyungsu Kang, Giovanni De Micheli, Seunghan Lee, Chong-Min Kyung:
Temperature-aware runtime power management for chip-multiprocessors with 3-D stacked cache. ISQED 2014: 163-170 - [c257]Pierre-Emmanuel Gaillardon, Luca Gaetano Amarù, Giovanni De Micheli:
Unlocking Controllable-Polarity Transistors Opportunities by Exclusive-OR and Majority Logic Synthesis. ISVLSI 2014: 403-405 - [c256]Somayyeh Rahimian Omam, Yusuf Leblebici, Giovanni De Micheli:
Parallel vs. serial inter-plane communication using TSVs. LASCAS 2014: 1-5 - [c255]Hassan Ghasemzadeh Mohammadi, Pierre-Emmanuel Gaillardon, Majid Yazdani, Giovanni De Micheli:
Fast process variation analysis in nano-scaled technologies using column-wise sparse parameter selection. NANOARCH 2014: 163-168 - [c254]Pierre-Emmanuel Gaillardon, Xifan Tang, Giovanni De Micheli:
Novel configurable logic block architecture exploiting controllable-polarity transistors. ReCoSoC 2014: 1-3 - 2013
- [j124]Francesco Zanini, David Atienza, Giovanni De Micheli:
A combined sensor placement and convex optimization approach for thermal management in 3D-MPSoC with liquid cooling. Integr. 46(1): 33-43 (2013) - [j123]Shashikanth Bobba, Ashutosh Chakraborty, Olivier Thomas, Perrine Batude, Giovanni De Micheli:
Cell transformations and physical design techniques for 3D monolithic integrated circuits. ACM J. Emerg. Technol. Comput. Syst. 9(3): 19:1-19:28 (2013) - [j122]Somayyeh Rahimian, Vasilis F. Pavlidis, Xifan Tang, Giovanni De Micheli:
An Enhanced Design Methodology for Resonant Clock Trees. J. Low Power Electron. 9(2): 198-206 (2013) - [j121]Jaume Joven, Andrea Marongiu, Federico Angiolini, Luca Benini, Giovanni De Micheli:
An integrated, programming model-driven framework for NoC-QoS support in cluster-based embedded many-cores. Parallel Comput. 39(10): 549-566 (2013) - [j120]Jacopo Olivo, Sandro Carrara, Giovanni De Micheli:
A Study of Multi-Layer Spiral Inductors for Remote Powering of Implantable Sensors. IEEE Trans. Biomed. Circuits Syst. 7(4): 536-547 (2013) - [j119]Dara Rahmati, Srinivasan Murali, Luca Benini, Federico Angiolini, Giovanni De Micheli, Hamid Sarbazi-Azad:
Computing Accurate Performance Bounds for Best Effort Networks-on-Chip. IEEE Trans. Computers 62(3): 452-467 (2013) - [j118]Luca Gaetano Amarù, Pierre-Emmanuel Gaillardon, Jian Zhang, Giovanni De Micheli:
Power-Gated Differential Logic Style Based on Double-Gate Controllable-Polarity Transistors. IEEE Trans. Circuits Syst. II Express Briefs 60-II(10): 672-676 (2013) - [j117]Ciprian Seiculescu, Dara Rahmati, Srinivasan Murali, Hamid Sarbazi-Azad, Luca Benini, Giovanni De Micheli:
Designing best effort networks-on-chip to meet hard latency constraints. ACM Trans. Embed. Comput. Syst. 12(4): 108:1-108:23 (2013) - [j116]Jaume Joven, Akash Bagdia, Federico Angiolini, P. Strid, David Castells-Rufas, Eduard Fernandez-Alonso, Jordi Carrabina, Giovanni De Micheli:
QoS-Driven Reconfigurable Parallel Computing for NoC-Based Clustered MPSoCs. IEEE Trans. Ind. Informatics 9(3): 1613-1624 (2013) - [j115]Hu Xu, Vasilis F. Pavlidis, Xifan Tang, Wayne P. Burleson, Giovanni De Micheli:
Timing Uncertainty in 3-D Clock Trees Due to Process Variations and Power Supply Noise. IEEE Trans. Very Large Scale Integr. Syst. 21(12): 2226-2239 (2013) - [c253]Luca Gaetano Amarù, Pierre-Emmanuel Gaillardon, Giovanni De Micheli:
MIXSyn: An efficient logic synthesis methodology for mixed XOR-AND/OR dominated circuits. ASP-DAC 2013: 133-138 - [c252]Ismael Rattalino, Paolo Motto Ros, Irene Taurino, Fernando Cortes-Salazar, Gianluca Piccinini, Danilo Demarchi, Giovanni De Micheli, Sandro Carrara:
Nanogap-based enzymatic-free electrochemical detection of glucose. BioCAS 2013: 130-133 - [c251]Genevieve Massicotte, Mohamad Sawan, Giovanni De Micheli, Sandro Carrara:
Multi-electrode amperometric biosensor for neurotransmitters detection. BioCAS 2013: 162-165 - [c250]Camilla Baj-Rossi, Enver G. Kilinc, Sara S. Ghoreishizadeh, Daniele Casarino, Tanja Rezzonico Jost, Catherine Dehollain, Fabio Grassi, Laura Pastorino, Giovanni De Micheli, Sandro Carrara:
Fabrication and packaging of a fully implantable biosensor array. BioCAS 2013: 166-169 - [c249]Sara S. Ghoreishizadeh, Enver G. Kilinc, Camilla Baj-Rossi, Catherine Dehollain, Sandro Carrara, Giovanni De Micheli:
An implantable bio-micro-system for drug monitoring. BioCAS 2013: 218-221 - [c248]Luca Gaetano Amarù, Pierre-Emmanuel Gaillardon, Giovanni De Micheli:
BDS-MAJ: a BDD-based logic synthesis tool exploiting majority logic decomposition. DAC 2013: 47:1-47:6 - [c247]Pierre-Emmanuel Gaillardon, Michele De Marchi, Luca Gaetano Amarù, Shashikanth Bobba, Davide Sacchetto, Yusuf Leblebici, Giovanni De Micheli:
Towards structured ASICs using polarity-tunable Si nanowire transistors. DAC 2013: 123:1-123:4 - [c246]Pierre-Emmanuel Gaillardon, Luca Gaetano Amarù, Shashikanth Bobba, Michele De Marchi, Davide Sacchetto, Yusuf Leblebici, Giovanni De Micheli:
Vertically-stacked double-gate nanowire FETs with controllable polarity: from devices to regular ASICs. DATE 2013: 625-630 - [c245]Luca Gaetano Amarù, Pierre-Emmanuel Gaillardon, Giovanni De Micheli:
Biconditional BDD: a novel canonical BDD for logic synthesis targeting XOR-rich circuits. DATE 2013: 1014-1017 - [c244]Marco Casale-Rossi, Patrick Leduc, Giovanni De Micheli, Patrick Blouet, Brendan Farley, Anna Fontanelli, Dragomir Milojevic, Steve Smith:
Panel: "will 3D-IC remain a technology of the future... even in the future?". DATE 2013: 1526-1530 - [c243]Jacopo Olivo, Sara S. Ghoreishizadeh, Sandro Carrara, Giovanni De Micheli:
Electronic implants: power delivery and management. DATE 2013: 1540-1545 - [c242]Hassan Ghasemzadeh Mohammadi, Pierre-Emmanuel Gaillardon, Majid Yazdani, Giovanni De Micheli:
A fast TCAD-based methodology for Variation analysis of emerging nano-devices. DFTS 2013: 83-88 - [c241]Sara S. Ghoreishizadeh, Sandro Carrara, Giovanni De Micheli:
A configurable IC to contol, readout, and calibrate an array of biosensors. ECCTD 2013: 1-4 - [c240]Wenqi You, Alena Simalatsar, Giovanni De Micheli:
Parameterized SVM for personalized drug concentration prediction. EMBC 2013: 5789-5792 - [c239]Gozen Koklu, Ralph Etienne-Cummings, Yusuf Leblebici, Giovanni De Micheli, Sandro Carrara:
Characterization of standard CMOS compatible photodiodes and pixels for Lab-on-Chip devices. ISCAS 2013: 1075-1078 - [c238]Shashikanth Bobba, Pierre-Emmanuel Gaillardon, Ciprian Seiculescu, Vasilis F. Pavlidis, Giovanni De Micheli:
3.5-D integration: A case study. ISCAS 2013: 2087-2090 - [c237]Jian Zhang, Pierre-Emmanuel Gaillardon, Giovanni De Micheli:
Dual-threshold-voltage configurable circuits with three-independent-gate silicon nanowire FETs. ISCAS 2013: 2111-2114 - [c236]Ogun Turkyilmaz, Fabien Clermidy, Luca Gaetano Amarù, Pierre-Emmanuel Gaillardon, Giovanni De Micheli:
Self-checking ripple-carry adder with Ambipolar Silicon NanoWire FET. ISCAS 2013: 2127-2130 - [c235]Jongpil Jung, Kyungsu Kang, Giovanni De Micheli, Chong-Min Kyung:
Runtime 3-D stacked cache management for chip-multiprocessors. ISQED 2013: 68-72 - [c234]Sara S. Ghoreishizadeh, Gaurav Nanda, Sandro Carrara, Giovanni De Micheli:
Empirical study of noise dependence in electrochemical sensors. IWASI 2013: 36-39 - [c233]Pierre-Emmanuel Gaillardon, Hassan Ghasemzadeh, Giovanni De Micheli:
Vertically-stacked silicon nanowire transistors with controllable polarity: A robustness study. LATW 2013: 1-6 - [c232]Catherine Gasnier, Pierre-Emmanuel Gaillardon, Giovanni De Micheli:
SATSoT: A methodology to map controllable-polarity devices on a regular fabric using SAT. NANOARCH 2013: 46-51 - [c231]Luca Arnani, Pierre-Emmanuel Gaillardon, Giovanni De Micheli:
Efficient arithmetic logic gates using double-gate silicon nanowire FETs. NEWCAS 2013: 1-4 - [c230]Ibrahim Kazi, Pascal Meinerzhagen, Pierre-Emmanuel Gaillardon, Davide Sacchetto, Andreas Burg, Giovanni De Micheli:
A ReRAM-based non-volatile flip-flop with sub-VT read and CMOS voltage-compatible write. NEWCAS 2013: 1-4 - 2012
- [j114]Giovanni De Micheli, Subhasish Mitra, Maciej Ogorzalek:
Editorial. IEEE J. Emerg. Sel. Topics Circuits Syst. 2(4): 653-657 (2012) - [j113]Cristina Boero, Jacopo Olivo, Sandro Carrara, Giovanni De Micheli:
A Self-Contained System With CNTs-Based Biosensors for Cell Culture Monitoring. IEEE J. Emerg. Sel. Topics Circuits Syst. 2(4): 658-671 (2012) - [j112]Anish S. Kumar, M. Pawan Kumar, Srinivasan Murali, V. Kamakoti, Luca Benini, Giovanni De Micheli:
A Buffer-Sizing Algorithm for Network-on-Chips with Multiple Voltage-Frequency Islands. J. Electr. Comput. Eng. 2012: 537286:1-537286:12 (2012) - [j111]Hu Xu, Vasilis F. Pavlidis, Giovanni De Micheli:
Effect of process variations in 3D global clock distribution networks. ACM J. Emerg. Technol. Comput. Syst. 8(3): 20:1-20:25 (2012) - [j110]Somayyeh Rahimian, Vasilis F. Pavlidis, Giovanni De Micheli:
Inter-Plane Communication Methods for 3-D ICs. J. Low Power Electron. 8(2): 170-181 (2012) - [j109]Davide Sacchetto, Giovanni De Micheli, Yusuf Leblebici:
Multiterminal Memristive Nanowire Devices for Logic and Memory Applications: A Review. Proc. IEEE 100(6): 2008-2020 (2012) - [j108]Camilla Baj-Rossi, Giovanni De Micheli, Sandro Carrara:
Electrochemical Detection of Anti-Breast-Cancer Agents in Human Serum by Cytochrome P450-Coated Carbon Nanotubes. Sensors 12(5): 6520-6537 (2012) - [j107]Sandro Carrara, Sara S. Ghoreishizadeh, Jacopo Olivo, Irene Taurino, Camilla Baj-Rossi, Andrea Cavallini, Maaike Op de Beeck, Catherine Dehollain, Wayne P. Burleson, Francis Moussy, Anthony Guiseppi-Elie, Giovanni De Micheli:
Fully Integrated Biochip Platforms for Advanced Healthcare. Sensors 12(8): 11013-11060 (2012) - [j106]Cristina Boero, Jacopo Olivo, Giovanni De Micheli, Sandro Carrara:
New Approaches for Carbon Nanotubes-Based Biosensors and Their Application to Cell Culture Monitoring. IEEE Trans. Biomed. Circuits Syst. 6(5): 479-485 (2012) - [j105]Francesco Zanini, David Atienza, Colin N. Jones, Luca Benini, Giovanni De Micheli:
Online thermal control methods for multiprocessor systems. ACM Trans. Design Autom. Electr. Syst. 18(1): 6:1-6:26 (2012) - [c229]Giovanni De Micheli:
Engineering complex systems for health, security and the environment. ASP-DAC 2012: 1-6 - [c228]Alena Simalatsar, Giovanni De Micheli:
Medical guidelines reconciling medical software and electronic devices: Imatinib case-study. BIBE 2012: 19-24 - [c227]Wenqi You, Alena Simalatsar, Nicolas Widmer, Giovanni De Micheli:
A Drug Administration Decision Support System. BIBM Workshops 2012: 122-129 - [c226]Andrea Cavallini, Camilla Baj-Rossi, Sara S. Ghoreishizadeh, Giovanni De Micheli, Sandro Carrara:
Design, fabrication, and test of a sensor array for perspective biosensing in chronic pathologies. BioCAS 2012: 124-127 - [c225]Sara S. Ghoreishizadeh, Irene Taurino, Sandro Carrara, Giovanni De Micheli:
A current-mode potentiostat for multi-target detection tested with different lactate biosensors. BioCAS 2012: 128-131 - [c224]Julien Ghaye, Giovanni De Micheli, Sandro Carrara:
Quantification of sub-resolution sized targets in cell fluorescent imaging. BioCAS 2012: 268-271 - [c223]Ciprian Seiculescu, Luca Benini, Giovanni De Micheli:
A distributed interleaving scheme for efficient access to WideIO DRAM memory. CODES+ISSS 2012: 103-112 - [c222]Giovanni De Micheli, Cristina Boero, Camilla Baj-Rossi, Irene Taurino, Sandro Carrara:
Integrated biosensors for personalized medicine. DAC 2012: 6-11 - [c221]Shashikanth Bobba, Michele De Marchi, Yusuf Leblebici, Giovanni De Micheli:
Physical synthesis onto a Sea-of-Tiles with double-gate silicon nanowire transistors. DAC 2012: 42-47 - [c220]Cheng Zhang, Vasilis F. Pavlidis, Giovanni De Micheli:
Voltage propagation method for 3-D power grid analysis. DATE 2012: 844-847 - [c219]Alena Simalatsar, Giovanni De Micheli:
TAT-based formal representation of medical guidelines: Imatinib case-study. EMBC 2012: 5078-5081 - [c218]Vasilis F. Pavlidis, Hu Xu, Giovanni De Micheli:
Enhanced wafer matching heuristics for 3-D ICs. ETS 2012: 1 - [c217]Gozen Koklu, Julien Ghaye, Rene Beuchat, Giovanni De Micheli, Yusuf Leblebici, Sandro Carrara:
Quantitative comparison of commercial CCD and custom-designed CMOS camera for biological applications. ISCAS 2012: 2063-2066 - [c216]Hu Xu, Vasilis F. Pavlidis, Wayne P. Burleson, Giovanni De Micheli:
The combined effect of process variations and power supply noise on clock skew and jitter. ISQED 2012: 320-327 - [c215]Shashikanth Bobba, Pierre-Emmanuel Gaillardon, Jian Zhang, Michele De Marchi, Davide Sacchetto, Yusuf Leblebici, Giovanni De Micheli:
Process/design co-optimization of regular logic tiles for double-gate silicon nanowire transistors. NANOARCH 2012: 55-60 - [c214]Stavros Volos, Ciprian Seiculescu, Boris Grot, Naser Khosro Pour, Babak Falsafi, Giovanni De Micheli:
CCNoC: Specializing On-Chip Interconnects for Energy Efficiency in Cache-Coherent Servers. NOCS 2012: 67-74 - [c213]Giulia Beanato, Igor Loi, Giovanni De Micheli, Yusuf Leblebici, Luca Benini:
3D-LIN: A configurable low-latency interconnect for multi-core clusters with 3D stacked L1 memory. VLSI-SoC 2012: 30-35 - [c212]Pierre-Emmanuel Gaillardon, Davide Sacchetto, Shashikanth Bobba, Yusuf Leblebici, Giovanni De Micheli:
GMS: Generic memristive structure for non-volatile FPGAs. VLSI-SoC 2012: 94-98 - [c211]Giulia Beanato, Igor Loi, Giovanni De Micheli, Yusuf Leblebici, Luca Benini:
Configurable Low-Latency Interconnect for Multi-core Clusters. VLSI-SoC (Selected Papers) 2012: 107-124 - [c210]Kyungsu Kang, Luca Benini, Giovanni De Micheli:
A high-throughput and low-latency interconnection network for multi-core Clusters with 3-D stacked L2 tightly-coupled data memory. VLSI-SoC 2012: 283-286 - 2011
- [j104]Francesco Zanini, Mohamed M. Sabry, David Atienza, Giovanni De Micheli:
Hierarchical Thermal Management Policy for High-Performance 3D Systems With Liquid Cooling. IEEE J. Emerg. Sel. Topics Circuits Syst. 1(2): 88-101 (2011) - [j103]M. Haykel Ben Jamaa, Kartik Mohanram, Giovanni De Micheli:
An Efficient Gate Library for Ambipolar CNTFET Logic. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 30(2): 242-255 (2011) - [c209]Shashikanth Bobba, Ashutosh Chakraborty, Olivier Thomas, Perrine Batude, Thomas Ernst, Olivier Faynot, David Z. Pan, Giovanni De Micheli:
CELONCEL: Effective design technique for 3-D monolithic integration targeting high performance integrated circuits. ASP-DAC 2011: 336-343 - [c208]Wenqi You, Nicolas Widmer, Giovanni De Micheli:
Personalized modeling for drug concentration prediction using Support Vector Machine. BMEI 2011: 1505-1509 - [c207]Giovanni De Micheli:
Logic synthesis and physical design: Quo vadis? DATE 2011: 50 - [c206]Hu Xu, Vasilis F. Pavlidis, Giovanni De Micheli:
Analytical heat transfer model for thermal through-silicon vias. DATE 2011: 395-400 - [c205]Giovanni De Micheli, Sara S. Ghoreishizadeh, Cristina Boero, Francesco Valgimigli, Sandro Carrara:
An integrated platform for advanced diagnostics. DATE 2011: 1454-1459 - [c204]Wenqi You, Nicolas Widmer, Giovanni De Micheli:
Example-based support vector machine for drug concentration analysis. EMBC 2011: 153-157 - [c203]Christian Fabre, Iuliana Bacivarov, Ananda Basu, Martino Ruggiero, David Atienza, Eric Flamand, Jean-Pierre Krimm, Julien Mottin, Lars Schor, Pratyush Kumar, Hoeseok Yang, Devesh B. Chokshi, Lothar Thiele, Saddek Bensalem, Marius Bozga, Luca Benini, Mohamed M. Sabry, Yusuf Leblebici, Giovanni De Micheli, Diego Melpignano:
PRO3D, Programming for Future 3D Manycore Architectures: Project's Interim Status. FMCO 2011: 277-293 - [c202]Davide Sacchetto, Michele De Marchi, Giovanni De Micheli, Yusuf Leblebici:
Alternative design methodologies for the next generation logic switch. ICCAD 2011: 231-234 - [c201]Hu Xu, Vasilis F. Pavlidis, Giovanni De Micheli:
Skew variability in 3-D ICs with multiple clock domains. ISCAS 2011: 2221-2224 - [c200]Francesco Zanini, David Atienza, Luca Benini, Giovanni De Micheli:
Thermal-aware system-level modeling and management for Multi-Processor Systems-on-Chip. ISCAS 2011: 2481-2484 - [c199]Daniela De Venuto, Sandro Carrara, Andrea Cavallini, Giovanni De Micheli:
pH sensing with temperature compensation in a Molecular Biosensor for drugs detection. ISQED 2011: 326-331 - [c198]Ciprian Seiculescu, Srinivasan Murali, Luca Benini, Giovanni De Micheli:
A DRAM Centric NoC Architecture and Topology Design Approach. ISVLSI 2011: 54-59 - [c197]Anish S. Kumar, M. Pawan Kumar, Srinivasan Murali, V. Kamakoti, Luca Benini, Giovanni De Micheli:
A Simulation Based Buffer Sizing Algorithm for Network on Chips. ISVLSI 2011: 206-211 - [c196]Somayyeh Rahimian, Vasilis F. Pavlidis, Giovanni De Micheli:
Design of Resonant Clock Distribution Networks for 3-D Integrated Circuits. PATMOS 2011: 267-277 - [c195]Francesco Zanini, David Atienza, Giovanni De Micheli:
Convex-Based Thermal Management for 3D MPSoCs Using DVFS and Variable-Flow Liquid Cooling. PATMOS 2011: 341-350 - [c194]Jaume Joven, Per Strict, David Castells-Rufas, Akash Bagdia, Giovanni De Micheli, Jordi Carrabina:
HW-SW implementation of a decoupled FPU for ARM-based Cortex-M1 SoCs in FPGAs. SIES 2011: 1-8 - [p6]Ciprian Seiculescu, Srinivasan Murali, Luca Benini, Giovanni De Micheli:
Design and Analysis of NoCs for Low-Power 2D and 3D SoCs. Low Power Networks-on-Chip 2011: 199-222 - [p5]Ciprian Seiculescu, Srinivasan Murali, Luca Benini, Giovanni De Micheli:
3D Network on Chip Topology Synthesis: Designing Custom Topologies for Chip Stacks. 3D Integration for NoC-based SoC Architectures 2011: 193-223 - 2010
- [j102]Sandro Carrara, Andrea Cavallini, Yusuf Leblebici, Giovanni De Micheli, Vijayender Bhalla, Francesco Valle, Bruno Samorì, Luca Benini, Bruno Riccò, Inger Vikholm-Lundin, Tony Munter:
Capacitance DNA bio-chips improved by new probe immobilization strategies. Microelectron. J. 41(11): 711-717 (2010) - [j101]Ciprian Seiculescu, Srinivasan Murali, Luca Benini, Giovanni De Micheli:
SunFloor 3D: A Tool for Networks on Chip Topology Synthesis for 3-D Systems on Chips. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 29(12): 1987-2000 (2010) - [j100]Ciprian Seiculescu, Srinivasan Murali, Luca Benini, Giovanni De Micheli:
Comparative Analysis of NoCs for Two-Dimensional Versus Three-Dimensional SoCs Supporting Multiple Voltage and Frequency Islands. IEEE Trans. Circuits Syst. II Express Briefs 57-II(5): 364-368 (2010) - [c193]Shashikanth Bobba, Ashutosh Chakraborty, Olivier Thomas, Perrine Batude, Vasilis F. Pavlidis, Giovanni De Micheli:
Performance analysis of 3-D monolithic integrated circuits. 3DIC 2010: 1-4 - [c192]Vasilis F. Pavlidis, Hu Xu, Ioannis Tsioutsios, Giovanni De Micheli:
Synchronization and power integrity issues in 3-D ICs. APCCAS 2010: 536-539 - [c191]Srinivasan Murali, Luca Benini, Giovanni De Micheli:
Design of networks on chips for 3D ICs. ASP-DAC 2010: 167-168 - [c190]Michele Lombardi, Luca Benini, Abhishek Garg, Giovanni De Micheli:
Methods for Designing Reliable Probe Arrays. BIBE 2010: 306-307 - [c189]Jaume Joven, Andrea Marongiu, Federico Angiolini, Luca Benini, Giovanni De Micheli:
Exploring programming model-driven QoS support for NoC-based platforms. CODES+ISSS 2010: 65-74 - [c188]Giovanni De Micheli, Ciprian Seiculescu, Srinivasan Murali, Luca Benini, Federico Angiolini, Antonio Pullini:
Networks on Chips: from research to products. DAC 2010: 300-305 - [c187]Jie Zhang, Shashikanth Bobba, Nishant Patil, Albert Lin, H.-S. Philip Wong, Giovanni De Micheli, Subhasish Mitra:
Carbon nanotube correlation: promising opportunity for CNFET circuit yield enhancement. DAC 2010: 889-892 - [c186]M. Haykel Ben Jamaa, Kartik Mohanram, Giovanni De Micheli:
Power consumption of logic circuits in ambipolar carbon nanotube technology. DATE 2010: 303-306 - [c185]Marco Casale-Rossi, Giovanni De Micheli, Antun Domic, Enrico Macii, Piero Perlo, Andreas Wild, Roberto Zafalon:
Panel: First commandment at least, do nothing well! DATE 2010: 1377 - [c184]Ciprian Seiculescu, Srinivasan Murali, Luca Benini, Giovanni De Micheli:
A method to remove deadlocks in Networks-on-Chips with Wormhole flow control. DATE 2010: 1625-1628 - [c183]Francesco Zanini, David Atienza, Giovanni De Micheli, Stephen P. Boyd:
Online convex optimization-based algorithm for thermal management of MPSoCs. ACM Great Lakes Symposium on VLSI 2010: 203-208 - [c182]Michele De Marchi, Shashikanth Bobba, M. Haykel Ben Jamaa, Giovanni De Micheli:
Synthesis of regular computational fabrics with ambipolar CNTFET technology. ICECS 2010: 70-73 - [c181]Ioannis Tsioutsios, Vasilis F. Pavlidis, Giovanni De Micheli:
Physical design tradeoffs in power distribution networks for 3-D ICs. ICECS 2010: 430-433 - [c180]Davide Sacchetto, M. Haykel Ben Jamaa, Sandro Carrara, Giovanni De Micheli, Yusuf Leblebici:
Memristive devices fabricated with silicon nanowire schottky barrier transistors. ISCAS 2010: 9-12 - [c179]Francesco Zanini, David Atienza, Colin N. Jones, Giovanni De Micheli:
Temperature sensor placement in thermal management systems for MPSoCs. ISCAS 2010: 1065-1068 - [c178]Nikolaos Archontas, Julius Georgiou, M. Haykel Ben Jamaa, Sandro Carrara, Giovanni De Micheli:
Characterization of memristive Poly-Si Nanowires via empirical physical modelling. ISCAS 2010: 1675-1678 - [c177]Shashikanth Bobba, Sandro Carrara, Giovanni De Micheli:
Design of a CNFET array for sensing and control in P450 based biochips for multiple drug detection. ISCAS 2010: 1711-1714 - [c176]Davide Sacchetto, M. Haykel Ben Jamaa, Giovanni De Micheli, Yusuf Leblebici:
Design aspects of carry lookahead adders with vertically-stacked nanowire transistors. ISCAS 2010: 1715-1718 - [c175]Francesco Zanini, Colin N. Jones, David Atienza, Giovanni De Micheli:
Multicore thermal management using approximate explicit model predictive control. ISCAS 2010: 3321-3324 - [c174]Michele De Marchi, M. Haykel Ben Jamaa, Giovanni De Micheli:
Regular fabric design with ambipolar CNTFETs for FPGA and structured ASIC applications. NANOARCH 2010: 65-70 - [c173]Hu Xu, Vasilis F. Pavlidis, Giovanni De Micheli:
Process-induced skew variation for scaled 2-D and 3-D ICs. SLIP 2010: 17-24 - [e5]Giovanni De Micheli, Bashir M. Al-Hashimi, Wolfgang Müller, Enrico Macii:
Design, Automation and Test in Europe, DATE 2010, Dresden, Germany, March 8-12, 2010. IEEE Computer Society 2010, ISBN 978-1-4244-7054-9 [contents]
2000 – 2009
- 2009
- [j99]Abhishek Garg, Kartik Mohanram, Alessandro Di Cara, Giovanni De Micheli, Ioannis Xenarios:
Modeling stochasticity and robustness in gene regulatory networks. Bioinform. 25(12) (2009) - [j98]Giovanni De Micheli:
An Outlook on Design Technologies for Future Integrated Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 28(6): 777-790 (2009) - [j97]Fabrizio Mulas, David Atienza, Andrea Acquaviva, Salvatore Carta, Luca Benini, Giovanni De Micheli:
Thermal Balancing Policy for Multiprocessor Stream Computing Platforms. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 28(12): 1870-1882 (2009) - [j96]Almir Mutapcic, Stephen P. Boyd, Srinivasan Murali, David Atienza, Giovanni De Micheli, Rajesh Gupta:
Processor Speed Control With Thermal Constraints. IEEE Trans. Circuits Syst. I Regul. Pap. 56-I(9): 1994-2008 (2009) - [c172]Francesco Zanini, David Atienza, Giovanni De Micheli:
A control theory approach for thermal balancing of MPSoC. ASP-DAC 2009: 37-42 - [c171]Srinivasan Murali, Ciprian Seiculescu, Luca Benini, Giovanni De Micheli:
Synthesis of networks on chips for 3D systems on chips. ASP-DAC 2009: 242-247 - [c170]M. Haykel Ben Jamaa, David Atienza, Yusuf Leblebici, Giovanni De Micheli:
A stochastic perturbative approach to design a defect-aware thresholder in the sense amplifier of crossbar memories. ASP-DAC 2009: 835-840 - [c169]Francisco J. Rincón, Laura Gutiérrez, Mónica Jiménez, Víctor Díaz, Nadia Khaled, David Atienza, Marcos Sánchez-Élez, Joaquín Recas, Giovanni De Micheli:
Implementation of an Automated ECG-based Diagnosis Algorithm for a Wireless Body Sensor Plataform. BIODEVICES 2009: 88-96 - [c168]M. Haykel Ben Jamaa, Gianfranco Cerofolini, Yusuf Leblebici, Giovanni De Micheli:
Complete nanowire crossbar framework optimized for the multi-spacer patterning technique. CASES 2009: 11-16 - [c167]M. Haykel Ben Jamaa, Yusuf Leblebici, Giovanni De Micheli:
Decoding nanowire arrays fabricated with the multi-spacer patterning technique. DAC 2009: 77-82 - [c166]Ciprian Seiculescu, Srinivasan Murali, Luca Benini, Giovanni De Micheli:
NoC topology synthesis for supporting shutdown of voltage islands in SoCs. DAC 2009: 822-825 - [c165]Ciprian Seiculescu, Srinivasan Murali, Luca Benini, Giovanni De Micheli:
SunFloor 3D: A tool for Networks On Chip topology synthesis for 3D systems on chips. DATE 2009: 9-14 - [c164]Marco Casale-Rossi, Giovanni De Micheli:
Panel session - Consolidation, a modern "Moor of Venice" tale. DATE 2009: 141 - [c163]Ashoka Visweswara Sathanur, Antonio Pullini, Luca Benini, Giovanni De Micheli, Enrico Macii:
Physically clustered forward body biasing for variability compensation in nanometer CMOS design. DATE 2009: 154-159 - [c162]Shashikanth Bobba, Jie Zhang, Antonio Pullini, David Atienza, Giovanni De Micheli:
Design of compact imperfection-immune CNFET layouts for standard-cell-based logic synthesis. DATE 2009: 616-621 - [c161]M. Haykel Ben Jamaa, Kartik Mohanram, Giovanni De Micheli:
Novel library of logic gates with ambipolar CNTFETs: Opportunities for multi-level logic synthesis. DATE 2009: 622-627 - [c160]Francesco Zanini, David Atienza, Luca Benini, Giovanni De Micheli:
Multicore thermal management with model predictive control. ECCTD 2009: 711-714 - [c159]Vasilis F. Pavlidis, Giovanni De Micheli:
Power distribution paths in 3-D ICS. ACM Great Lakes Symposium on VLSI 2009: 263-268 - [c158]Eugène David Ngangue Ndih, Nadia Khaled, Giovanni De Micheli:
An Analytical Model for the Contention Access Period of the Slotted IEEE 802.15.4 with Service Differentiation. ICC 2009: 1-6 - [c157]Dara Rahmati, Srinivasan Murali, Luca Benini, Federico Angiolini, Giovanni De Micheli, Hamid Sarbazi-Azad:
A method for calculating hard QoS guarantees for Networks-on-Chip. ICCAD 2009: 579-586 - [c156]Hu Xu, Vasilis F. Pavlidis, Giovanni De Micheli:
Repeater Insertion for Two-Terminal Nets in Three-Dimensional Integrated Circuits. NanoNet 2009: 141-150 - [c155]Sandro Carrara, Cristina Boero, Giovanni De Micheli:
Quantum Dots and Wires to Improve Enzymes-Based Electrochemical Bio-sensing. NanoNet 2009: 189-199 - [p4]Francisco Gilabert Villamón, Davide Bertozzi, Luca Benini, Giovanni De Micheli:
Networks-on-Chip: an Interconnect Fabric for Multiprocessor Systems-on-Chip. Embedded Systems Design and Verification 2009: 15 - [e4]Luca Benini, Giovanni De Micheli, Bashir M. Al-Hashimi, Wolfgang Müller:
Design, Automation and Test in Europe, DATE 2009, Nice, France, April 20-24, 2009. IEEE 2009, ISBN 978-1-4244-3781-8 [contents] - 2008
- [j95]Abhishek Garg, Alessandro Di Cara, Ioannis Xenarios, Luis Mendoza, Giovanni De Micheli:
Synchronous versus asynchronous modeling of gene regulatory networks. Bioinform. 24(17): 1917-1925 (2008) - [j94]Elisa Ficarra, Giovanni De Micheli, Sungroh Yoon, Luca Benini, Enrico Macii:
Joint co-clustering: Co-clustering of genomic and clinical bioimaging data. Comput. Math. Appl. 55(5): 938-949 (2008) - [j93]Giovanni De Micheli:
Designing Micro- and Nanosystems for a Safer and Healthier Tomorrow. IEEE Des. Test Comput. 25(5): 488-494 (2008) - [j92]Terry Tao Ye, Giovanni De Micheli:
On-chip implementation of multiprocessor networks and switch fabrics. Int. J. Embed. Syst. 3(4): 209-218 (2008) - [j91]David Atienza, Praveen Raghavan, José Luis Ayala, Giovanni De Micheli, Francky Catthoor, Diederik Verkest, Marisa López-Vallejo:
Joint hardware-software leakage minimization approach for the register file of VLIW embedded architectures. Integr. 41(1): 38-48 (2008) - [j90]David Atienza, Federico Angiolini, Srinivasan Murali, Antonio Pullini, Luca Benini, Giovanni De Micheli:
Network-on-Chip design and synthesis outlook. Integr. 41(3): 340-359 (2008) - [j89]M. Haykel Ben Jamaa, Kirsten E. Moselund, David Atienza, Didier Bouvet, Adrian M. Ionescu, Yusuf Leblebici, Giovanni De Micheli:
Variability-Aware Design of Multilevel Logic Decoders for Nanoscale Crossbar Memories. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 27(11): 2053-2067 (2008) - [c154]David Atienza, Giovanni De Micheli, Luca Benini, José L. Ayala, Pablo García Del Valle, Michael DeBole, Vijaykrishnan Narayanan:
Reliability-aware design for nanometer-scale devices. ASP-DAC 2008: 549-554 - [c153]M. Haykel Ben Jamaa, David Atienza, Yusuf Leblebici, Giovanni De Micheli:
Programmable logic circuits based on ambipolar CNFET. DAC 2008: 339-340 - [c152]Giovanni De Micheli:
Designing Micro/Nano Systems for a Safer and Healthier Tomorrow. DATE 2008: 1 - [c151]Srinivasan Murali, Almir Mutapcic, David Atienza, Rajesh Gupta, Stephen P. Boyd, Luca Benini, Giovanni De Micheli:
Temperature Control of High-Performance Multi-core Platforms Using Convex Optimization. DATE 2008: 110-115 - [c150]Fabrizio Mulas, Michele Pittau, Marco Buttu, Salvatore Carta, Andrea Acquaviva, Luca Benini, David Atienza, Giovanni De Micheli:
Thermal Balancing Policy for Streaming Computing on Multiprocessor Architectures. DATE 2008: 734-739 - [c149]Francisco J. Rincón, Michele Paselli, Joaquín Recas, Qin Zhao, Marcos Sánchez-Élez, David Atienza, Julien Penders, Giovanni De Micheli:
OS-Based Sensor Node Platform and Energy Estimation Model for Health-Care Wireless Sensor Networks. DATE 2008: 1027-1032 - [c148]Giovanni De Micheli:
System-level design technologies for heterogeneous distributed systems. SBCCI 2008: 5 - [c147]Vincenzo Rana, David Atienza, Marco D. Santambrogio, Donatella Sciuto, Giovanni De Micheli:
A Reconfigurable Network-on-Chip Architecture for Optimal Multi-Processor SoC Communication. VLSI-SoC (Selected Papers) 2008: 232-250 - [c146]Alex E. Susu, Andrea Acquaviva, David Atienza, Giovanni De Micheli:
Stochastic modeling and analysis for environmentally powered wireless sensor nodes. WiOpt 2008: 125-134 - 2007
- [j88]Alessandro Di Cara, Abhishek Garg, Giovanni De Micheli, Ioannis Xenarios, Luis Mendoza:
Dynamic simulation of regulatory networks using SQUAD. BMC Bioinform. 8 (2007) - [j87]Sungroh Yoon, Jessica C. Ebert, Eui-Young Chung, Giovanni De Micheli, Russ B. Altman:
Clustering protein environments for function prediction: finding PROSITE motifs in 3D. BMC Bioinform. 8(S-4) (2007) - [j86]Antonio Pullini, Federico Angiolini, Srinivasan Murali, David Atienza, Giovanni De Micheli, Luca Benini:
Bringing NoCs to 65 nm. IEEE Micro 27(5): 75-85 (2007) - [j85]Srinivasan Murali, Luca Benini, Giovanni De Micheli:
An Application-Specific Design Methodology for On-Chip Crossbar Generation. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 26(7): 1283-1296 (2007) - [j84]Rutuparna Tamhankar, Srinivasan Murali, Stergios Stergiou, Antonio Pullini, Federico Angiolini, Luca Benini, Giovanni De Micheli:
Timing-Error-Tolerant Network-on-Chip Design Methodology. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 26(7): 1297-1310 (2007) - [j83]Alex E. Susu, Michele Magno, Andrea Acquaviva, David Atienza, Giovanni De Micheli:
Reconfiguration Strategies for Environmentally Powered Devices: Theoretical Analysis and Experimental Validation. Trans. High Perform. Embed. Archit. Compil. 1: 341-360 (2007) - [j82]Sungroh Yoon, Luca Benini, Giovanni De Micheli:
Co-clustering: A Versatile Tool for Data Analysis in Biomedical Informatics. IEEE Trans. Inf. Technol. Biomed. 11(4): 493-494 (2007) - [j81]David Atienza, Pablo García Del Valle, Giacomo Paci, Francesco Poletti, Luca Benini, Giovanni De Micheli, Jose Manuel Mendias, Román Hermida:
HW-SW emulation framework for temperature-aware design in MPSoCs. ACM Trans. Design Autom. Electr. Syst. 12(3): 26:1-26:26 (2007) - [j80]Tajana Simunic Rosing, Kresimir Mihic, Giovanni De Micheli:
Power and Reliability Management of SoCs. IEEE Trans. Very Large Scale Integr. Syst. 15(4): 391-403 (2007) - [j79]Srinivasan Murali, David Atienza, Paolo Meloni, Salvatore Carta, Luca Benini, Giovanni De Micheli, Luigi Raffo:
Synthesis of Predictable Networks-on-Chip-Based Interconnect Architectures for Chip Multiprocessors. IEEE Trans. Very Large Scale Integr. Syst. 15(8): 869-880 (2007) - [j78]Srinivasan Murali, David Atienza, Luca Benini, Giovanni De Micheli:
A Method for Routing Packets Across Multiple Paths in NoCs with In-Order Delivery and Fault-Tolerance Gaurantees. VLSI Design 2007: 37627:1-37627:11 (2007) - [c145]Srinivasan Murali, Almir Mutapcic, David Atienza, Rajesh Gupta, Stephen P. Boyd, Giovanni De Micheli:
Temperature-aware processor frequency assignment for MPSoCs using convex optimization. CODES+ISSS 2007: 111-116 - [c144]Federico Angiolini, M. Haykel Ben Jamaa, David Atienza, Luca Benini, Giovanni De Micheli:
Interactive presentation: Improving the fault tolerance of nanometric PLA designs. DATE 2007: 570-575 - [c143]Salvatore Carta, Andrea Acquaviva, Pablo García Del Valle, David Atienza, Giovanni De Micheli, Fernando Rincón, Luca Benini, Jose Manuel Mendias:
Multi-processor operating system emulation framework with thermal feedback for systems-on-chip. ACM Great Lakes Symposium on VLSI 2007: 311-316 - [c142]M. Haykel Ben Jamaa, Kirsten E. Moselund, David Atienza, Didier Bouvet, Adrian M. Ionescu, Yusuf Leblebici, Giovanni De Micheli:
Fault-tolerant multi-level logic decoder for nanoscale crossbar memory arrays. ICCAD 2007: 765-772 - [c141]Giovanni De Micheli:
New Design Paradigms: New Architectures for New technologies. ICECS 2007: 1 - [c140]David Atienza, Shashikanth Bobba, Massimo Poli, Giovanni De Micheli, Luca Benini:
System-Level Design for Nano-Electronics. ICECS 2007: 747-751 - [c139]Praveen Raghavan, José L. Ayala, David Atienza, Francky Catthoor, Giovanni De Micheli, Marisa López-Vallejo:
Reduction of Register File Delay Due to Process Variability in VLIW Embedded Processors. ISCAS 2007: 121-124 - [c138]Salvatore Carta, Fabio Mereu, Andrea Acquaviva, Giovanni De Micheli:
MiGra: A Task Migration Algorithm for Reducing Temperature Gradient in Multiprocessor Systems on Chip. SoC 2007: 1-6 - [c137]Giovanni De Micheli:
Design Technologies for Networks on Chips. NOCS 2007: 149 - [c136]Antonio Pullini, Federico Angiolini, Paolo Meloni, David Atienza, Srinivasan Murali, Luigi Raffo, Giovanni De Micheli, Luca Benini:
NoC Design and Implementation in 65nm Technology. NOCS 2007: 273-282 - [c135]Abhishek Garg, Ioannis Xenarios, Luis Mendoza, Giovanni De Micheli:
An Efficient Method for Dynamic Analysis of Gene Regulatory Networks and in silico Gene Perturbation Experiments. RECOMB 2007: 62-76 - [c134]Ilhan Hatirnaz, Stéphane Badel, Nuria Pazos, Yusuf Leblebici, Srinivasan Murali, David Atienza, Giovanni De Micheli:
Early wire characterization for predictable network-on-chip global interconnects. SLIP 2007: 57-64 - [e3]Giovanni De Micheli, Salvador Mir, Ricardo Reis:
VLSI-SoC: Research Trends in VLSI and Systems on Chip - Fourteenth International Conference on Very Large Scale Integration of System on Chip (VLSI-SoC2006), October 16-18, 2006, Nice, France. IFIP 249, Springer 2007, ISBN 978-0-387-74908-2 [contents] - [i1]Srinivasan Murali, Giovanni De Micheli:
An Application-Specific Design Methodology for STbus Crossbar Generation. CoRR abs/0710.4671 (2007) - 2006
- [b3]Luca Benini, Giovanni De Micheli:
Networks on chips - technology and tools. The Morgan Kaufmann series in systems on silicon, Elsevier Morgan Kaufmann 2006, ISBN 978-0-12-370521-1, pp. I-X, 1-395 - [j77]Ayse Kivilcim Coskun, Tajana Simunic, Kresimir Mihic, Giovanni De Micheli, Yusuf Leblebici:
Analysis and Optimization of MPSoC Reliability. J. Low Power Electron. 2(1): 56-69 (2006) - [j76]Sungroh Yoon, Luca Benini, Giovanni De Micheli:
A Pattern-Mining Method for High-Throughput Lab-on-a-Chip Data Analysis. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 25(2): 358-377 (2006) - [c133]Srinivasan Murali, Martijn Coenen, Andrei Radulescu, Kees Goossens, Giovanni De Micheli:
Mapping and configuration methods for multi-use-case networks on chips. ASP-DAC 2006: 146-151 - [c132]Elisa Ficarra, Enrico Macii, Giovanni De Micheli, Luca Benini:
Computer-Aided Evaluation of Protein Expression in Pathological Tissue Images. CBMS 2006: 413-418 - [c131]Igino Folcarelli, Alex E. Susu, Ties Kluter, Giovanni De Micheli, Andrea Acquaviva:
An opportunistic reconfiguration strategy for environmentally powered devices. Conf. Computing Frontiers 2006: 171-176 - [c130]Martijn Coenen, Srinivasan Murali, Andrei Radulescu, Kees Goossens, Giovanni De Micheli:
A buffer-sizing algorithm for networks on chip using TDMA and credit-based end-to-end flow control. CODES+ISSS 2006: 130-135 - [c129]David Atienza, Pablo García Del Valle, Giacomo Paci, Francesco Poletti, Luca Benini, Giovanni De Micheli, Jose Manuel Mendias:
A fast HW/SW FPGA-based thermal emulation framework for multi-processor system-on-chip. DAC 2006: 618-623 - [c128]Srinivasan Murali, David Atienza, Luca Benini, Giovanni De Micheli:
A multi-path routing strategy with guaranteed in-order packet delivery and fault-tolerance for networks on chip. DAC 2006: 845-848 - [c127]Srinivasan Murali, Martijn Coenen, Andrei Radulescu, Kees Goossens, Giovanni De Micheli:
A methodology for mapping multiple use-cases onto networks on chips. DATE 2006: 118-123 - [c126]Sungroh Yoon, Abhishek Garg, Eui-Young Chung, Hyun Seok Park, Woong-Yang Park, Giovanni De Micheli:
Exploiting Binary Abstractions in Deciphering Gene Interactions. EMBC 2006: 5858-5863 - [c125]Ayse K. Coskun, Tajana Simunic Rosing, Yusuf Leblebici, Giovanni De Micheli:
A simulation methodology for reliability analysis in multi-core SoCs. ACM Great Lakes Symposium on VLSI 2006: 95-99 - [c124]Srinivasan Murali, Paolo Meloni, Federico Angiolini, David Atienza, Salvatore Carta, Luca Benini, Giovanni De Micheli, Luigi Raffo:
Designing application-specific networks on chips with floorplan information. ICCAD 2006: 355-362 - [c123]Federico Angiolini, David Atienza, Srinivasan Murali, Luca Benini, Giovanni De Micheli:
Reliability Support for On-Chip Memories Using Networks-on-Chip. ICCD 2006: 389-396 - [c122]Christine Nardini, Daniele Masotti, Sungroh Yoon, Enrico Macii, Michael D. Kuo, Giovanni De Micheli, Luca Benini:
Mining Gene Sets for Measuring Similarities. ISCC 2006: 227-232 - [c121]Srinivasan Murali, Rutuparna Tamhankar, Federico Angiolini, Antonio Pullini, David Atienza, Luca Benini, Giovanni De Micheli:
Comparison of a Timing-Error Tolerant Scheme with a Traditional Re-transmission Mechanism for Networks on Chips. SoC 2006: 1-4 - [c120]Paolo Meloni, Srinivasan Murali, Salvatore Carta, Massimo Camplani, Luigi Raffo, Giovanni De Micheli:
Routing Aware Switch Hardware Customization for Networks on Chips. Nano-Net 2006: 1-5 - [c119]David Atienza, Praveen Raghavan, José L. Ayala, Giovanni De Micheli, Francky Catthoor, Diederik Verkest, Marisa López-Vallejo:
Compiler-Driven Leakage Energy Reduction in Banked Register Files. PATMOS 2006: 107-116 - [c118]Giovanni De Micheli:
Nanoelectronics: Challenges and Opportunities. PATMOS 2006: 658 - [c117]Pablo García Del Valle, David Atienza, Ivan Magan, Javier Garcia Flores, Esther Andres Perez, Jose Manuel Mendias, Luca Benini, Giovanni De Micheli:
A Complete Multi-Processor System-on-Chip FPGA-Based Emulation Framework. VLSI-SoC 2006: 140-145 - [c116]Srinivasan Murali, Paolo Meloni, Federico Angiolini, David Atienza, Salvatore Carta, Luca Benini, Giovanni De Micheli, Luigi Raffo:
Designing Message-Dependent Deadlock Free Networks on Chips for Application-Specific Systems on Chips. VLSI-SoC 2006: 158-163 - [c115]Srinivasan Murali, Paolo Meloni, Federico Angiolini, David Atienza, Salvatore Carta, Luca Benini, Giovanni De Micheli, Luigi Raffo:
Designing Routing and Message-Dependent Deadlock Free Networks on Chips. VLSI-SoC (Selected Papers) 2006: 337-355 - 2005
- [j75]Giovanni De Micheli, Al Dunlop:
IEEE Council for Electronic Design Automation: A new beginning. IEEE Des. Test Comput. 22(4): 293-294 (2005) - [j74]André Ivanov, Giovanni De Micheli:
Guest Editors' Introduction: The Network-on-Chip Paradigm in Practice and Research. IEEE Des. Test Comput. 22(5): 399-403 (2005) - [j73]Partha Pratim Pande, Cristian Grecu, André Ivanov, Resve A. Saleh, Giovanni De Micheli:
Design, Synthesis, and Test of Networks on Chips. IEEE Des. Test Comput. 22(5): 404-413 (2005) - [j72]Srinivasan Murali, Theo Theocharides, Narayanan Vijaykrishnan, Mary Jane Irwin, Luca Benini, Giovanni De Micheli:
Analysis of Error Recovery Schemes for Networks on Chips. IEEE Des. Test Comput. 22(5): 434-442 (2005) - [j71]Davide Bertozzi, Luca Benini, Giovanni De Micheli:
Error control schemes for on-chip communication links: the energy-reliability tradeoff. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 24(6): 818-831 (2005) - [j70]Sungroh Yoon, Christine Nardini, Luca Benini, Giovanni De Micheli:
Discovering Coherent Biclusters from Gene Expression Data Using Zero-Suppressed Binary Decision Diagrams. IEEE ACM Trans. Comput. Biol. Bioinform. 2(4): 339-354 (2005) - [j69]Davide Bertozzi, Antoine Jalabert, Srinivasan Murali, Rutuparna Tamhankar, Stergios Stergiou, Luca Benini, Giovanni De Micheli:
NoC Synthesis Flow for Customized Domain Specific Multiprocessor Systems-on-Chip. IEEE Trans. Parallel Distributed Syst. 16(2): 113-129 (2005) - [j68]Frederic Worm, Paolo Ienne, Patrick Thiran, Giovanni De Micheli:
A robust self-calibrating transmission scheme for on-chip networks. IEEE Trans. Very Large Scale Integr. Syst. 13(1): 126-139 (2005) - [c114]Srinivasan Murali, Luca Benini, Giovanni De Micheli:
Mapping and physical planning of networks-on-chip architectures with quality-of-service guarantees. ASP-DAC 2005: 27-32 - [c113]Rutuparna Tamhankar, Srinivasan Murali, Giovanni De Micheli:
Performance driven reliable link design for networks on chips. ASP-DAC 2005: 749-754 - [c112]Nicolas Genko, David Atienza, Giovanni De Micheli, Jose Manuel Mendias, Román Hermida, Francky Catthoor:
A Complete Network-On-Chip Emulation Framework. DATE 2005: 246-251 - [c111]Srinivasan Murali, Giovanni De Micheli:
An Application-Specific Design Methodology for STbus Crossbar Generation. DATE 2005: 1176-1181 - [c110]Stergios Stergiou, Federico Angiolini, Salvatore Carta, Luigi Raffo, Davide Bertozzi, Giovanni De Micheli:
xpipes Lite: A Synthesis Oriented Design Library For Networks on Chips. DATE 2005: 1188-1193 - [c109]Sungroh Yoon, Giovanni De Micheli:
Prediction of regulatory modules comprising microRNAs and target genes. ECCB/JBI 2005: 100 - [c108]Giovanni De Micheli:
Plenary lecture [Second page is blank]. ECCTD 2005: 1-2 - [c107]Frederic Worm, Paolo Ienne, Patrick Thiran, Giovanni De Micheli:
Self-calibrating networks-on-chip. ISCAS (3) 2005: 2361-2364 - [c106]Nicolas Genko, David Atienza, Giovanni De Micheli, Luca Benini, Jose Manuel Mendias, Román Hermida, Francky Catthoor:
A novel approach for network on chip emulation. ISCAS (3) 2005: 2365-2368 - [c105]Nicolas Genko, David Atienza, Giovanni De Micheli:
Exploration and Tuning of Custom NoC Topologies Using an FPGA-Based Framework. PARCO 2005: 753-760 - [c104]Tajana Simunic, Kresimir Mihic, Giovanni De Micheli:
Optimization of Reliability and Power Consumption in Systems on a Chip. PATMOS 2005: 237-246 - [p3]Davide Bertozzi, Luca Benini, Giovanni De Micheli:
Network On-Chip Design for Gigascale Systems-on-Chip. The Industrial Information Technology Handbook 2005 - [r1]Luca Benini, Davide Bertozzi, Giovanni De Micheli:
Network-on-Chip Design for Gigascale Systems-on-Chip. Embedded Systems Handbook 2005 - 2004
- [j67]Frederic Worm, Paolo Ienne, Patrick Thiran, Giovanni De Micheli:
On-Chip Self-Calibrating Communication Techniques Robust to Electrical Parameter Variations. IEEE Des. Test Comput. 21(6): 524-535 (2004) - [j66]Terry Tao Ye, Luca Benini, Giovanni De Micheli:
Packetization and routing analysis of on-chip multiprocessor networks. J. Syst. Archit. 50(2-3): 81-104 (2004) - [j65]Alessandro Bogliolo, Luca Benini, Emanuele Lattanzi, Giovanni De Micheli:
Specification and analysis of power-managed systems. Proc. IEEE 92(8): 1308-1346 (2004) - [c103]Sungroh Yoon, Christine Nardini, Luca Benini, Giovanni De Micheli:
Enhanced pClustering and Its Applications to Gene Expression Data. BIBE 2004: 275-282 - [c102]Giovanni De Micheli:
Reliable communication in systems on chips. DAC 2004: 77 - [c101]Srinivasan Murali, Giovanni De Micheli:
SUNMAP: a tool for automatic topology selection and generation for NoCs. DAC 2004: 914-919 - [c100]Antoine Jalabert, Srinivasan Murali, Luca Benini, Giovanni De Micheli:
×pipesCompiler: A Tool for Instantiating Application Specific Networks on Chip. DATE 2004: 884-889 - [c99]Srinivasan Murali, Giovanni De Micheli:
Bandwidth-Constrained Mapping of Cores onto NoC Architectures. DATE 2004: 896-903 - [c98]Kresimir Mihic, Tajana Simunic, Giovanni De Micheli:
Reliability and Power Management of Integrated Systems. DSD 2004: 5-11 - [p2]Davide Bertozzi, Luca Benini, Giovanni De Micheli:
Energy-Efficient Network-On-Chip Design. Ultra Low-Power Electronics and Design 2004: 214-232 - 2003
- [j64]Giovanni De Micheli:
CASS Brings Publishing to Its DAC Partnership. IEEE Des. Test Comput. 20(3): 101-102 (2003) - [j63]Armita Peymandoust, Tajana Simunic, Giovanni De Micheli:
Complex instruction and software library mapping for embedded software using symbolic algebra. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 22(8): 964-975 (2003) - [j62]Armita Peymandoust, Giovanni De Micheli:
Application of symbolic computer algebra in high-level data-flow synthesis. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 22(9): 1154-1165 (2003) - [c97]Terry Tao Ye, Giovanni De Micheli:
Physical Planning for On-Chip Multiprocessor Networks and Switch Fabrics. ASAP 2003: 97-107 - [c96]Armita Peymandoust, Laura Pozzi, Paolo Ienne, Giovanni De Micheli:
Automatic Instruction Set Extension and Utilization for Embedded Processors. ASAP 2003: 108- - [c95]Terry Tao Ye, Luca Benini, Giovanni De Micheli:
Packetized On-Chip Interconnect Communication Analysis for MPSoC. DATE 2003: 10344-10349 - [c94]Giovanni De Micheli:
Robust System Design with Uncertain Information. MEMOCODE 2003: 283- - [c93]Wajahat Qadeer, Tajana Simunic Rosing, John Ankcorn, Venky Krishnan, Giovanni De Micheli:
Heterogeneous Wireless Network Management. PACS 2003: 86-100 - [p1]Davide Bertozzi, Luca Benini, Giovanni De Micheli:
Energy-Reliability trade-Off for NoCs. Networks on Chip 2003: 107-129 - 2002
- [b2]Giovanni De Micheli, Rolf Ernst, Wayne H. Wolf:
Readings in hardware / software co-design. Morgan Kaufmann 2002, ISBN 978-1-55860-702-6, pp. I-XIV, 1-697 - [j61]Luca Benini, Giovanni De Micheli:
Networks on Chips: A New SoC Paradigm. Computer 35(1): 70-78 (2002) - [j60]Eui-Young Chung, Luca Benini, Alessandro Bogliolo, Yung-Hsiang Lu, Giovanni De Micheli:
Dynamic Power Management for Nonstationary Service Requests. IEEE Trans. Computers 51(11): 1345-1361 (2002) - [j59]Eui-Young Chung, Luca Benini, Giovanni De Micheli, Gabriele Luculli, Marco Carilli:
Value-sensitive automatic code specialization for embedded software. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 21(9): 1051-1067 (2002) - [j58]Yung-Hsiang Lu, Luca Benini, Giovanni De Micheli:
Dynamic frequency scaling with buffer insertion for mixed workloads. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 21(11): 1284-1305 (2002) - [j57]Yung-Hsiang Lu, Luca Benini, Giovanni De Micheli:
Power-aware operating systems for interactive systems. IEEE Trans. Very Large Scale Integr. Syst. 10(2): 119-134 (2002) - [c92]Armita Peymandoust, Giovanni De Micheli, Tajana Simunic:
Complex library mapping for embedded software using symbolic algebra. DAC 2002: 325-330 - [c91]Terry Tao Ye, Giovanni De Micheli, Luca Benini:
Analysis of power consumption on switch fabrics in network routers. DAC 2002: 524-529 - [c90]Davide Bertozzi, Luca Benini, Giovanni De Micheli:
Low Power Error Resilient Encoding for On-Chip Data Buses. DATE 2002: 102-109 - [c89]Giovanni De Micheli, Luca Benini:
Networks on Chip: A New Paradigm for Systems on Chip Design. DATE 2002: 418-419 - [c88]Armita Peymandoust, Tajana Simunic, Giovanni De Micheli:
Low Power Embedded Software Optimization Using Symbolic Algebra. DATE 2002: 1052-1058 - [c87]Terry Tao Ye, Samit Chaudhuri, F. Huang, Hamid Savoj, Giovanni De Micheli:
Physical synthesis for ASIC datapath circuits. ISCAS (3) 2002: 365-368 - [c86]Eui-Young Chung, Giovanni De Micheli, Luca Benini:
Contents provider-assisted dynamic voltage scaling for low energy multimedia applications. ISLPED 2002: 42-47 - [c85]Paolo Ienne, Patrick Thiran, Giovanni De Micheli, Frederic Worm:
An Adaptive Low-Power Transmission Scheme for On-Chip Networks. ISSS 2002: 92-100 - 2001
- [j56]Yung-Hsiang Lu, Giovanni De Micheli:
Comparing System-Level Power Management Policies. IEEE Des. Test Comput. 18(2): 10-19 (2001) - [j55]Luc Séméria, Giovanni De Micheli:
Resolution, optimization, and encoding of pointer variables for thebehavioral synthesis from C. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 20(2): 213-233 (2001) - [j54]Tajana Simunic, Luca Benini, Peter W. Glynn, Giovanni De Micheli:
Event-driven power management. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 20(7): 840-857 (2001) - [j53]Luca Benini, Giovanni De Micheli, Antonio Lioy, Enrico Macii, Giuseppe Odasso, Massimo Poncino:
Synthesis of power-managed sequential components based oncomputational kernel extraction. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 20(9): 1118-1131 (2001) - [j52]Tajana Simunic, Luca Benini, Giovanni De Micheli:
Energy-efficient design of battery-powered embedded systems. IEEE Trans. Very Large Scale Integr. Syst. 9(1): 15-28 (2001) - [j51]Luc Séméria, Koichi Sato, Giovanni De Micheli:
Synthesis of hardware models in C with pointers and complex data structures. IEEE Trans. Very Large Scale Integr. Syst. 9(6): 743-756 (2001) - [j50]James Smith, Giovanni De Micheli:
Polynomial circuit models for component matching in high-level synthesis. IEEE Trans. Very Large Scale Integr. Syst. 9(6): 783-800 (2001) - [c84]Armita Peymandoust, Giovanni De Micheli:
Using Symbolic Algebra in Algorithmic Level DSP Synthesis. DAC 2001: 277-282 - [c83]Tajana Simunic, Luca Benini, Andrea Acquaviva, Peter W. Glynn, Giovanni De Micheli:
Dynamic Voltage Scaling and Power Management for Portable Systems. DAC 2001: 524-529 - [c82]Ting Zhang, Luca Benini, Giovanni De Micheli:
Component selection and matching for IP-based design. DATE 2001: 40-46 - [c81]Armita Peymandoust, Giovanni De Micheli:
Symbolic Algebra and Timing Driven Data-flow Synthesis. ICCAD 2001: 300-305 - [c80]Eui-Young Chung, Luca Benini, Giovanni De Micheli:
Automatic source code specialization for energy reduction. ISLPED 2001: 80-83 - [c79]Luca Benini, Giovanni De Micheli:
Powering Networks on Chips: Energy-Efficient and Reliable Interconnect Design for SoCs. ISSS 2001: 33-38 - [c78]Preeti Ranjan Panda, Luc Séméria, Giovanni De Micheli:
Cache-efficient memory layout of aggregate data structures. ISSS 2001: 101-106 - [c77]Eui-Young Chung, Luca Benini, Giovanni De Micheli:
Source code transformation based on software cost analysis. ISSS 2001: 153-158 - 2000
- [j49]Vincent John Mooney III, Giovanni De Micheli:
Hardware/Software Co-Design of Run-Time Schedulers for Real-Time Systems. Des. Autom. Embed. Syst. 6(1): 89-144 (2000) - [j48]Luca Benini, Giovanni De Micheli, Enrico Macii, Massimo Poncino, Riccardo Scarsi:
A multilevel engine for fast power simulation of realistic inputstreams. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 19(4): 459-472 (2000) - [j47]Luca Benini, Giovanni De Micheli:
System-level power optimization: techniques and tools. ACM Trans. Design Autom. Electr. Syst. 5(2): 115-192 (2000) - [j46]Luca Benini, Giovanni De Micheli:
Synthesis of low-power selectively-clocked systems from high-level specification. ACM Trans. Design Autom. Electr. Syst. 5(3): 311-321 (2000) - [j45]Alessandro Bogliolo, Luca Benini, Giovanni De Micheli:
Regression-based RTL power modeling. ACM Trans. Design Autom. Electr. Syst. 5(3): 337-372 (2000) - [j44]Luca Benini, Giovanni De Micheli, Alberto Macii, Enrico Macii, Massimo Poncino, Riccardo Scarsi:
Glitch power minimization by selective gate freezing. IEEE Trans. Very Large Scale Integr. Syst. 8(3): 287-298 (2000) - [j43]Luca Benini, Alessandro Bogliolo, Giovanni De Micheli:
A survey of design techniques for system-level dynamic power management. IEEE Trans. Very Large Scale Integr. Syst. 8(3): 299-316 (2000) - [c76]Yung-Hsiang Lu, Luca Benini, Giovanni De Micheli:
Low-power task scheduling for multiple devices. CODES 2000: 39-43 - [c75]Yung-Hsiang Lu, Eui-Young Chung, Tajana Simunic, Giovanni De Micheli, Luca Benini:
Quantitative Comparison of Power Management Algorithms. DATE 2000: 20-26 - [c74]Luc Séméria, Koichi Sato, Giovanni De Micheli:
Resolution of Dynamic Memory Allocation and Pointers for the Behavioral Synthesis from C. DATE 2000: 312-319 - [c73]Tajana Simunic, Luca Benini, Peter W. Glynn, Giovanni De Micheli:
Dynamic Power Management of Laptop Hard Disk. DATE 2000: 736 - [c72]Terry Tao Ye, Giovanni De Micheli:
Data Path Placement with Regularity. ICCAD 2000: 264-270 - [c71]Yung-Hsiang Lu, Luca Benini, Giovanni De Micheli:
Operating-system directed power reduction. ISLPED 2000: 37-42 - [c70]Tajana Simunic, Haris Vikalo, Peter W. Glynn, Giovanni De Micheli:
Energy efficient design of portable wireless systems. ISLPED 2000: 49-54 - [c69]Giovanni De Micheli, Tony Correale, Pietro Erratico, Srini Raghvendra, Hugo De Man, Jerry Frankil, Vivek Tiwari:
Do our low-power tools have enough horse power? (panel session) (title only). ISLPED 2000: 149 - [c68]Yung-Hsiang Lu, Giovanni De Micheli, Luca Benini:
Requester-Aware Power Reduction. ISSS 2000: 18-24 - [c67]Tajana Simunic, Giovanni De Micheli, Luca Benini, Mat Hans:
Source Code Optimization and Profiling of Energy Consumption in Embedded Systems. ISSS 2000: 193-199 - [c66]Tajana Simunic, Luca Benini, Peter W. Glynn, Giovanni De Micheli:
Dynamic power management for portable systems. MobiCom 2000: 11-19 - [e2]Giovanni De Micheli:
Proceedings of the 37th Conference on Design Automation, Los Angeles, CA, USA, June 5-9, 2000. ACM 2000 [contents]
1990 – 1999
- 1999
- [j42]Hema Kapadia, Luca Benini, Giovanni De Micheli:
Reducing switching activity on datapath buses with control-signal gating. IEEE J. Solid State Circuits 34(3): 405-414 (1999) - [j41]Luca Benini, Giovanni De Micheli, Antonio Lioy, Enrico Macii, Giuseppe Odasso, Massimo Poncino:
Automatic Synthesis of Large Telescopic Units Based on Near-Minimum Timed Supersetting. IEEE Trans. Computers 48(8): 769-779 (1999) - [j40]Luca Benini, Alessandro Bogliolo, Giuseppe A. Paleologo, Giovanni De Micheli:
Policy optimization for dynamic power management. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 18(6): 813-833 (1999) - [j39]Luca Benini, Giovanni De Micheli, Enrico Macii, Massimo Poncino, Riccardo Scarsi:
Symbolic synthesis of clock-gating logic for power optimization of synchronous controllers. ACM Trans. Design Autom. Electr. Syst. 4(4): 351-375 (1999) - [c65]Yung-Hsiang Lu, Tajana Simunic, Giovanni De Micheli:
Software controlled power management. CODES 1999: 157-161 - [c64]Luca Benini, Giovanni De Micheli, Enrico Macii, Giuseppe Odasso, Massimo Poncino:
Kernel-Based Power Optimization of RTL Components: Exact and Approximate Extraction Algorithms. DAC 1999: 247-252 - [c63]Tajana Simunic, Luca Benini, Giovanni De Micheli:
Cycle-Accurate Simulation of Energy Consumption in Embedded Systems. DAC 1999: 867-872 - [c62]Eui-Young Chung, Luca Benini, Alessandro Bogliolo, Giovanni De Micheli:
Dynamic Power Management for non-stationary service requests. DATE 1999: 77-81 - [c61]Luca Benini, Giovanni De Micheli, Alberto Macii, Enrico Macii, Massimo Poncino, Riccardo Scarsi:
Glitch Power Minimization by Gate Freezing. DATE 1999: 163-167 - [c60]James Smith, Giovanni De Micheli:
Polynomial Methods for Allocating Complex Components. DATE 1999: 217-222 - [c59]Giovanni De Micheli:
Hardware Synthesis from C/C++ Models. DATE 1999: 382-383 - [c58]Yung-Hsiang Lu, Giovanni De Micheli:
Adaptive Hard Disk Power Management on Personal Computers. Great Lakes Symposium on VLSI 1999: 50- - [c57]Eui-Young Chung, Luca Benini, Giovanni De Micheli:
Dynamic power management using adaptive learning tree. ICCAD 1999: 274-279 - [c56]Alessandro Bogliolo, Luca Benini, Bruno Riccò, Giovanni De Micheli:
Efficient switching activity computation during high-level synthesis of control-dominated designs. ISLPED 1999: 127-132 - [c55]Tajana Simunic, Luca Benini, Giovanni De Micheli:
Energy-efficient design of battery-powered embedded systems. ISLPED 1999: 212-217 - [c54]Luca Benini, Giovanni De Micheli:
System-level power optimization: techniques and tools. ISLPED 1999: 288-293 - [c53]Tajana Simunic, Giovanni De Micheli, Luca Benini:
Event-Driven Power Management of Portable Systems. ISSS 1999: 18-23 - 1998
- [b1]Luca Benini, Giovanni De Micheli:
Dynamic power management - design techniques and CAD tools. Kluwer 1998, ISBN 978-0-7923-8086-3, pp. I-XIII, 1-231 - [j38]Luca Benini, Alessandro Bogliolo, Michele Favalli, Giovanni De Micheli:
Regression Models for Behavioral Power Estimation. Integr. Comput. Aided Eng. 5(2): 95-106 (1998) - [j37]Luca Benini, Enrico Macii, Massimo Poncino, Giovanni De Micheli:
Telescopic units: a new paradigm for performance optimization of VLSI designs. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 17(3): 220-232 (1998) - [j36]Luca Benini, Patrick Vuillod, Giovanni De Micheli:
Iterative remapping for logic circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 17(10): 948-964 (1998) - [j35]Luca Benini, Giovanni De Micheli, Enrico Macii, Massimo Poncino, Stefano Quer:
Power optimization of core-based systems by address bus encoding. IEEE Trans. Very Large Scale Integr. Syst. 6(4): 554-562 (1998) - [c52]Hema Kapadia, Giovanni De Micheli, Luca Benini:
Reducing switching activity on datapath buses with control-signal gating. CICC 1998: 589-592 - [c51]James Smith, Giovanni De Micheli:
Automated Composition of Hardware Components. DAC 1998: 14-19 - [c50]Giuseppe A. Paleologo, Luca Benini, Alessandro Bogliolo, Giovanni De Micheli:
Policy Optimization for Dynamic Power Management. DAC 1998: 182-187 - [c49]Luca Benini, Giovanni De Micheli, Antonio Lioy, Enrico Macii, Giuseppe Odasso, Massimo Poncino:
Computational Kernels and their Application to Sequential Power Optimization. DAC 1998: 764-769 - [c48]Alessandro Bogliolo, Luca Benini, Giovanni De Micheli:
Characterization-Free Behavioral Power Modeling. DATE 1998: 767-773 - [c47]Luca Benini, Giovanni De Micheli, Donatella Sciuto, Enrico Macii, Cristina Silvano:
Address Bus Encoding Techniques for System-Level Power Optimization. DATE 1998: 861-866 - [c46]Diego C. Ruspini, Oussama Khatib, Giovanni De Micheli:
Hardware-Softw are Run-Time Systems and Robotics: A Case Study Vincent John Mooney III. EUROMICRO 1998: 10162-10167 - [c45]Marco Platzner, Giovanni De Micheli:
Acceleration of Satisfiability Algorithms by Reconfigurable Hardware. FPL 1998: 69-78 - [c44]Luca Benini, Giovanni De Micheli, Alberto Macii, Enrico Macii, Massimo Poncino:
Reducing Power Consumption of Dedicated Processors Through Instruction Set Encoding. Great Lakes Symposium on VLSI 1998: 8-12 - [c43]Luca Benini, Giovanni De Micheli, Antonio Lioy, Enrico Macii, Giuseppe Odasso, Massimo Poncino:
Timed Supersetting and the Synthesis of Telescopic Units. Great Lakes Symposium on VLSI 1998: 331-337 - [c42]Shin-ichi Minato, Giovanni De Micheli:
Finding all simple disjunctive decompositions using irredundant sum-of-products forms. ICCAD 1998: 111-117 - [c41]Luc Séméria, Giovanni De Micheli:
SpC: synthesis of pointers in C: application of pointer analysis to the behavioral synthesis from C. ICCAD 1998: 340-346 - [c40]James Smith, Giovanni De Micheli:
Polynomial methods for component matching and verification. ICCAD 1998: 678-685 - [c39]Luca Benini, Alessandro Bogliolo, Giovanni De Micheli:
Dynamic power management of electronic systems. ICCAD 1998: 696-702 - 1997
- [j34]Rajesh K. Gupta, Giovanni De Micheli:
Constrained software synthesis for embedded applications. J. Syst. Archit. 43(8): 557-586 (1997) - [j33]Rajesh K. Gupta, Giovanni De Micheli:
Specification and analysis of timing constraints for embedded systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 16(3): 240-256 (1997) - [j32]Luca Benini, Giovanni De Micheli:
A survey of Boolean matching techniques for library binding. ACM Trans. Design Autom. Electr. Syst. 2(3): 193-226 (1997) - [j31]Alessandro Bogliolo, Luca Benini, Giovanni De Micheli, Bruno Riccò:
Gate-level power and current simulation of CMOS integrated circuits. IEEE Trans. Very Large Scale Integr. Syst. 5(4): 473-488 (1997) - [j30]Luca Benini, Patrick Vuillod, Alessandro Bogliolo, Giovanni De Micheli:
Clock Skew Optimization for Peak Current Reduction. J. VLSI Signal Process. 16(2-3): 117-130 (1997) - [c38]Alessandro Bogliolo, Luca Benini, Giovanni De Micheli:
Adaptive least mean square behavioral power modeling. ED&TC 1997: 404-410 - [c37]Luca Benini, Giovanni De Micheli, Enrico Macii, Massimo Poncino, Riccardo Scarsi:
Symbolic synthesis of clock-gating logic for power optimization of control-oriented synchronous networks. ED&TC 1997: 514-520 - [c36]Luca Benini, Giovanni De Micheli, Enrico Macii, Donatella Sciuto, Cristina Silvano:
Asymptotic Zero-Transition Activity Encoding for Address Busses in Low-Power Microprocessor-Based Systems. Great Lakes Symposium on VLSI 1997: 77-82 - [c35]Patrick Vuillod, Luca Benini, Giovanni De Micheli:
Generalized matching from theory to application. ICCAD 1997: 13-20 - [c34]Luca Benini, Giovanni De Micheli, Enrico Macii, Massimo Poncino, Riccardo Scarsi:
Fast power estimation for deterministic input streams. ICCAD 1997: 494-501 - [c33]Vincent John Mooney III, Giovanni De Micheli:
Real time analysis and priority scheduler generation for hardware-software systems with a synthesized run-time system. ICCAD 1997: 605-612 - [c32]Luca Benini, Giovanni De Micheli, Enrico Macii, Massimo Poncino, Stefano Quer:
System-level power optimization of special purpose applications: the beach solution. ISLPED 1997: 24-29 - [c31]Patrick Vuillod, Luca Benini, Giovanni De Micheli:
Re-mapping for low power under tight timing constraints. ISLPED 1997: 287-292 - [e1]Ellen J. Yoffa, Giovanni De Micheli, Jan M. Rabaey:
Proceedings of the 34st Conference on Design Automation, Anaheim, California, USA, Anaheim Convention Center, June 9-13, 1997. ACM Press 1997, ISBN 0-89791-920-3 [contents] - 1996
- [j29]Rajesh K. Gupta, Giovanni De Micheli:
A co-synthesis approach to embedded system design automation. Des. Autom. Embed. Syst. 1(1-2): 69-120 (1996) - [j28]Jerry Chih-Yuan Yang, Giovanni De Micheli, Maurizio Damiani:
Scheduling and control generation with environmental constraints based on automata representations. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 15(2): 166-183 (1996) - [j27]Luca Benini, Giovanni De Micheli:
Automatic synthesis of low-power gated-clock finite-state machines. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 15(6): 630-643 (1996) - [j26]Claudionor José Nunes Coelho Jr., Giovanni De Micheli:
Analysis and synthesis of concurrent digital circuits using control-flow expressions. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 15(8): 854-876 (1996) - [c30]Michele Favalli, Luca Benini, Giovanni De Micheli:
Design for Testability of Gated-Clock FSMs. ED&TC 1996: 589-597 - [c29]Giovanni De Micheli, Vincent John Mooney III, Claudionor Nunes Coelho, Toshiyuki Sakamoto:
Synthesis from mixed specifications. EURO-DAC 1996: 114-119 - [c28]Luca Benini, Alessandro Bogliolo, Giovanni De Micheli:
Distributed EDA Tool Integration: The PPP Paradigm. ICCD 1996: 448-453 - [c27]Alessandro Bogliolo, Luca Benini, Giovanni De Micheli, Bruno Riccò:
Gate-level current waveform simulation of CMOS integrated circuits. ISLPED 1996: 109-112 - [c26]Patrick Vuillod, Luca Benini, Alessandro Bogliolo, Giovanni De Micheli:
Clock skew optimization for peak current reduction. ISLPED 1996: 265-270 - [c25]Luca Benini, Patrick Vuillod, Claudionor José Nunes Coelho Jr., Giovanni De Micheli:
Synthesis of Low-Power Selectively-Clocked Systems from High-Level Specification. ISSS 1996: 57- - 1995
- [j25]Luca Benini, Giovanni De Micheli:
State assignment for low power dissipation. IEEE J. Solid State Circuits 30(3): 258-268 (1995) - [j24]Maurizio Damiani, Jerry Chih-Yuan Yang, Giovanni De Micheli:
Optimization of combinational logic circuits based on compatible gates. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 14(11): 1316-1327 (1995) - [c24]Luca Benini, Giovanni De Micheli:
Transformation and synthesis of FSMs for low-power gated-clock implementation. ISLPD 1995: 21-26 - 1994
- [j23]Rajesh K. Gupta, Claudionor José Nunes Coelho Jr., Giovanni De Micheli:
Program Implementation Schemes for Hardware-Software Systems. Computer 27(1): 48-55 (1994) - [j22]Luca Benini, Polly Siegel, Giovanni De Micheli:
Saving Power by Synthesizing Gated Clocks for Sequential Circuits. IEEE Des. Test Comput. 11(4): 32-41 (1994) - [j21]Giovanni De Micheli:
Computer-aided hardware-software codesign. IEEE Micro 14(4): 10-16 (1994) - [c23]Rajesh K. Gupta, Giovanni De Micheli:
Constrained software generation for hardware-software systems. CODES 1994: 56-63 - [c22]Claudionor José Nunes Coelho Jr., Jerry Chih-Yuan Yang, Vincent John Mooney III, Giovanni De Micheli:
Redesigning hardware-software systems. CODES 1994: 116-123 - [c21]Jerry Chih-Yuan Yang, Giovanni De Micheli, Maurizio Damiani:
Scheduling with Environmental Constraints based on Automata Representations. EDAC-ETC-EUROASIC 1994: 495-501 - [c20]Claudionor José Nunes Coelho Jr., Giovanni De Micheli:
Dynamic scheduling and synchronization synthesis of concurrent digital systems under system-level constraints. ICCAD 1994: 175-181 - [c19]Polly Siegel, Giovanni De Micheli:
Decomposition methods for library binding of speed-independent asynchronous designs. ICCAD 1994: 558-565 - [c18]Jérôme Fron, Jerry Chih-Yuan Yang, Maurizio Damiani, Giovanni De Micheli:
A Synthesis Framework Based on Trace and Automata Theory. ISCAS 1994: 291-294 - 1993
- [j20]Giovanni De Micheli:
High-Level Synthesis of Digital Circuits. Adv. Comput. 37: 207-283 (1993) - [j19]Rajesh K. Gupta, Giovanni De Micheli:
Hardware-Software Cosynthesis for Digital Systems. IEEE Des. Test Comput. 10(3): 29-41 (1993) - [j18]Derek C. Wong, Giovanni De Micheli, Michael J. Flynn:
Designing high-performance digital circuits using wave pipelining: algorithms and practical experiences. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 12(1): 25-46 (1993) - [j17]Maurizio Damiani, Giovanni De Micheli:
Don't care set specifications in combinational and synchronous logic circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 12(3): 365-388 (1993) - [j16]Frédéric Mailhot, Giovanni De Micheli:
Algorithms for technology mapping based on binary decision diagrams and on Boolean operations. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 12(5): 599-620 (1993) - [j15]Dave Filo, David C. Ku, Claudionor José Nunes Coelho Jr., Giovanni De Micheli:
Interface optimization for concurrent systems under timing constraints. IEEE Trans. Very Large Scale Integr. Syst. 1(3): 268-281 (1993) - [c17]Polly Siegel, Giovanni De Micheli, David L. Dill:
Automatic Technology Mapping for Generalized Fundamental-Mode Asynchronous Designs. DAC 1993: 61-67 - [c16]Maurizio Damiani, Jerry Chih-Yuan Yang, Giovanni De Micheli:
Optimization of Combinational Logic Circuits Based on Compatible Gates. DAC 1993: 631-636 - [c15]Jerry R. Burch, David L. Dill, Elizabeth Wolf, Giovanni De Micheli:
Modeling hierarchical combinational circuits. ICCAD 1993: 612-617 - 1992
- [j14]David Filo, David C. Ku, Giovanni De Micheli:
Optimizing the control-unit through the resynchronization of operations. Integr. 13(3): 231-258 (1992) - [j13]David C. Ku, Giovanni De Micheli:
Relative scheduling under timing constraints: algorithms for high-level synthesis of digital circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 11(6): 696-718 (1992) - [c14]Rajesh K. Gupta, Claudionor José Nunes Coelho Jr., Giovanni De Micheli:
Synthesis and Simulation of Digital Systems Containing Interacting Hardware and Software Components. DAC 1992: 225-230 - [c13]Maurizio Damiani, Giovanni De Micheli:
Recurrence Equations and the Optimization of Synchronous Logic Circuits. DAC 1992: 556-561 - 1991
- [j12]David C. Ku, Giovanni De Micheli:
Optimal synthesis of control logic from behavioral specifications. Integr. 10(3): 271-298 (1991) - [j11]David C. Ku, Giovanni De Micheli:
Constrained resource sharing and conflict resolution in Hebe. Integr. 12(2): 131-165 (1991) - [j10]Giovanni De Micheli:
Synchronous logic synthesis: algorithms for cycle-time minimization. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 10(1): 63-73 (1991) - [c12]Silvia Ercolani, Giovanni De Micheli:
Technology Mapping for Electrically Programmable Gate Arrays. DAC 1991: 234-239 - [c11]David C. Ku, Dave Filo, Giovanni De Micheli:
Control Optimization Based on Resynchronization of Operations. DAC 1991: 366-371 - [c10]David Filo, Jerry Chih-Yuan Yang, Frédéric Mailhot, Giovanni De Micheli:
Technology mapping for a two-output RAM-based field programmable gate array. EURO-DAC 1991: 534-538 - 1990
- [j9]Giovanni De Micheli:
Guest Editorial: High-Level Synthesis of Digital Circuits. IEEE Des. Test Comput. 7(5): 6-7 (1990) - [j8]Giovanni De Micheli, David C. Ku, Frédéric Mailhot, Thomas K. Truong:
The Olympus Synthesis System. IEEE Des. Test Comput. 7(5): 37-53 (1990) - [c9]David C. Ku, Giovanni De Micheli:
Relative Scheduling Under Timing Constraints. DAC 1990: 59-64 - [c8]Frédéric Mailhot, Giovanni De Micheli:
Technology mapping using boolean matching and don't care sets. EURO-DAC 1990: 212-216 - [c7]Rajesh K. Gupta, Giovanni De Micheli:
Partitioning of Functional Models of Synchronous Digital Systems. ICCAD 1990: 216-219 - [c6]Maurizio Damiani, Giovanni De Micheli:
Observability Don't Care Sets and Boolean Relations. ICCAD 1990: 502-505
1980 – 1989
- 1989
- [c5]Derek C. Wong, Giovanni De Micheli, Michael J. Flynn:
Inserting active delay elements to achieve wave pipelining. ICCAD 1989: 270-273 - 1988
- [c4]Giovanni De Micheli, David C. Ku:
HERCULES - a System for High-Level Synthesis. DAC 1988: 483-488 - [c3]Frédéric Mailhot, Giovanni De Micheli:
Automatic layout and optimization of static CMOS cells. ICCD 1988: 180-185 - [c2]Gary Bewick, Paul Song, Giovanni De Micheli, Michael J. Flynn:
Approaching a nanosecond: a 32 bit adder. ICCD 1988: 221-226 - 1987
- [j7]Giovanni De Micheli:
Performance-Oriented Synthesis of Large-Scale Domino CMOS Circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 6(5): 751-765 (1987) - 1986
- [j6]Giovanni De Micheli, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli:
Correction to "Optimal State Assignment for Finite State Machines". IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 5(1): 239 (1986) - [j5]Giovanni De Micheli:
Symbolic Design of Combinational and Sequential Logic Circuits Implemented by Two-Level Logic Macros. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 5(4): 597-616 (1986) - 1985
- [j4]Giovanni De Micheli, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli:
Optimal State Assignment for Finite State Machines. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 4(3): 269-285 (1985) - 1984
- [j3]Giovanni De Micheli, Alberto L. Sangiovanni-Vincentelli:
Correction to "Multiple Constrained Folding of Programmable Logic Arrays: Theory and Applications". IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 3(3): 256 (1984) - 1983
- [j2]Giovanni De Micheli, Alberto L. Sangiovanni-Vincentelli:
Multiple Constrained Folding of Programmable Logic Arrays: Theory and Applications. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2(3): 151-167 (1983) - [j1]Giovanni De Micheli, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli:
Symmetric Displacement Algorithms for the Timing Analysis of Large Scale Circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 2(3): 167-180 (1983) - [c1]Giovanni De Micheli, Alberto L. Sangiovanni-Vincentelli:
PLEASURE: a computer program for simple/multiple constrained/unconstrained folding of Programmable Logic Arrays. DAC 1983: 530-537
Coauthor Index
Luca G. Amarù
aka: Luca Gaetano Amarù
aka: Luca Gaetano Amarù
[c423] [i19] [c404] [c400] [j174] [c394] [c392] [i12] [j168] [j166] [c385] [c384] [c381] [c372] [c364] [c362] [c359] [c358] [c351] [j152] [c348] [c347] [c336] [c335] [c334] [j141] [j140] [c326] [c325] [c323] [c322] [c320] [c307] [c305] [j135] [c302] [c294] [c292] [c288] [c287] [c284] [c282] [i2] [j131] [c281] [c272] [c271] [c269] [c268] [c266] [c257] [j118] [c253] [c248] [c247] [c246] [c245] [c236]
[j124] [j105] [j104] [c203] [c200] [c195] [c183] [c179] [c175] [j97] [j96] [c172] [c170] [c169] [c162] [c160] [j91] [j90] [j89] [c154] [c153] [c151] [c150] [c149] [c147] [c146] [j86] [j83] [j81] [j79] [j78] [c145] [c144] [c143] [c142] [c140] [c139] [c136] [c134] [c129] [c128] [c124] [c123] [c121] [c119] [c117] [c116] [c115] [c112] [c106] [c105]
[j157] [j154] [c319] [j134] [c297] [j121] [j119] [j117] [j112] [j105] [c223] [c213] [c211] [c210] [c203] [c200] [c198] [c197] [p6] [p5] [j102] [j101] [j100] [c191] [c190] [c189] [c188] [c184] [j97] [c171] [c166] [c165] [c163] [c160] [c157] [p4] [e4] [j94] [j90] [c154] [c151] [c150] [j86] [j85] [j84] [j82] [j81] [j79] [j78] [c144] [c143] [c140] [c136] [b3] [j76] [c132] [c129] [c128] [c124] [c123] [c122] [c121] [c117] [c116] [c115] [j72] [j71] [j70] [j69] [c114] [c106] [p3] [r1] [j66] [j65] [c103] [c100] [p2] [c95] [p1] [j61] [j60] [j59] [j58] [j57] [c91] [c90] [c89] [c86] [j54] [j53] [j52] [c83] [c82] [c80] [c79] [c77] [j48] [j47] [j46] [j45] [j44] [j43] [c76] [c75] [c73] [c71] [c68] [c67] [c66] [j42] [j41] [j40] [j39] [c64] [c63] [c62] [c61] [c57] [c56] [c55] [c54] [c53] [b1] [j38] [j37] [j36] [j35] [c52] [c50] [c49] [c48] [c47] [c44] [c43] [c39] [j32] [j31] [j30] [c38] [c37] [c36] [c35] [c34] [c32] [c31] [j27] [c30] [c28] [c27] [c26] [c25] [j25] [c24] [j22]
[j178] [j176] [c391] [j167] [c378] [c376] [c373] [c371] [j158] [c360] [c357] [c355] [c352] [j153] [c346] [c343] [c333] [c328] [j143] [j142] [j137] [c318] [c311] [c310] [c309] [c308] [c306] [c301] [c300] [c290] [c289] [c285] [j128] [j127] [c279] [c278] [c277] [c276] [c275] [c274] [c273] [c267] [c260] [c259] [j120] [c252] [c251] [c250] [c249] [c243] [c241] [c239] [c234] [j113] [j108] [j107] [j106] [c226] [c225] [c224] [c222] [c217] [c205] [c199] [j102] [c180] [c178] [c177] [c155]
Claudionor José Nunes Coelho Jr.
aka: Claudionor Nunes Coelho
aka: Claudionor Nunes Coelho
[j174] [e6] [j164] [j163] [c381] [p7] [j161] [c363] [c361] [j156] [j152] [j151] [j149] [c348] [c347] [c338] [c336] [c335] [c334] [c333] [c332] [c330] [c327] [j148] [j147] [j146] [j141] [j140] [j139] [j138] [c326] [c325] [c323] [c322] [c320] [c317] [c307] [c305] [j136] [j135] [j132] [c302] [c299] [c298] [c295] [c294] [c293] [c292] [c291] [c288] [c287] [c286] [c284] [c283] [c282] [i2] [j131] [j129] [j126] [j125] [c281] [c272] [c271] [c269] [c268] [c266] [c265] [c264] [c262] [c261] [c257] [c255] [c254] [j118] [c253] [c248] [c247] [c246] [c245] [c242] [c238] [c237] [c236] [c233] [c232] [c231] [c230] [c215] [c212]
Sara S. Ghoreishizadeh
aka: Sara Seyedeh Ghoreishizadeh
aka: Sara Seyedeh Ghoreishizadeh
[j119] [j117] [j112] [c198] [c197] [p6] [p5] [j101] [j100] [c191] [c188] [c184] [j96] [c171] [c166] [c165] [c157] [j90] [c151] [j86] [j85] [j84] [j79] [j78] [c145] [c136] [c134] [i1] [c133] [c130] [c128] [c127] [c124] [c123] [c121] [c120] [c116] [c115] [j72] [j69] [c114] [c113] [c111] [c101] [c100] [c99]
Martin Rötteler
aka: Martin Roetteler
aka: Martin Roetteler
[j181] [j180] [j175] [j174] [j171] [j170] [c393] [c392] [c390] [c389] [c388] [i12] [j168] [j166] [j165] [c387] [c385] [c384] [c383] [c382] [c381] [c380] [c379] [c377] [c375] [c374] [c372] [c369] [i11] [i10] [j160] [c368] [c367] [c365] [c364] [c362] [c359] [c358] [c356] [c351] [c349] [i7] [j156] [j152] [c348] [c347] [c342] [c340] [c339] [c338] [c336] [c335] [c334] [c332] [c331] [c329] [i5] [c325] [c320] [c316] [c313] [c312] [c307] [c305] [c304] [c303] [i4]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:20 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
