System level verification of video and image processing specifications