Citation
Abhijit Davare, Qi Zhu, John Moondanos, Alberto Sangiovanni-Vincentelli. "JPEG Encoding on the Intel MXP5800: A Platform-Based Design Case Study". ESTIMedia 2005: 3rd Workshop on Embedded Systems for Real-time Multimedia, September, 2005.

Abstract
Multimedia systems are becoming increasingly complex and concurrent. The Platform-based design (PBD) methodology tackles these issues by recommending the use of formal models, carefully defined abstraction layers and the separation of concerns. Models of computation (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 design framework. We show that the system-level 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.

Electronic downloads

• r_47_camera_ready.pdf · application/binary · 94 kbytes

• HTML

  Abhijit Davare, Qi Zhu, John Moondanos, Alberto
  Sangiovanni-Vincentelli. <a
  href="http://chess.eecs.berkeley.edu/pubs/95.html"
  >JPEG Encoding on the Intel MXP5800: A Platform-Based
  Design Case Study</a>, ESTIMedia 2005: 3rd Workshop on
  Embedded Systems for Real-time Multimedia, September, 2005.

• Plain text

  Abhijit Davare, Qi Zhu, John Moondanos, Alberto
  Sangiovanni-Vincentelli. "JPEG Encoding on the Intel
  MXP5800: A Platform-Based Design Case Study". ESTIMedia
  2005: 3rd Workshop on Embedded Systems for Real-time
  Multimedia, September, 2005.

• BibTeX

  @inproceedings{DavareZhuMoondanosSangiovanniVincentelli05_JPEGEncodingOnIntelMXP5800PlatformBasedDesignCaseStudy,
      author = {Abhijit Davare and Qi Zhu and John Moondanos and
                Alberto Sangiovanni-Vincentelli},
      title = {JPEG Encoding on the Intel MXP5800: A
                Platform-Based Design Case Study},
      booktitle = {ESTIMedia 2005: 3rd Workshop on Embedded Systems
                for Real-time Multimedia},
      month = {September},
      year = {2005},
      abstract = {Multimedia systems are becoming increasingly
                complex and concurrent. The Platform-based design
                (PBD) methodology tackles these issues by
                recommending the use of formal models, carefully
                defined abstraction layers and the separation of
                concerns. Models of computation (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 design framework. We show that the
                system-level 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.},
      URL = {http://chess.eecs.berkeley.edu/pubs/95.html}
  }
  

Posted by Abhijit Davare on 14 May 2006.
Groups: chesslocal
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.