Title :
Hardware-Software Codesign of Multimedia Embedded Systems: the PeaCE
Author :
Ha, Soonhoi ; Lee, Choonseung ; Yi, Youngmin ; Kwon, Seongnam ; Joo, Young-Pyo
Author_Institution :
CAP Lab., Seoul Nat. Univ.
Abstract :
Hardware/software codesign involves various design problems including system specification, design space exploration, hardware/software co-verification, and system synthesis. A codesign environment is a software tool that facilitates capabilities to solve these design problems. This paper presents the peace codesign environment mainly targeting for multimedia applications with real-time constraints. Peace specifies the system behavior with a heterogeneous composition of three models of computation. The Peace environment provides seamless co-design flow from functional simulation to system synthesis, utilizing the features of the formal models maximally during the whole design process. Preliminary experiments with real examples prove the viability of the proposed technique
Keywords :
embedded systems; formal specification; formal verification; hardware-software codesign; multimedia computing; programming environments; software tools; design space exploration; hardware-software codesign; hardware/software coverification; multimedia embedded system; peace codesign environment; software tool; system specification; system synthesis; Algorithm design and analysis; Computational modeling; Computer architecture; Embedded system; Hardware; Multimedia systems; Software design; Software performance; Software tools; Space exploration;
Conference_Titel :
Embedded and Real-Time Computing Systems and Applications, 2006. Proceedings. 12th IEEE International Conference on
Conference_Location :
Sydney, Qld.
Print_ISBN :
0-7695-2676-4
DOI :
10.1109/RTCSA.2006.36