Alberto Sangiovanni Vincentelli

Cytowane przez

	Wszystkie	Od 2019
Cytowania	77408	12361
h-indeks	129	50
i10-indeks	759	230

3000

1500

750

2250

1985198619871988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024211 245 440 712 843 1041 1435 1394 1765 1718 1903 1759 1747 1751 1911 1943 1856 1887 2448 2542 2519 2595 2914 2620 2522 2382 2377 2332 2262 2346 2260 2036 2068 2407 2068 1895 2095 2182 2211 1883

Dostęp publiczny

Wyświetl wszystko

70 artykułów

9 artykułów

dostępne

niedostępne

Objęte finansowaniem

Współautorzy

Luciano LavagnoPolitecnico di TorinoZweryfikowany adres z polito.it
Tiziano VillaProfessore d'informatica, Universita' di VeronaZweryfikowany adres z univr.it
Sanjit A. SeshiaProfessor of EECS, University of California, BerkeleyZweryfikowany adres z eecs.berkeley.edu
Luca CarloniProfessor and Chair of Computer Science, Columbia UniversityZweryfikowany adres z cs.columbia.edu
Roberto PasseroneProfessor of Electrical Engineering and Computer Sciences, University of TrentoZweryfikowany adres z unitn.it
Pierluigi NuzzoEECS Department, University of California, BerkeleyZweryfikowany adres z eecs.berkeley.edu
Marco Di NataleFull Professor, TECIP Institute, Scuola Superiore S. AnnaZweryfikowany adres z sssup.it
Maria Domenica Di BenedettoProfessor, University of L'Aquila, ItalyZweryfikowany adres z univaq.it
Edward A. LEEProfessor of Electrical Engineering and Computer Sciences, University of California at BerkeleyZweryfikowany adres z berkeley.edu
Jan RabaeyProfessor of EECS, University of California at BerkeleyZweryfikowany adres z berkeley.edu
Edoardo CharbonProfessor of Advanced Quantum Architectures, EPFLZweryfikowany adres z epfl.ch
Luca BenvenutiSapienza Università di RomaZweryfikowany adres z uniroma1.it
Sunil KhatriTexas A&M UniversityZweryfikowany adres z tamu.edu
Qi ZhuProfessor of Computer EngineeringZweryfikowany adres z northwestern.edu
Mehdi MaasoumyPhD, University of California, BerkeleyZweryfikowany adres z berkeley.edu
Alessandro PintoNASA Jet Propulsion LaboratoryZweryfikowany adres z jpl.nasa.gov
Haibo ZengElectrical & Computer Engineering, Virginia TechZweryfikowany adres z vt.edu
Abhijit DavareResearch Scientist, IntelZweryfikowany adres z intel.com
Carlo FischioneProfessor, KTH, EECS, Network and Systems EngineeringZweryfikowany adres z kth.se
Timothy Yee-Kwong KamIntelZweryfikowany adres z intel.com

Obserwuj

Alberto Sangiovanni Vincentelli

Professor of EECS, University of California, Berkeley

Zweryfikowany adres z eecs.berkeley.edu - Strona główna

System design embedded systems design automation verification synthesis


Tytuł Sortuj wg cytatów Sortuj wg roku Sortuj wg tytułu	Cytowane przez Cytowane przez	Rok
Logic minimization algorithms for VLSI synthesis RK Brayton Springer, 1984	2727	1984
SIS: A system for sequential circuit synthesis ME Sentovich Memorandom no. UCB/ERL M92/41, 1992	2496	1992
MIS: A multiple-level logic optimization system RK Brayton, R Rudell, A Sangiovanni-Vincentelli, AR Wang IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 1987	1655	1987
System-level design: Orthogonalization of concerns and platform-based design K Keutzer, AR Newton, JM Rabaey, A Sangiovanni-Vincentelli IEEE transactions on computer-aided design of integrated circuits and …, 2000	1362	2000
Hardware-software co-design of embedded systems: the POLIS approach F Balarin, P Giusto, A Jurecska, C Passerone, E Sentovich, B Tabbara, ... Springer Science & Business Media, 2012	1146	2012
The waveform relaxation method for time-domain analysis of large scale integrated circuits E Lelarasmee, AE Ruehli, AL Sangiovanni-Vincentelli IEEE transactions on computer-aided design of integrated circuits and …, 1982	1098	1982
Modeling cyber–physical systems P Derler, EA Lee, AS Vincentelli Proceedings of the IEEE 100 (1), 13-28, 2011	1056	2011
VIS: A system for verification and synthesis RK Brayton, GD Hachtel, A Sangiovanni-Vincentelli, F Somenzi, A Aziz, ... Computer Aided Verification: 8th International Conference, CAV'96 New …, 1996	977	1996
A framework for comparing models of computation EA Lee, A Sangiovanni-Vincentelli IEEE Transactions on computer-aided design of integrated circuits and …, 1998	925	1998
Design of embedded systems: Formal models, validation, and synthesis S Edwards, L Lavagno, EA Lee, A Sangiovanni-Vincentelli Proceedings of the IEEE 85 (3), 366-390, 1997	822	1997
The TimberWolf placement and routing package C Sechen, A Sangiovanni-Vincentelli IEEE Journal of Solid-State Circuits 20 (2), 510-522, 1985	765	1985
Logic verification using binary decision diagrams in a logic synthesis environment S Malik, AR Wang, RK Brayton, A Sangiovanni-Vincentelli 1988 IEEE International Conference on Computer-Aided Design, 6, 7, 8, 9-6, 7 …, 1988	752	1988
Sequential circuit design using synthesis and optimization EM Sentovich, KJ Singh, C Moon, H Savoj, RK Brayton, ... Proceedings 1992 IEEE International Conference on Computer Design: VLSI in …, 1992	716	1992
Steady-state methods for simulating analog and microwave circuits KS Kundert, JK White, AL Sangiovanni-Vincentelli Springer Science & Business Media, 2013	710	2013
Convergence and finite-time behavior of simulated annealing D Mitra, F Romeo, A Sangiovanni-Vincentelli Advances in applied probability 18 (3), 747-771, 1986	708	1986
Metropolis: An integrated electronic system design environment F Balarin, Y Watanabe, H Hsieh, L Lavagno, C Passerone, ... Computer 36 (4), 45-52, 2003	674	2003
Platform-based design and software design methodology for embedded systems A Sangiovanni-Vincentelli, G Martin IEEE Design & Test of Computers 18 (6), 23-33, 2001	644	2001
Multilevel logic synthesis RK Brayton, GD Hachtel, AL Sangiovanni-Vincentelli Proceedings of the IEEE 78 (2), 264-300, 1990	636	1990
Implicit state enumeration of finite state machines using BDD's J Herve, S Hamid, L Bill, KB Robert, SV Alberto in Computer-Aided Design, 1990. ICCAD-90. Digest of Technical Papers., 1990 …, 1990	601	1990
Multiple-valued minimization for PLA optimization RL Rudell, A Sangiovanni-Vincentelli IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 1987	595	1987

Nie można teraz wykonać tej operacji. Spróbuj ponownie później.

Prace 1–20

Cytowania rocznie

Powielone cytowania

Scalone cytowania

Dodaj współautorówWspółautorzy

Obserwuj

Cytowane przez

Współautorzy