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
Journal ArticleDOI
Separate compilation of hierarchical real-time programs into linear-bounded Embedded Machine code
Arkadeb Ghosal,Daniel Iercan,Christoph M. Kirsch,Thomas A. Henzinger,Alberto Sangiovanni-Vincentelli +4 more
TL;DR: This paper proposes a generalization of the E machine, which supports a hierarchical program structure at runtime through real-time trigger mechanisms that are arranged in a tree, and a modular compiler for HTL that generates code of linear size.
Proceedings ArticleDOI
Negative thinking by incremental problem solving: application to unate covering
Evguenii I. Goldberg,Luca P. Carloni,Tiziano Villa,Robert K. Brayton,Alberto Sangiovanni-Vincentelli +4 more
TL;DR: A new technique to solve exactly a discrete optimization problem, based on the paradigm of "negative" thinking, which outperforms both espresso and the enhancement of espresso using Coudert's limit lower bound.
Book ChapterDOI
Inferring reduced ordered decision graphs of minimum description length
TL;DR: An heuristic algorithm is proposed that induces decision graphs from training sets using Rissanen's minimum description length principle to control the tradeoff between accuracy in the training set and complexity of the hypothesis description.
Journal ArticleDOI
Characterization of integration algorithms for the timing analysis of mos vlsi circuits
TL;DR: Displacement techniques used for the timing analysis of VLSI circuits are presented under a new perspective and their numerical properties such as stability, accuracy, consistency and convergence are investigated.