loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Efficient System-Level Functional Verification Methodology for Multimedia Applications
March/April 2003 (vol. 20 no. 2)
pp. 56-64
ASCII Text
x 
 
Miroslav Cup?, Francky Catthoor, Hugo J. De Man, "Efficient System-Level Functional Verification Methodology for Multimedia Applications," IEEE Design and Test of Computers, vol. 20, no. 2, pp. 56-64, March/April, 2003.
 
 
BibTex
x
 
@article{ 10.1109/MDT.2003.1188263,
author = {Miroslav Cup? and Francky Catthoor and Hugo J. De Man},
title = {Efficient System-Level Functional Verification Methodology for Multimedia Applications},
journal ={IEEE Design and Test of Computers},
volume = {20},
number = {2},
issn = {0740-7475},
year = {2003},
pages = {56-64},
doi = {http://doi.ieeecomputersociety.org/10.1109/MDT.2003.1188263},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - MGZN
JO - IEEE Design and Test of Computers
TI - Efficient System-Level Functional Verification Methodology for Multimedia Applications
IS - 2
SN - 0740-7475
SP56
EP64
EPD - 56-64
A1 - Miroslav Cup?,
A1 - Francky Catthoor,
A1 - Hugo J. De Man,
PY - 2003
VL - 20
JA - IEEE Design and Test of Computers
ER -
 

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.

Citation:
Miroslav Cup?, Francky Catthoor, Hugo J. De Man, "Efficient System-Level Functional Verification Methodology for Multimedia Applications," IEEE Design and Test of Computers, vol. 20, no. 2, pp. 56-64, Mar./Apr. 2003, doi:10.1109/MDT.2003.1188263
Usage of this product signifies your acceptance of the Terms of Use.