Alberto Sangiovanni‐Vincentelli

MIS: A Multiple-Level Logic Optimization System

Robert K. Brayton, Richard Rudell, Alberto Sangiovanni‐Vincentelli et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 1987 · 1.2K citations

Engineering, Computer Engineering, Computer Science +16

System-level design: orthogonalization of concerns and platform-based design

Kurt Keutzer, A. Richard Newton, Jan M. Rabaey et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2000 · 966 citations

Engineering, Computer Engineering, Computer Science +17

The Waveform Relaxation Method for Time-Domain Analysis of Large Scale Integrated Circuits

E. Lelarasmee, A.E. Ruehli, Alberto Sangiovanni‐Vincentelli · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 1982 · 818 citations

Engineering, Computer Engineering, Electrical Engineering +13

A framework for comparing models of computation

Edward A. Lee, Alberto Sangiovanni‐Vincentelli · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 1998 · 689 citations

Computing, Computer Science, Computer Systems +16

Sequential circuit design using synthesis and optimization

Ellen Sentovich, K.J. Singh, Cho W. Moon et al. · 2003 · 615 citations

Engineering, Computer Engineering, Computer Science +17