Download File

File Name: How to find if my Checker is Complete and Exhaustive?

In any verification project, one of the most important questions before signing off is "Are there any more possibilities of bugs in the design?" and answer to this depends upon how extensive the checklist is and how complete and reliable are the checkers implemented in the verification environment. This paper will discuss with an example a strategic way to plan and implement checkers in any verification environment to ensure correctness of the functionality you are verifying. It will also discuss how you can relate functional coverage goals with actual checks implemented as assertions, response checkers, end-to-end checkers or reference checks.

Read more...

This document is only available to registered users of Rambus.com.

If you're already a Rambus.com user, sign in below.

Forgot your password?

New to Rambus? Register for an account!