Debugging Functional Coverage Models Get The Most Out of Your Cover Crosses Author(s): Mennatallah Amer and Amr Hany Download