Assertion Processor

Assertions document the designer's assumptions and the properties of the design. They are a powerful tool to crosscheck the design's actual versus intended behavior. They are also valuable to verification and system engineers to formally specify the intended behavior of the system and to make sure it is acting according to specification. Recently, much has been written about assertions and even though the concept has existed for years there is still much confusion over assertions. Before getting into the details of how assertions are specified and implemented it is useful to look at the motivation behind why assertions are so important.

View Entire Paper | Previous Page | White Papers Search

If you found this page useful, bookmark and share it on: