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.
KeywordsClock Cycle Boolean Expression External Contribution Hardware Description Language Assertion Grouping
Unable to display preview. Download preview PDF.