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
A module generator for high speed CMOS current output digital/analog converters
TL;DR: A module generator for Digital/Analog Converter (DAC) circuits is presented, using a combination of circuit simulation and DAC design equations to estimate performance and a new constrained optimization method is used to determine design variable values.
Proceedings of the Second International Workshop on the Swarm at the Edge of the Cloud
TL;DR: The second workshop of the International Workshop on the Swarm at the Edge of the Cloud as mentioned in this paper was held in 2016, with the goal of providing the highest-profile academic and industrial research forum to develop and promote the swarm community.
Proceedings ArticleDOI
A case study of hybrid controller synthesis of a heating system
TL;DR: A systematic procedure to find all winning strategies in the case of safety properties, and how to compute the set of winning configurations is detailed, using a combination of case analysis in the discrete domain and solving min-max problems in the continuous domain.
Proceedings ArticleDOI
Resynthesis of Multi-Phase Pipelines
TL;DR: An algorithm for deriving necessary and sufficient constraints for a multi-phase sequential pipeline to operate at a target clock cycle is described, which permits safe cycle stealing through level-sensitive latches across pipeline stages.
Proceedings ArticleDOI
Communication by sampling in time-sensitive distributed systems
Albert Benveniste,Benoît Caillaud,Luca P. Carloni,Paul Caspi,Alberto Sangiovanni-Vincentelli,Stavros Tripakis +5 more
TL;DR: This work studies how to maintain data semantics when the duration of the actions change from specification to implementation, and relies on tag systems formerly introduced by the authors.