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

by ZeljkoZilic (Author), Marc Boulé (Author)

• New

  Hardcover
  2008

  $186.49

  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.