scispace - formally typeset
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

A distributed minimum variance estimator for sensor networks

TL;DR: A distributed estimation algorithm for sensor networks is proposed, in which each node computes its estimate as a weighted sum of its own and its neighbors' measurements and estimates, and an upper bound of the error variance in each node is derived.
Book

Analysis and Simulation of Noise in Nonlinear Electronic Circuits and Systems

TL;DR: Noise in Free Running Oscillators: Behavioral Modeling and Simulation of Phase-Locked Loops, and Conclusions and Future Work.
Proceedings ArticleDOI

Partitioned ROBDDs—a compact, canonical and efficiently manipulable representation for Boolean functions

TL;DR: A new representation for Boolean functions called Partitioned ROBDDs is presented, which is divide the Boolean space into 'k' partitions and represents a function over each partition as a separate ROBDD.
Journal ArticleDOI

Applying harmonic balance to almost-periodic circuits

TL;DR: A new Fourier transform algorithm for almost-periodic functions (the APFT) is developed that is both efficient and accurate and a particularly simple derivation of harmonic Newton using the APFT.
Journal ArticleDOI

An Algorithm for Optimal PLA Folding

TL;DR: A subproblem of the optimal problem is shown to be NP-complete, and a heuristic algorithm is given which has proven to be effective on a number of test problems.