The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.02 - March/April (2003 vol.20)
pp: 56-64
ABSTRACT
<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>
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
22 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool