AMBA ACE
Formal VIP
In formal verification, assertions are used to define valid inputs/constraints and properties for the design under test (DUT). Writing formal assertions manually can be laborious and time-consuming. Formal assertion VIP helps verification engineers get started with formal more quickly and easily.