Functional Verification Coverage Measurement And Analysis - Piziali (Kluwer)