An Efficient Verification Framework for Audio/Video Interface Protocols

Noha Shaarawy, Mustafa Khairallah, Khaled Khalifa, Hany Salah, Amr Salah and Maged Ghoneima