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
Contact 
©2002-2018 U.C. Regents