System-Level Specification and Cosimulation for Multimedia Embedded Systems

As a systematic design approach, hardware/software codesign has been focused as a new design methodology to bridge the increasing gap between design complexity and productivity. There have been proposed various codesign procedures depending on system level specification method. In this thesis, we use formal models of computation for system specification to ease design validation by using "correct by construction " principle. It is challenging to specify the complex multimedia embedded systems by existent formal models of computation. Complex multimedia systems do not perform a single dedicated function but support multiple operational modes with different system constraints. Diverse activation conditions and real-time properties of the system should be considered from initial specification