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
Synthesis for testability techniques for asynchronous circuits
TL;DR: This work presents techniques which guarantee both hazard- free operation and hazard-free robust path-delay-fault testability, at the expense of possibly adding test inputs, and a procedure that guarantees testability in the less stringent robust gate- Delay-Fault model.
Proceedings ArticleDOI
Use of performance sensitivities in routing analog circuits
TL;DR: The use of performance sensitivities in routing of analog circuits is advocated in this paper, where performance constraints are modeled in terms of the sensitivities of performance functions with respect to the routing parasitics for both single-ended and differential circuits.
Proceedings ArticleDOI
Optimal logic synthesis and testability: two faces of the same coin
TL;DR: An overview of the state of the art in combinational and sequential logic synthesis is provided and a recently developed synthesis technique of constrained state assignment and logic optimization which ensures fully testable sequential machines is described briefly.
Proceedings ArticleDOI
FSM re-engineering and its application in low power state encoding
TL;DR: Finite state machine (FSM) re-engineering is proposed, a performance enhancement framework for FSM synthesis and optimization procedure that allows for a larger solution space that includes synthesis solutions to the functionally equivalent FSMs instead of only the original FSM, making it possible to obtain solutions better than the optimal ones for theOriginal FSM.
Proceedings ArticleDOI
Software components for reliable automotive systems
H. Heinecke,Werner Damm,Bernhard Josko,Alexander Metzner,Hermann Kopetz,Alberto Sangiovanni-Vincentelli,M. Di Natale +6 more
TL;DR: To what degree the existing AUTOSAR standard can support the development of safety- and time-critical software and what is required to move toward the desirable goal of timing isolation when integrating multiple applications into the same execution platform are discussed.