Generating Hardware Assertion Checkers: For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring

This book presents an "under-the-hood" view of generating assertion checkers. It gives a unique and consistent perspective on employing assertions in such areas as specification, verification, debugging, on-line monitoring and design quality improvement.