ABSTRACT
This chapter presents a review of the state-of-the-art techniques used for system-level co-design, focusing on system-level specification languages. It focuses on the design of entire systems implemented on single silicon die, and systems-on-chip. At the architectural level, the system is represented as an abstract network of interconnected functionalities. The chapter presents an overview of the most representative system-level specification languages, and describes with some detail the OCCAM language as the reference language of the proposed co-design flow. It presents the internal models used in TO(H)SCA to represent the OCCAM co-specification. In the OCCAM language, concurrency applies explicitly at task or statement level.
