Technical Reports

Giovanni De Micheli


2024

  1. M. Yu and G. De Micheli, Expediting Homomorphic Computation via Multiplicative Complexity-aware Multiplicative Depth Minimization URL: https://eprint.iacr.org/2024/1015

2022

  1. M. Soeken, H. Riener, W. Haaswijk, E. Testa, B. Schmitt, G. Meuli, F. Mozafari, S.-Y. Lee, A. Tempia Calvino, D. Marakkalage, and G. De Micheli, The EPFL Logic Synthesis library , Arxiv https://arxiv.org/abs/1805.05121

1998

  1. G. De Micheli, Internet: Services and Opportunities in the 21st Century, Memento technique No. 11, Conseil Scientifique, France Telecom, pp. 23-30,1998

1997

  1. V. Mooney and G. De Micheli, Hardware/Software Co-design of Run-time Schedulers for Real-Time Systems, CSL Report, TR-97-739, Stanford, 1997
  2. V. Bertacco, S. Minato, P. Verplaetse, L. Benini and G. De Micheli, Decision Diagrams and Pass Transistor Logic Synthesis, CSL Report , TR-97-748, Stanford, 1997

1996

  1. A. Bogliolo, L. Benini, G. De Micheli and B. Ricco, PPP: A Gate-Level Power Simulator - A World Wide Web Application, CSL Report, TR-96-691, Stanford, 1996

1995

  1. G. De Micheli, R. Otten and T. Vierhaus, Workshop on High-Level Synthesis Algorithms, Tools and Design, GMD Studien Nr. 276, December 1995.

1992

  1. R. Gupta and G. De Micheli, System Synthesis via Hardware-Software Co-design, CSL Report, TR-92-548, Stanford, 1992

1991

  1. J. Yang and G. De Micheli, Spectral Techniques for Technology Mapping, CSL Report, TR-91-498, Stanford, 1991
  2. R. Schutten, D. Ku and G. De Micheli, ODE: A Design Environment for High-Level Synthesis, Philips Research Palo Alto Report, PRPA 9102, 1991
  3. M. Ligthart and G. De Micheli, Automatic Test pattern Generation for Logic Synthesis Systems, Philips Research Palo Alto Report, PRPA 9101, 1991
  4. R. Gupta and G. De Micheli, Vulcan: a System for High-Level Partitioning of Synchronous Digital Circuits, CSL Report, TR-91-471, Stanford, 1991
  5. M. Flynn,G. De Micheli,R. Dutton,R.F. Pease and B. Wooley, Subnanosecond Arithmetic, Second Report, CSL report, TR-91-481, Stanford, 1991

1990

  1. D. Ku and G. De Micheli, Hardware C: A Language for Hardware Description (Version 2.0), CSL Report, TR-90-419, Stanford, 1990

1988

  1. D. Ku and G. De Micheli, Hardware C: A Language for Hardware Description, CSL Report, TR-88-362, Stanford, 1988

1986

  1. G. De Micheli, Synthesis of Control Systems, RC 12062, IBM T.J. Watson Research Center, Yorktown Heights, NY, 1986

1984

  1. R. Brayton and G. De Micheli, Optimal State Assignments for Finite State Machines, RC 10599, IBM T.J. Watson Research Center, Yorktown Heights, NY, 1984

1983

  1. G. De Micheli, Computer Aided Synthesis of PLA-based Systems, Ph. D. Dissertation, University of California, Berkeley, 1983, and UCB/ERL Memo No. M84/31

1978

  1. G. De Micheli, A SATAN Controlled High Voltage Distributor, Report NA4/37, CERN-European Center for Nuclear Research, Geneva (CH), November 1978