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.
KeywordsSugar Veri MBAC
Unable to display preview. Download preview PDF.