The Community for Technology Leaders
Green Image
<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>
Francky Catthoor, Miroslav Cup?, Hugo J. De Man, "Efficient System-Level Functional Verification Methodology for Multimedia Applications", IEEE Design & Test of Computers, vol. 20, no. , pp. 56-64, March/April 2003, doi:10.1109/MDT.2003.1188263
96 ms
(Ver 3.3 (11022016))