An Integrated Design and Verification Methodology for Reconfigurable Multimedia Systems