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
Efficient synthesis of networks on chip
TL;DR: An analytical model is provided that justifies the choice of the clustering cost function and a set of experiments are discussed showing the effectiveness of the overall approach with respect to the exact algorithm.
Proceedings ArticleDOI
On thermal effects in deep sub-micron VLSI interconnects
TL;DR: This paper presents a comprehensive analysis of the thermal effects in advanced high performance interconnect systems arising due to self-heating under various circuit conditions, including electrostatic discharge.
Posted Content
Secure State Estimation For Cyber Physical Systems Under Sensor Attacks: A Satisfiability Modulo Theory Approach
Yasser Shoukry,Pierluigi Nuzzo,Alberto Puggelli,Alberto Sangiovanni-Vincentelli,Sanjit A. Seshia,Paulo Tabuada +5 more
TL;DR: A novel algorithm is presented that uses a satisfiability modulo theory approach to harness the complexity of secure state estimation and leverages results from formal methods over real numbers to provide guarantees on the soundness and completeness of the algorithm.
Journal ArticleDOI
A multilevel Newton algorithm with macromodeling and latency for the analysis of large-scale nonlinear circuits in the time domain
TL;DR: In this paper, a multilevel Newton algorithm based on macromodels is presented, which has local quadratic convergence provided that suitable conditions on the continuity and nonsingularity of the Jacobian of the network equations are satisfied.
Journal ArticleDOI
A Platform-Based Design Methodology With Contracts and Related Tools for the Design of Cyber-Physical Systems
TL;DR: A platform-based design methodology that uses contracts to specify and abstract the components of a cyber-physical system (CPS), and provide formal support to the entire CPS design flow is introduced.