Models and Algorithms for Embedded System Synthesis and Validation

Abstract:

In this paper we outline some important aspects of the HW/SW co-design process, such as formal representation models, co-simulation, formal verification, HW and SW synthesis and optimization, scheduling, and partitioning. For each topic, we provide a brief description of the key contributions, encapsulated in a general reference scheme.

UCB Design Technology Warehouse Homepage