SmartDV’s AMBA CHI AIP (assertion IP) is a verification component for formal property verification (FPV). It provides an efficient way to verify an AMBA CHI interface block using any method of formal verification and any major formal verification engine. Additionally, the AIP can be used for assertion-based verification in simulation.