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
Journal ArticleDOI
Design aids for VLSI: The Berkeley perspective
TL;DR: This paper describes the ongoing research in the area of layout design and verification, simulation, synthesis, and optimization for VLSI design.
Proceedings ArticleDOI
Simulation and modeling of phase noise in open-loop oscillators
TL;DR: In this article, the authors present a discussion about the definition of phase noise for general oscillation waveforms; a numerical method for transistor-level simulation and characterization of phase noises in open-loop (free running) oscillators; application of the phase noise simulation method to harmonic, relaxation and ring oscillators and a technical discussion of the characterization results.
Proceedings ArticleDOI
CHASE: Contract-based requirement engineering for cyber-physical system design
TL;DR: CHASE is presented, a framework for requirement capture, formalization, and validation for cyber-physical systems that combines a practical front-end formal specification language based on patterns with a rigorous verification back-end based on assume-guarantee contracts.
Proceedings ArticleDOI
Concurrent execution semantics and sequential simulation algorithms for the Metropolis meta-model
Felice Balarin,Luciano Lavagno,Claudio Passerone,Alberto Sangiovanni-Vincentelli,Yosinori Watanabe,Guang Yang +5 more
TL;DR: The simulation techniques presented are platform-independent in that simulation using different languages, such as SystemC 2.0, Java, and C++ with a thread library, are possible, important for co-simulation between designs captured in Metropolis and those that have been already designed in other languages.