JPEG encoding on the intel MXP5800: A platform-based design case study

Abhijit Davare*, Qi Zhu, John Moondanos, Alberto Sangiovanni-Vincentelli

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contribution

8 Scopus citations

Abstract

Multimedia systems are becoming increasingly complex and concurrent. The Platform-based design (PBD) methodology [8] tackles these issues by recommending the use of formal models, carefully defined abstraction layers and the separation of concerns. Models of computation [10] (MoCs) can be used within this methodology to enable specialized synthesis and verification techniques. In this paper, these concepts are leveraged in an industrial case study: the JPEG encoder application deployed on the Intel MXP5800 imaging processor. The modeling is carried out in the Metropolis [4] design framework. We show that the systemlevel model using our chosen model of computation allows performance estimation within 5% of the actual implementation. Moreover, the chosen MoC is amenable to automation, which enables future synthesis techniques.

Original languageEnglish (US)
Title of host publicationProceedings of the 2005 3rd Workshop on Embedded Systems for Real-Time Multimedia
Pages89-94
Number of pages6
Volume2005
DOIs
StatePublished - Dec 1 2005
Event2005 3rd Workshop on Embedded Systems for Real-Time Multimedia - New York, NY, United States
Duration: Sep 22 2005Sep 23 2005

Other

Other2005 3rd Workshop on Embedded Systems for Real-Time Multimedia
CountryUnited States
CityNew York, NY
Period9/22/059/23/05

ASJC Scopus subject areas

  • Engineering(all)

Fingerprint Dive into the research topics of 'JPEG encoding on the intel MXP5800: A platform-based design case study'. Together they form a unique fingerprint.

Cite this