Generating hardware assertion checkers : For hardware verification, emulation, post-fabrication debugging and on-line monitoring

This is the first book that presents an “under-the-hood” view of generating assertion checkers, and as such provides a unique and consistent perspective on employing assertions in major areas, such as: specification, verification, debugging, on-line monitoring and design quality improvement.