This chapter is intended as a short introduction to the modern uses of assertions in hardware design. An overview showing the various applications of assertionchecking circuits is also given. Many terms and expressions are used somewhat loosely in this chapter, and are explained in more detail in the next chapter. The objectives and topics in the book are presented, along with a short description of the collaborations and the external contributions made by others that at various points influenced and augmented this research.


Clock Cycle Boolean Expression External Contribution Hardware Description Language Assertion Grouping 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science + Business Media B.V 2008

Personalised recommendations