Sotabase

Career

· Member Of The Board Of Directors And Of Strategy Committee, cadence1991–
· Co-founder, Cadence Design Systems1982–
· Professor And The Edgar L. And Harold H. Buttner Chair, UC Berkeley1976–
· Associate Professor, Politecnico di Milano1974–1977
· Dr. of Engineering, Politecnico di Milano1966–1971

Publications (1110)

SIS : A System for Sequential Circuit Synthesis
1992
2,014
cited
MIS: A Multiple-Level Logic Optimization System
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 1987
1,117
cited
The Waveform Relaxation Method for Time-Domain Analysis of Large Scale Integrated Circuits
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 1982
841
cited
Logic Minimization Algorithms for VLSI Synthesis
The Kluwer International Series in Engineering and Computer Science · 1984
837
cited
A framework for comparing models of computation
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. · 1998
785
cited
Modeling Cyber–Physical Systems
Proceedings of the IEEE · 2012
756
cited
Hardware-Software Co-Design of Embedded Systems
1997
733
cited
VIS: A System for Verification and Synthesis
International Conference on Computer Aided Verification · 1996
692
cited
Metropolis: An Integrated Electronic System Design Environment
Computer · 2003
595
cited
Design of embedded systems: formal models, validation, and synthesis
Proceedings of the IEEE · 1997
583
cited
Sequential circuit design using synthesis and optimization
Proceedings 1992 IEEE International Conference on Computer Design: VLSI in Computers & Processors · 1992
563
cited
Convergence and finite-time behavior of simulated annealing
IEEE Conference on Decision and Control · 1985
542
cited
Logic verification using binary decision diagrams in a logic synthesis environment
[1988] IEEE International Conference on Computer-Aided Design (ICCAD-89) Digest of Technical Papers · 1988
528
cited
Steady-state methods for simulating analog and microwave circuits
The Kluwer International Series in Engineering and Computer Science · 1990
520
cited
Platform-Based Design and Software Design Methodology for Embedded Systems
IEEE Design & Test of Computers · 2001
466
cited
Multiple-Valued Minimization for PLA Optimization
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 1987
460
cited
Domain Randomization and Pyramid Consistency: Simulation-to-Real Generalization Without Accessing Target Domain Data
IEEE International Conference on Computer Vision · 2019
448
cited
Theory of latency-insensitive design
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. · 2001
443
cited
Implicit state enumeration of finite state machines using BDD's
1990 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers · 1990
438
cited
Multilevel logic synthesis
Proceedings of the IEEE · 1990
428
cited
Sotabase
Alberto Sangiovanni-Vincentelli | Researcher Profile | Sotabase | Sotabase