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
Guest Editorial Special Issue on Circuits and Systems for the Internet of Things—From Sensing to Sensemaking
TL;DR: The Internet of Things promises to be the next big wave that will further raise the technological and economic impact of the semiconductor industry and reach an unprecedented scale of trillions of connected devices.
Book ChapterDOI
Time-Series Learning Using Monotonic Logical Properties
Marcell Vazquez-Chanlatte,Shromona Ghosh,Jyotirmoy V. Deshmukh,Alberto Sangiovanni-Vincentelli,Sanjit A. Seshia +4 more
TL;DR: In this paper, the authors propose a logic-based framework that allows domain-specific knowledge to be embedded into formulas in a parametric logical specification over time-series data, and then map a time series to a surface in the parameter space of the formula.
Proceedings ArticleDOI
Designing digital video systems: modeling and scheduling
H. J. H. N. Kenter,Claudio Passerone,W. J. M. Smits,Yosinori Watanabe,Alberto Sangiovanni-Vincentelli +4 more
TL;DR: An advanced Digital Video Broadcasting system is used as a design driver for an IF-based real-time design methodology explored in the ESPRIT/OMI COSY project and a software generation technique is focused on which aims to reduce run-time overhead for functions executed on a single CPU, by generating a minimal number of run- time tasks.
Proceedings ArticleDOI
Task scheduling with RT constraints
TL;DR: The iterative solution targets fixed p riority systems and offers a priority assignment scheme together with a sufficiently tight worst-case analysis to justify a rethinking of the techniques used to solve the problem.
Design Automation of Electronic Systems: Past Accomplishments and Challenges Ahead
TL;DR: In this paper, the authors provide an overview of and a perspective on the evolution of electronic design automation (EDA), and offer a perspective of some of the principal avenues of future development.