K
v
ire
.com
←
Back
Night
Docs
Library
Review
…
Author
Alberto Sangiovanni‐Vincentelli
also known as A L Sangiovanni-Vincentelli, A Sangiovanni Vincentelli, A Sangiovanni-Vincentelli
Berkeley College · University of California, Berkeley · University of Pisa · University of Verona
About this author
Works
1,381
Cited by
50,721
h-index
101
i10
688
ORCID ↗
Top papers
Logic Minimization Algorithms for VLSI Synthesis
Robert K. Brayton, Gary D. Hachtel, Curtis T. McMullen, et al.
·
1984
·
Kluwer international series in engineering and computer science
↗ 1,968
MIS: A Multiple-Level Logic Optimization System
Robert K. Brayton, Richard Rudell, Alberto Sangiovanni‐Vincentelli, et al.
·
1987
·
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
↗ 1,161
System-level design: orthogonalization of concerns and platform-based design
Kurt Keutzer, A. Richard Newton, Jan M. Rabaey, et al.
·
2000
·
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
↗ 965
The Waveform Relaxation Method for Time-Domain Analysis of Large Scale Integrated Circuits
E. Lelarasmee, A.E. Ruehli, Alberto Sangiovanni‐Vincentelli
·
1982
·
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
↗ 816
A framework for comparing models of computation
Edward A. Lee, Alberto Sangiovanni‐Vincentelli
·
1998
·
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
↗ 688
Sequential circuit design using synthesis and optimization
Ellen Sentovich, K.J. Singh, Cho W. Moon, et al.
·
2003
↗ 614
Hardware-Software Co-Design of Embedded Systems
Felice Balarin, Massimiliano Chiodo, Paolo Giusto, et al.
·
1997
↗ 608
VIS: A system for verification and synthesis
Robert K. Brayton, Gary D. Hachtel, Alberto Sangiovanni‐Vincentelli, et al.
·
1996
·
Lecture notes in computer science
↗ 607
Steady-State Methods for Simulating Analog and Microwave Circuits
K. Kundert, Jacob K. White, Alberto Sangiovanni‐Vincentelli
·
1990
↗ 596
Hardware-software co-design of embedded systems: the POLIS approach
Felice Balarin, Massimiliano Chiodo, Paolo Giusto, et al.
·
1997
↗ 550
The TimberWolf placement and routing package
Carl Sechen, Alberto Sangiovanni‐Vincentelli
·
1985
·
IEEE Journal of Solid-State Circuits
↗ 533
Design of embedded systems: formal models, validation, and synthesis
Stephen A. Edwards, Luciano Lavagno, Edward A. Lee, et al.
·
1997
·
Proceedings of the IEEE
↗ 525