In his forward to Piziali's book, Harry Foster, of Jasper Design Automation, says that this is "the first book to introduce a useful taxonomy for coverage metric classification." I agree that "useful taxonomy" describes this book well. I think it would be hard to find a more clear and complete introduction to functional verification coverage concepts and methods.As an added bonus, this book is a good read. Piziali has a passion for verification coverage and a passion for language. The result is prose that not only is clean and easy to follow, but that also infects you with the excitement Piziali feels for his subject.