Functional Verification Coverage Measurement and Analysis - Piziali, Andrew (Springer US, 2008)