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.


Sugar Veri MBAC 


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