Assertion-Based Design

Rating:
Summary: When assertion fires ...
Review: Once again, after "Principles of Verifiable RTL Design" written with L. Bening, Harry Foster wrote the book that made new level of standards in ASIC community. Even with notice that, as a Verplex Systems guy, he evidently advertise specific Formal Verification techniques, this book could not get anything then 5 big stars. Not only that this is the only book on the market that cover important topics like Assertions, this is also well and systematically written book, full of examples in OVL, PSL and SystemVerilog. And whatever ASIC designers say that they don't have time for Assertions, future is going in this direction. Book is written equally for design and verification engineers, but also for system architects and everybody involved in ASIC development. This book probably will not shake ASIC design world as previous bestseller from the same author, but it presents state of the art in covered area from the man who knows his job very well ...