This paper introduces Assertion-based Verification (ABV) and its four pillars of methodology. These are fundamental technologies and methodologies that make the ABV process successful. Each pillar targets a different phase of the overall design process; and each targets its own users and objectives.

Note: By clicking on the above link, this paper will be emailed to your TechOnLine log-in address by Mentor Graphics.