Alberto Sangiovanni-Vincentelli

TL;DR: This work offers both low-level and high-level models for asynchronous circuits and the environment where they operate, together with strong equivalence results between the properties at the two levels, and outlines a design methodology based on these models.

TL;DR: It is shown that it is enough to consider only the combinational speedup problem, and all known techniques for that can be directly applied to generate a solution for the pipelined problem.

TL;DR: This paper analyzes the feasibility of and proposes an optimization approach for an application-level acknowledgement and retransmission scheme for which transmission time is allocated on top of an existing schedule.

TL;DR: An overview of recent developments in four of the most prominent areas where hybrid control methods have found application: control of power systems, industrial process control, design of automotive electronics and communication networks and language specification problems.

TL;DR: This paper builds upon the analog platform-based design methodology by exploiting contracts to enforce correct-by-construction system-level composition and applies this methodology to an ultra-wide band receiver front-end to show that contracts allow pre-designed IP components to be smoothly integrated and design decisions to be reliably made at a higher abstraction level, both key factors to improve designer productivity.