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 Design Flow for Building Automation and Control Systems
TL;DR: A system-level design flow for building automation and control (BAC) systems where the input to the design flow is a high level description of the control algorithms given in a model-based environment such as Simulink.
Proceedings ArticleDOI
Logical reliability of interacting real-time tasks
Krishnendu Chatterjee,Arkadeb Ghosal,Thomas A. Henzinger,Daniel Iercan,Christoph M. Kirsch,C. Pinello,Alberto Sangiovanni-Vincentelli +6 more
TL;DR: A reliability analysis that checks if the given short-term reliability of a program variable update in an implementation is sufficient to meet the logical reliability requirement in the long run and a notion of design by refinement where a task can be refined by another task that writes to program variables with less logical reliability.
Proceedings ArticleDOI
An efficient methodology for symbolic compaction of analog IC's with multiple symmetry constraints
TL;DR: An efficient approach to the symbolic compaction of analog integrated circuits is presented, which allows the use of the compactor for very complex analog circuits with multiple symmetrics and other performance constraints.
Journal ArticleDOI
Embedded system education: a new paradigm for engineering schools?
TL;DR: A new education paradigm is needed for embedded systems education, using the example of an emerging curriculum on embedded systems at the University of California at Berkeley as an example.