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
ReportDOI
Addressing Modeling Challenges in Cyber-Physical Systems
TL;DR: Specific technologies described include hybrid system modeling and simulation, concurrent and heterogeneous models of computation, the use of domain-specific ontologies to enhance modularity, and the joint modeling of functionality and implementation architectures.
Proceedings ArticleDOI
Dynamic variable reordering for BDD minimization
TL;DR: An efficient heuristic algorithm for dynamically reducing the size of large reduced ordered BDDs by optimally reordering small windows of consecutive variables is presented.
Book
Cross-talk noise immune VLSI design using regular layout fabrics
TL;DR: This work validated deep sub-Micron effects in a Network of PLAS using VLSI Layout Fabrics, a novel approach to fabric cell based design that reduces the uncertainty in the design of fabrics.
Posted Content
Systematic Testing of Convolutional Neural Networks for Autonomous Driving
TL;DR: A framework to systematically analyze convolutional neural networks used in classification of cars in autonomous vehicles and can be used to extract insights of the CNN classifier, compare across classification models, or generate training and validation datasets.
Journal ArticleDOI
Constraint-based channel routing for analog and mixed analog/digital circuits
TL;DR: It is observed that perfect matching is not possible for a matched pair of nets with intersecting horizontal spans, so a technique to achieve almost perfect mirror symmetry is presented for such pairs of nets.