Assertion Based Verification provides an effective way to improve quality of verification by providing better controllability and observability of design errors. ABV is enabled with specification of assertions in the design. Assertions are executable specification of the design and are mostly written as 'assert' properties used to check the design functionality and 'cover' properties primarily used for functional coverage. Assertion can be verified using different ABV technologies: Formal, Simulation and Emulation/Acceleration. ABV is a form of whitebox testing. That is, properties—asserted behaviors—can monitor behavior deep within the design and not just at the interfaces. This feature lets you identify errors sooner and closer to the source, and also lets you specify functional coverage points deep within the design. The following are the primary technologies that use assertions: First, Simulation, Dynamic checking of monitors in simulation. Second, Formal Analysis, Static property checking tools are used to prove that a property that is asserted will hold true for all input conditions that do not violate an assumed behavior. Third, Emulation/Acceleration, Another form of dynam...