Alonso Cheng is a lead engineer on the CXL/PCIe VIP development team at Siemens, with over 10 years of experience in the EDA industry. He has contributed to the development and delivery of PCIe, and CXL VIPs and has played a key role in several high‑priority customer verification projects. In addition, he has supported customers working with other major protocols, including CPI, CXS, and AXI, helping address integration and verification challenges. Alonso's expertise spans high‑speed protocol verification, including PCIe/CXL RC, EP, Switch, and retimer technologies. He is passionate about understanding customer requirements and real‑world use cases and finds fulfillment in working closely with customers to deliver effective and practical verification solutions.
CXL Memory Pooling and Memory Sharing introduce multi-host, Fabric-Manager-driven dynamic capacity management — and with it, verification challenges that traditional single-host, point-to-point testbenches cannot catch. Issues such as shared-region coherency hazards under concurrent host access, data integrity violations in shared memory, and incorrect handling of dynamic allocation transitions are subtle yet critical. These gaps can silently pass through simulation and surface only in silicon.This paper presents a verification methodology designed to expose these hard-to-find bugs. We describe a deployment-realistic verification architecture for LD-FAM devices combining CXL Host, CXL Switch, and CXL Fabric Manager VIPs that mirrors actual multi-host data center topologies. We then walk through targeted verification scenarios: for Memory Pooling, dynamic partition allocation and de-allocation across hosts; for Memory Sharing, shared-region data integrity under concurrent multi-host access, rejection of invalid capacity requests, and coherency management flows that validate functional correctness beyond protocol compliance.