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
Automated Synthesis of Asynchronous Interface Circuits
TL;DR: A standard cell implementation of the circuit is automatically derived from the specification, and the implementation is automatically analysed for potential hazards, and information on the internal gate delays and external environment delays is used to verify that the Circuit is hazard-free.
Proceedings ArticleDOI
Free MDD-based software optimization techniques for embedded systemsProceedings Design, Automation and Test in Europe Conference and Exhibition 2000 (Cat. No. PR00537)
TL;DR: This paper describes a heuristic procedure that performs well in practice, and is based on FMDD cost estimation applied to recursive cofactoring, and shows that the new variable ordering method obtains often.
HW/SW Codesign of a Multiple Injection Driver Automotive Subsystem Using a Configurable System-on-Chip
TL;DR: This paper presents the use of a co-design flow and a configurable system-on-chip, whose most important components are a micro-processor and an eFPGA, for an automotive application: the management of electro-mechanical injectors for gasoline and diesel direct injection engines.
Journal ArticleDOI
The Quotient in Preorder Theories
TL;DR: This paper shows that many existing theories in computer science are preordered heaps, and it is shown that they are able to derive a quotient for them, subsuming existing solutions when available in the literature.