Assertion-based verification (ABV) improves design quality by inserting white-box monitors that provide a window allowing active monitoring of functional correctness. Assertions catch errors that tests activate but fail to propagate to typical black-box observation points, such as the primary outputs