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
Proximity templates for modeling of skin and proximity effects on packages and high frequency interconnect
TL;DR: This paper describes a procedure to generate numerically a set of basis functions which efficiently represent conductor current variation, and thus improving solver efficiency, based on solving a sequence of template problems.
Proceedings ArticleDOI
Turning coders into makers: the promise of embedded design generation
Rohit Ramesh,Richard Lin,Antonio Iannopollo,Alberto Sangiovanni-Vincentelli,Björn Hartmann,Prabal Dutta +5 more
TL;DR: This paper presents a novel methodology for embedded design generation that allows the generation of complete designs from high-level specifications and presents an implementation capable of synthesizing a variety of examples to show that the approach is viable.
Proceedings ArticleDOI
SMT-based observer design for cyber-physical systems under sensor attacks
Yasser Shoukry,Michelle S. Chong,Masashi Wakaiki,Pierluigi Nuzzo,Alberto Sangiovanni-Vincentelli,Sanjit A. Seshia,Joao P. Hespanha,Paulo Tabuada +7 more
TL;DR: A novel multi-modal Luenberger (MML) observer based on efficient Satisfiability Modulo Theory (SMT) solving is proposed and an efficient SMT-based decision procedure is developed able to reason about the estimates of the MML observer to detect at runtime which sets of sensors are attack-free, and use them to obtain a correct state estimate.
Journal ArticleDOI
Techniques for multilayer channel routing
Douglas Braun,J.L. Burns,Fabio Romeo,Alberto Sangiovanni-Vincentelli,K. Mayaram,Srinivas Devadas,H.-K.T. Ma +6 more
TL;DR: The techniques described have been implemented in a multilayer channel router called Chameleon, which has produced optimal results on a wide range of industrial and academic examples for a variety of layer and pitch combinations, and can handle a range of technology constraints.
Proceedings Article
Learning Complex Boolean Functions: Algorithms and Applications
TL;DR: Two algorithms that generate Boolean networks from examples are presented and the results show that these algorithms generalize very well in a class of problems that accept compact Boolean network descriptions.