• DocumentCode
    2028874
  • Title

    Communication primitives driven hardware design and test methodology applied on complex video applications

  • Author

    Chirila-Rus, Adrian ; Denolf, Kristof ; Vanhoof, Bart ; Schumacher, Paul ; Vissers, Kees

  • Author_Institution
    Interuniversity Microelectron. Center, Leuven, Belgium
  • fYear
    2005
  • fDate
    8-10 June 2005
  • Firstpage
    246
  • Lastpage
    248
  • Abstract
    Dedicated hardware realizations of new multimedia applications support high throughput in a cost-efficient way. Their design requires a correct translation of the high-level system definition into the final implementation at the RTL level. We propose a general systematic development and test methodology and apply it in the context of complex video codecs. The approach is based on a fixed set of communication primitives and uses a high-level functional C model as golden specification of the complete system throughout the design. A clear separation between I/O and computing allows the isolation of a single functional component. This module is developed individually and its functional correctness can be verified separately by extracting its input stimuli and expected output from the golden specification. The combination of RTL simulation and emulation on a prototyping platform enables exhaustive testing of the separate modules to assure functional correctness. In this way, the debug cycle during system integration is minimized.
  • Keywords
    formal specification; formal verification; video coding; RTL level; communication primitives; high-level functional C model; high-level system definition; multimedia applications; system integration; video codecs; Design methodology; Emulation; Field programmable gate arrays; Hardware; Logic testing; MPEG 4 Standard; Observability; System testing; Video codecs; Virtual prototyping;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Rapid System Prototyping, 2005. (RSP 2005). The 16th IEEE International Workshop on
  • ISSN
    1074-6005
  • Print_ISBN
    0-7695-2361-7
  • Type

    conf

  • DOI
    10.1109/RSP.2005.17
  • Filename
    1509461