SmartDV’s AMBA AXI4-Stream assertion IP is a verification component for formal property verification (FPV). It provides an efficient way to verify an ARM AMBA AXI4-Stream master, slave, or interconnect interface block using any method of formal verification in any major formal verification engine. Additionally, it can be used for assertion-based verification in simulation.