Efficient system-level functional verification methodology for multimedia applications
Miroslav Cupak, Francky Catthoor, H.J. De Man · IEEE Design & Test of Computers · 2003
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.