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
CalCS: SMT solving for non-linear convex constraints
TL;DR: This paper presents a new technique for satisfiability solving of Boolean combinations of non-linear constraints that are convex, and applies fundamental results from the theory of convex programming to realize a satisfiability modulo theory (SMT) solver.
Platform-Based Design for Embedded Systems.
TL;DR: This work argues for the importance of structuring precisely the platform layers and discusses how to define formally the transitions from one platform to the next, and emphasizes the interplay of top-down constraint propagation and bottomup performance estimation in the design process.
Book ChapterDOI
Latency Insensitive Protocols
TL;DR: A latency-insensitive protocol is presented that makes use of relay stations buffering signals propagating along long wires to guarantee that latency insensitive designs composed of functionally correct modules, behave correctly independently of the wire delays.
Formal analysis of synchronous circuits
TL;DR: This dissertation addresses the the state reachability problem in FSMs, which is the problem of determining if one set of states can reach another, and an algorithm to approximate a Boolean function by another function having a smaller BDD.
Journal ArticleDOI
Relaxation-Based Electrical Simulation
TL;DR: The techniques used in relaxation-based electrical simulation are presented in a rigorous and unified framework, and the numerical properties of the various methods are explored.