Alberto Sangiovanni-Vincentelli

TL;DR: In this article, the authors present a survey of existing techniques for noise analysis of non-autonomous circuits with multitone inputs and phase-locked loops, as well as a solution for SDEs.

TL;DR: A novel protocol architecture for ubiq- uitous networks based on a randomized routing, MAC and duty cycling protocols that allow for performance and reliability leveraging node density and a completely distributed algorithm is presented.

TL;DR: An analytical approach based on concurrent processes modeled as Stochastic Automata Networks (SANs) that can be effectively used to integrate power and performance metrics in system-level design is introduced.

TL;DR: This paper introduces a natural transformation of interfaces to A/G contracts represented by linear temporal logic, and shows that the transformation preserves refinement, but does not generally preserve serial composition and conjunction.

TL;DR: In this article, a three-dimensional Green's Function based substrate representation, in combination with the use of the Fast Fourier Transform, significantly speeds up the computation of sensitivities with respect to all parameters associated with a given architecture and is used in a number of physical optimization tools, such as placement and trend analysis for the estimation of the impact of technology migration and/or layout re-design.