Scheduling-based test-case generation for verification of multimedia SoCs. - Amir Nahir; Avi Ziv; Roy Emek; Tal Keidar; Nir Ronen (DAC, 2006)