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

by Zeljko Zilic and Marc Boule

1 Introduction. 1.1 Context and Motivation. 1.2 Book Objectives. 1.3 Overview of the Book. 1.4 External Contributions and Collaborations. 2 Assertions and the Verification Landscape. 2.1 Origins of Assertions: Software Checking. 2.2 Uses of Assertions in Hardware. 2.3 Assertion Checkers and Checker Generators. 2.4 Assertion Support in Simulators and Emulators. 2.5 Checkers in Silicon Debugging. 2.6 Assertions in Static and Dynamic Verification. 2.7...

• Format: Hardcover
• Language: English
• ISBN: 1402085850
• ISBN13: 9781402085857
• Release Date: July 2008
• Publisher: Springer
• Length: 280 Pages
• Weight: 1.31 lbs.
• Dimensions: 0.7" x 6.1" x 9.2"