A
Alberto Sangiovanni-Vincentelli
Researcher at University of California, Berkeley
Publications - 946
Citations - 47259
Alberto Sangiovanni-Vincentelli is an academic researcher from University of California, Berkeley. The author has contributed to research in topics: Logic synthesis & Finite-state machine. The author has an hindex of 99, co-authored 934 publications receiving 45201 citations. Previous affiliations of Alberto Sangiovanni-Vincentelli include National University of Singapore & Lawrence Berkeley National Laboratory.
Papers
More filters
Proceedings ArticleDOI
Counterexample-Guided Data Augmentation.
Tommaso Dreossi,Shromona Ghosh,Xiangyu Yue,Kurt Keutzer,Alberto Sangiovanni-Vincentelli,Sanjit A. Seshia +5 more
TL;DR: In this article, Dreossi, Tommaso; Ghosh, Shromona; Yue, Xiangyu; Keutzer, Kurt; Sangiovanni-Vincentelli, Alberto L; Seshia, Sanjit A.
Proceedings ArticleDOI
Optimum Functional Decomposition Using Encoding
TL;DR: This paper compares the original implementation of functional decomposition with the new version that uses encoding while doing decomposition, and obtains an average improvement of over 20% on a set of standard benchmarks for look-up table architectures.
Journal ArticleDOI
An overview of embedded system design education at berkeley
TL;DR: The considerations that are driving the curriculum development and the search for fundamentals of embedded system science rather than embedded system design techniques, an approach that today is rather unique.
Proceedings ArticleDOI
Multi-Level Logic Simplification Using Don't Cares and Filters
TL;DR: Algorithms to reduce the size of the don't care sets, so that only the portions that will be useful in minimization at each component of the circuit are retained are retained.
Book ChapterDOI
Industrial Cyber-Physical Systems – iCyPhy
Amit Fisher,Clas A. Jacobson,Edward A. Lee,Richard M. Murray,Alberto Sangiovanni-Vincentelli,Eelco Scholte +5 more
TL;DR: The approach leverages considerable experience designing complex artifacts in the semiconductor, embedded systems, and software industries, and major recent advances in algorithmic techniques to handle the fundamentally different challenges in largescale cyber-physical systems.