Assertions and the Verification Landscape

This chapter presents an overview of assertions and their use throughout the product development lifecycle, including hardware verification, debug and monitoring. Assertions use in the areas of simulation, emulation and formal verification are overviewed. Assertion checkers and checker generators, two central themes in this book, are also presented. An introduction to temporal logic is also performed, given the strong foundations of assertion languages in this area. With the origins of assertion residing in the software side, it is only fitting to begin the chapter with a survey of assertions in software.


Palladium Alan 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