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
A design flow for the development, characterization, and refinement of system level architectural services
TL;DR: The results show that not only is the proposed design flow more accurate and modular than other approaches but also that it prevents the selection of more poorly performing designs or theselection of incorrectly functioning designs through its emphasis on the preservation of fidelity.
Posted Content
Platform-Based Design Methodology and Modeling for Aircraft Electric Power Systems.
TL;DR: This paper introduces a methodology for the design space exploration and virtual prototyping of EPS supervisory control protocols, following the platform-based design (PBD) paradigm, and describes the modeling infrastructure that supports the methodology.
Journal ArticleDOI
Solution of piecewise-linear ordinary differential equations using waveform relaxation and laplace transforms
TL;DR: New techniques for the solution of the differential equations describing the behavior of piecewise-linear circuits will be presented, based on the waveform relaxation method to decouple the system equations and Laplace transform techniques to solve the decoupled equations.
Journal Article
Homogeneous semantics preserving deployments of heterogeneous networks of embedded systems
TL;DR: This paper defines the category of tagged systems, demonstrates that a network of tagged system corresponds to a diagram in this category and proves that taking the composition of a networkof tagged systems is equivalent to taking the limit of this diagram-thus composition is endowed with a universal property.