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
Exact minimization of binary decision diagrams using implicit techniques
TL;DR: It is shown that the minimum-sized binary decision diagram compatible with the specification can be found by solving a problem that is very similar to the problem of reducing incompletely specified finite state machines.
Proceedings ArticleDOI
LSAT-an algorithm for the synthesis of two level threshold gate networks
TL;DR: Experimental results show that a simple branch and bound algorithm can be used to obtain solutions close to the absolute minimum in a set of standard problems, outperforming other minimizers even when restricted to using only classic logic gates as building blocks.
Proceedings ArticleDOI
Finding the steady-state response of analog and microwave circuits
TL;DR: Harmonic balance is a frequency-domain method and finite-difference method, which is based in the time domain, are suitable for use on nonlinear circuits that contain distributed devices and that exhibit either periodic or quasiperiodic steady-state solutions.
Journal ArticleDOI
PLATYPUS: A PLA Test Pattern Generation Tool
TL;DR: A new algorithm is proposed based on complementation and the tautology check of a logic cover, derived from the PLA personality matrix, to achieve the best balance between run time and test-set compactness.