Assertion-Based Verification ABV. 2 Assertion Assertion: is a conditional statement that checks for specific behavior and displays a message if it does.