Abstract :
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.
Keywords :
"Multimedia systems","Algorithm design and analysis","Application software","Silicon","Process design","Space exploration","Design automation","Teleconferencing","Decoding","Multidimensional systems"