Efficient Verification Framework for Audio/Video Interfaces