A RANDOM CONSTRAINED MOVIE VERSUS A RANDOM UNCONSTRAINED MOVIE APPLIED TO THE FUNCTIONAL VERIFICATION OF AN MPEG-4 DECODER DESIGN

George S. Silveira, Karina R. G. da Silva, Elmar U. K. Melcher

2008

Abstract

The advent of the new VLSI technology and SoC design methodologies has brought about an explosive growth to the complexity of modern electronic circuits. One big problem in the hardware design verification is to find good stimuli to make functional verification. A MPEG-4 decoder design require movies in order to make the functional verification. A real movie applied alone is not enough to test all functionalities, a random movie is used as stimuli to implement functional verification and reach coverage. This paper presents a comparison between a random constrained movie generator called RandMovie versus the use of a Random Unconstrained Movie (RUM). It shows the benefits of using a random constrained movie in order to reach the specified functional coverage. With such a movie generator one is capable of generating good random constrained movies, increasing coverage and simulating all specified functionalities. A case study for an MPEG-4 decoder design has been used to demonstrate the effectiveness of this approach.

References

  1. Ana Karina Rocha, Patricia Lira, Y. Y. J. E. B. E. M. and Araujo, G. (2006). Silicon validated ip cores designed by the brazil-ip network. In IP/SOC 2006.
  2. Bergeron, J. (2003). Writing Testbenches: Functional Verification of HDL Models. Kluwer Academic Publishers, MA, USA, 2nd edition.
  3. G.Miyashita (2003). High-level synthesis of a MPEG-4 decoder using systemc. In Master's thesis, Informatics and Mathematical Modelling, Technical University of Denmark.
  4. ISO/IEC, J. T. C. (December 2004). Information technology-coding of audio-visual objects - part 2: Visual.
  5. James Monaco, D. H. and Raina, R. (2003). Functional verification methodology for the powerpc 604 microprocessor. In DAC 7896: Proceedings of the 33rd annual conference on Design automation, New York, NY, USA. ACM Press.
  6. K. R. G. da Silva, E. U. K. Melcher, G. A. and Pimenta, V. A. (2004). An automatic testbench generation tool for a systemc functional verification methodology. In SBCCI 7804: Proceedings of the 17th symposium on Integrated circuits and system design. ACM Press.
  7. K. R. G. da Silva, E. U. K. Melcher, I. M. and do N. Cunha, H. (2007). A methodology aimed at better integration of functional verification and rtl design. In Design Automation for Embedded Systems.
  8. Piziali, A. (2004). Functional Verification Coverage Measurement and Analysis. Kluwer Academic, USA, 1nd edition.
  9. Rao, K. R. and Yip, P. (1990). Discrete cosine transform: algorithms, advantages, applications. Academic Press Professional, San Diego, CA, USA.
  10. Seong-Min Kim, Ju-Hyun Park, S.-M. P. B.-T. K. K.-S. S. K.-B. S. I.-K. K. N.-W. E. and Kim, K.-S. (2003). Hardware-software implementation of mpeg-4 video codec. ETRI Journal, London.
  11. Team, X. (2003). Xvid api 2.1 reference (for 0.9.x series).
Download


Paper Citation


in Harvard Style

S. Silveira G., R. G. da Silva K. and U. K. Melcher E. (2008). A RANDOM CONSTRAINED MOVIE VERSUS A RANDOM UNCONSTRAINED MOVIE APPLIED TO THE FUNCTIONAL VERIFICATION OF AN MPEG-4 DECODER DESIGN . In Proceedings of the International Conference on Signal Processing and Multimedia Applications - Volume 1: SIGMAP, (ICETE 2008) ISBN 978-989-8111-60-9, pages 271-278. DOI: 10.5220/0001938602710278


in Bibtex Style

@conference{sigmap08,
author={George S. Silveira and Karina R. G. da Silva and Elmar U. K. Melcher},
title={A RANDOM CONSTRAINED MOVIE VERSUS A RANDOM UNCONSTRAINED MOVIE APPLIED TO THE FUNCTIONAL VERIFICATION OF AN MPEG-4 DECODER DESIGN},
booktitle={Proceedings of the International Conference on Signal Processing and Multimedia Applications - Volume 1: SIGMAP, (ICETE 2008)},
year={2008},
pages={271-278},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001938602710278},
isbn={978-989-8111-60-9},
}


in EndNote Style

TY - CONF
JO - Proceedings of the International Conference on Signal Processing and Multimedia Applications - Volume 1: SIGMAP, (ICETE 2008)
TI - A RANDOM CONSTRAINED MOVIE VERSUS A RANDOM UNCONSTRAINED MOVIE APPLIED TO THE FUNCTIONAL VERIFICATION OF AN MPEG-4 DECODER DESIGN
SN - 978-989-8111-60-9
AU - S. Silveira G.
AU - R. G. da Silva K.
AU - U. K. Melcher E.
PY - 2008
SP - 271
EP - 278
DO - 10.5220/0001938602710278