Issue No. 02 - March/April (2003 vol. 20)
Miroslav Cup? , IMEC
Francky Catthoor , IMEC
Hugo J. De Man , IMEC
<p>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.</p>
F. Catthoor, M. Cup? and H. J. De Man, "Efficient System-Level Functional Verification Methodology for Multimedia Applications," in IEEE Design & Test of Computers, vol. 20, no. , pp. 56-64, 2003.