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
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;
Conference_Titel :
Rapid System Prototyping, 2005. (RSP 2005). The 16th IEEE International Workshop on
Print_ISBN :
0-7695-2361-7
DOI :
10.1109/RSP.2005.17