SmartDV’s AMBA ATB AIP (assertion IP) is a verification component for formal property verification (FPV) that provides an efficient way to verify the AMBA ATB component of an SoC or ASIC. The VIP supports flow control and flushing and can be used with any method of formal verification and any major formal verification engine. Additionally, the AIP can be used for assertion-based verification in simulation.