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
Chain Closure: A Problem in Molecular CAD
TL;DR: An efficient algorithm based on a purely geometric approach that generates feasible configurations very efficiently is presented thus making full conformational analysis possible even for fairly large cyclic structures.
Proceedings ArticleDOI
Efficient distribution of Triggered Synchronous Block Diagrams on asynchronous platforms
TL;DR: This paper proposes an approach for efficient distribution of Triggered Synchronous Block Diagrams (SBDs) on asynchronous platforms while preserving the correct semantics and aims to reduce the unnecessary communication overhead and thus improve the efficiency of the implementation.
Book ChapterDOI
The Espresso-II Minimization Loop and Algorithms
TL;DR: ESPRESSO-II receives as its inputs J and D, cube covers of the on-set and the don’t-care set of an incompletely specified Boolean function ff and returns as its output a “minimized” cover.
Journal Article
Hard real-time development environments
Jcm Jos Baeten,P Baufreton,Albert Benveniste,S. Boutin,B. Bouyssounouse,D Brière,Paul Caspi,Werner Damm,E. Fuchs,V Gafni,Thierry Gautier,D Goshen,G. Gruensteidl,Nicolas Halbwachs,Hermann Kopetz,Kim Guldstrand Larsen,H Le Berre,R Leupers,Brian Nielsen,E-R Olderog,Yiannis Papadopoulos,P Peti,M. Pisecky,Peter Puschner,J. Rennhack,Alberto Sangiovanni-Vincentelli,C. Scheidler,Arne Skou,Yves Sorel,U. Virnich,B Vogel-Heuser,Reinhard Wilhelm,Tim A. C. Willemse +32 more