Static Checking for Correctness of Functional Coverage Models

Author(s):
Wael Mahmoud