Functional verification coverage measurement and analysis - Piziali, Andrew (Springer, 2008)