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
An envelope-following method for the efficient transient simulation of switching power and filter circuits
TL;DR: In this paper, the envelope of the high-frequency clock can be followed by accurately computing the circuit behavior over occasional cycles, and the implementation of an envelope-following method that is particularly efficient for switching power and filter circuits is presented.
Proceedings ArticleDOI
Linear temporal logic motion planning for teams of underactuated robots using satisfiability modulo convex programming
Yasser Shoukry,Pierluigi Nuzzo,Ayca Balkan,Indranil Saha,Alberto Sangiovanni-Vincentelli,Sanjit A. Seshia,George J. Pappas,Paulo Tabuada +7 more
TL;DR: An efficient algorithm for multi-robot motion planning from linear temporal logic (LTL) specifications is presented that is more than one order of magnitude faster than state-of-the-art sampling-based techniques for high-dimensional state spaces while supporting complex missions.
Journal ArticleDOI
Hybrid control in automotive applications: the cut-off control
TL;DR: A hybrid model which describes the torque generation mechanism and the powertrain dynamics is developed and the cut-off control problem is formulated as a hybrid optimal control problem, whose solution is obtained by relaxing it to the continuous domain and mapping its solution back into the hybrid domain.
Proceedings ArticleDOI
Two-Dimensional Compaction by 'Zone Refining'
TL;DR: A new technique for 2-dimensional layout compaction of integrated circuits is presented, where both coordinates of the moved components are altered and jogs are introduced in the connecting wires between them to produce the needed flexibility for placing components into optimal positions.
Proceedings ArticleDOI
Measurement and modeling of MOS transistor current mismatch in analog IC's
TL;DR: The new methodology is based on extracting the mismatch information from a fully functional circuit rather than on probing individual devices; this extraction leads to more efficient and more accurate mismatch measurement.