SmartDV’s OCP assertion IP provides an efficient way to verify Open Core Protocol designs quickly and without a testbench. The model supports key features of OCP, including an efficient, bus-independent, configurable, and highly scalable interface for on-chip subsystem communications. OCP supports multithreading, synchronization primitives, and single-request/multiple-data transactions. The IP can also be used in assertion-based verificaton in simulation.