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
Synthesis of embedded software using free-choice Petri netsProceedings 1999 Design Automation Conference (Cat. No. 99CH36361)
TL;DR: A Quasi-Static Scheduling (QSS) algorithm that generates a schedule in which run-time decisions are made only for data-dependent control structures, and it is shown how to synthesize from a quasi-static schedule a C code implementation that consists of a set of concurrent tasks.
Proceedings ArticleDOI
A methodology for system-level analog design space exploration
TL;DR: A new abstraction level - the platform - is introduced to separate circuit design from design space exploration and an analog platform encapsulates analog components concurrently modeling their behavior and their achievable performances.
Journal ArticleDOI
Electrical Architecture Optimization and Selection - Cost Minimization via Wire Routing and Wire Sizing
Proceedings ArticleDOI
Quotient for assume-guarantee contracts
TL;DR: The quotient set and its related operation can be used in any compositional methodology where design requirements are mapped into a set of components in a library for the so called missing component problem.