Functional verification coverage measurement and analysis - Piziali, Andrew (Kluwer Academic Publishers, 2004)