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

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 & Test of Computers, vol. 20, no. 2, pp. 56-64, March-April 2003, doi:10.1109/MDT.2003.1188263
Usage of this product signifies your acceptance of the Terms of Use.