The Hybrid Memory Cube (HMC) Verification IP from Atria Logic is a robust, reusable SystemVerilog-based verification component. It is designed to aid the verification of SoCs equipped with HMC Host Controllers by providing a device model and analyzer to check compliance with HMC Specification v1.0. The device model listens to the HMC interface, handling commands and transactions as dictated by the protocol. Simultaneously, the analyzer verifies link integrity and logs transaction data, offering insights into any potential compliance issues. This IP is integral for ensuring the reliability and correctness of HMC systems and is suitable for integration at both the IP and system levels.