DocumentCode :
3784750
Title :
Efficient system-level functional verification methodology for multimedia applications
Author :
M. Cupak;F. Catthoor;H.J. De Man
Author_Institution :
IMEC, Leuven, Belgium
Volume :
20
Issue :
2
fYear :
2003
Firstpage :
56
Lastpage :
64
Abstract :
Multimedia application design exploration should begin at the system level, to meet low-power and minimum-area requirements. Existing validation techniques mainly concentrate on lower abstraction levels. This system-level methodology combines formal verification of loop-oriented transformations with correctness verification of arithmetic constructs and related control flows. A videoconferencing-decoder example illustrates the methodology´s efficiency.
Keywords :
"Multimedia systems","Algorithm design and analysis","Application software","Silicon","Process design","Space exploration","Design automation","Teleconferencing","Decoding","Multidimensional systems"
Journal_Title :
IEEE Design & Test of Computers
Publisher :
ieee
ISSN :
0740-7475
Type :
jour
DOI :
10.1109/MDT.2003.1188263
Filename :
1188263
Link To Document :
بازگشت