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
MulCh: a multi-layer channel router using one, two, and three layer partitions
TL;DR: MulCh is a multilayer channel router that can route channels with any number of layers and automatically chooses a good assignment of wiring strategies to the different layers.
Proceedings ArticleDOI
Library-based scalable refinement checking for contract-based design
TL;DR: This paper proposes a scalable refinement checking approach that relies on a library of contracts and local refinement assertions that breaks down the refinement checking problem into multiple successive refinement checks, each of smaller scale.
Journal ArticleDOI
Diagnosability of nonlinear circuits and systems-Part II: Dynamical systems
TL;DR: A theory for the diagnosability of nonlinear dynamical systems, similar to the one in Part I for memoryless systems, is developed based on an input-output model of the system in a Hilbert space setting and it is shown that, for locally diagnosable systems, there exist a finite number of test inputs that are sufficient to diagnose the system.
Book
Hybrid systems : computation and control : 4th International Workshop, HSCC 2001, Rome, Italy, March 28-30, 2001 : proceedings
TL;DR: Control as an Embedded Technology, Optimisation of Hybrid Processes and Hybrid Controllers, and Diagnosis of Physical Systems with Hybrid Models Using Parametrized Causality are reviewed.
Journal ArticleDOI
Automated design management using traces
TL;DR: An automatic management system for CAD based on the idea that CAD tools can leave a trace of their execution is proposed, which is both a record of the design activity and a graph representing the dependencies among the design objects.