|
Models and Algorithms for Embedded System Synthesis and ValidationAbstract: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 |