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
Link To Document