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 synthesis and optimization procedure for fully and easily testable sequential machines

TL;DR: The authors outline a synthesis procedure which beginning from a state transition graph (STG) description of a sequential machine produces an optimized fully and easily testable logic implementation which guarantees testability for both Moore and Mealy machines.
Proceedings ArticleDOI

NOVA: State Assignment of Finite State Machines for Optimal Two-Level Logic Implementations

TL;DR: This paper presents algorithms for their solution to the problem of encoding the states of a synchronous Finite State Machine so that the area of a two-level implementation of the combinational logic is minimized, based on a new theoretical framework that offers advantages over previous approaches to develop effective heuristics.
Proceedings ArticleDOI

Minimum padding to satisfy short path constraints

TL;DR: This work proposes to handle short path constraints as a post processing step after traditional delay optimization techniques for combinational circuits by presenting a naive approach to padding delays (greedy heuristic) and an algorithm based on linear programming.

Model-Based Hierarchical Optimal Control Design for HVAC Systems

TL;DR: In this article, a hierarchical control architecture for balancing comfort and energy consumption in buildings is presented, which is based on a simplified, yet accurate model of the temperature within each room of the building.
Journal ArticleDOI

The Tire as an Intelligent Sensor

TL;DR: This work presents a distributed architecture for a data-acquisition system that is based on a number of complex intelligent sensors inside the tire that form a wireless sensor network with coordination nodes placed on the body of the car.