Technical Reports
Giovanni De Micheli
2024
- M. Yu and G. De Micheli, Expediting Homomorphic Computation via Multiplicative Complexity-aware Multiplicative Depth Minimization
URL: https://eprint.iacr.org/2024/1015
2022
- 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
- G. De Micheli, Internet:
Services and Opportunities in the 21st Century, Memento technique
No. 11, Conseil Scientifique, France Telecom, pp. 23-30,1998
1997
- 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
- 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
- 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
- G. De Micheli, R. Otten and T. Vierhaus, Workshop on High-Level Synthesis
Algorithms, Tools and Design, GMD Studien Nr. 276, December 1995.
1992
- R. Gupta and G. De Micheli, System
Synthesis via Hardware-Software Co-design, CSL Report, TR-92-548,
Stanford, 1992
1991
- J. Yang and G. De Micheli, Spectral
Techniques for Technology Mapping, CSL Report, TR-91-498, Stanford,
1991
- R. Schutten, D. Ku and G. De Micheli, ODE: A Design Environment for
High-Level Synthesis, Philips Research Palo Alto Report, PRPA 9102, 1991
- M. Ligthart and G. De Micheli,
Automatic Test pattern Generation for Logic Synthesis Systems,
Philips Research Palo Alto Report, PRPA 9101, 1991
- R. Gupta and G. De Micheli, Vulcan:
a System for High-Level Partitioning of Synchronous Digital Circuits,
CSL Report, TR-91-471, Stanford, 1991
- 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
- D. Ku and G. De Micheli, Hardware
C: A Language for Hardware Description (Version 2.0), CSL Report, TR-90-419, Stanford,
1990
1988
- D. Ku and G. De Micheli, Hardware
C: A Language for Hardware Description, CSL Report, TR-88-362, Stanford,
1988
1986
- G. De Micheli, Synthesis
of Control Systems, RC 12062, IBM T.J. Watson Research Center, Yorktown
Heights, NY, 1986
1984
- 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
- 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
- G. De Micheli, A
SATAN Controlled High Voltage Distributor, Report NA4/37, CERN-European
Center for Nuclear Research, Geneva (CH), November 1978