Experience with Widening Based Equivalence Checking in Realistic Multimedia Systems

—Designers often apply manual or semi-automatic loop and data transformations on array and loop intensive programs to improve performance. For the class of static affine programs, automatic methods exist for proving the correctness of these transformations. Realistic multimedia systems, however, often contain constructs that fall outside of this class. We present an extension of a widening based approach to handle the most relevant of these constructs, viz. accesses to array slices and data dependent accesses, and report on some experiments with nontrivial applications.

• Type: Journal
• Year: 2010
• Where: ET
• Authors: Sven Verdoolaege, Martin Palkovic, Maurice Bruynooghe, Gerda Janssens, Francky Catthoor
• Keywords: ET 2010, Realistic Multimedia Systems, Semi-automatic Loop, Static Affine Programs