Scheduling-based test-case generation for verification of multimedia SoCsAmir NahirAvi Zivet al.2006DAC 2006