Industry's First CXL 3.0 Verification Solution

VIP Expert

Aug 01, 2022 / 5 min read

Synopsys Verification IPs

CXL 3.0 Introduction

Compute Express Link™ (CXL™) 3.0 is an open standard that defines high-speed cache-coherent interconnect and memory expander interconnect for CPU-to-device and CPU-to-memory connections. It is built on PCI Express® (PCIe®) 6.0 r1.0 specifications and leverages PCIe for physical and electrical interface.
Artificial Intelligence (AI) and Machine Learning (ML) applications and widespread smart devices (e.g., autonomous vehicles) are driving factors behind exponentially rising requirements to build high-performing data center units that involve CPUs connected with accelerator processors, memory attached devices, and SmartNICs. These systems demand low latency requirements for CPU-attached devices to perform compute-intensive operations on massive data while maintaining coherency. To meet the increasing performance and scale requirements of these systems, the CXL Consortium has evolved its standard through the introduction of CXL 3.0.

CXL 3.0 Specification Highlights

  • System Level: Fabrics and improved resource utilization and backward compatibility with previous generations of CXL 1.1 and CXL 2.0 devices
  • Physical Layer: Doubles bandwidth to 64GT/s, with no additional latency compared to CXL 2.0
  • Link & Transaction Layer: 256B FLITs with standard and optimized modes with two 128B transfers
  • Cachemem: More than one Type 1/2 device in a virtual hierarchy with CacheID-based routing and back-invalidation snoops for cache management
  • Switches: Routing updates for enabling cascade and non-tree topology architectures

An overview figure below provides an overview of Flit formats in CXL 3.0. In addition to 68B Flit mode as in CXL 2.0, CXL 3.0 introduces Standard and Latency optimized 256B formats.

With separate format definitions for CXL.io & CXL.cachemem sums up to 4 new formats. Slot encodings are almost doubled and taken care of by the Data link layer with the packing payload. The Flit header bytes, Cyclic Redundancy Check (CRC), and Forward Error Correction (FEC) bytes are added by the FlexBus layer for error correction, detection & retry.

CXL 3.0 Verification Solution introduction

CXL 3.0 Verification Complexity

The changes introduced with CXL 3.0 affect all layers, creating increased verification complexity.

At the physical layer, 64GT/s speed support is achieved using PAM4 encoding. It brings in FEC complexity along with the existing CRC mechanism. Placement of Replay Buffer in Flex Bus brings in another design change for designs migrating from CXL 2.0 to CXL 3.0. This demands in-depth verification of sequence numbering, FLIT replay command handshakes, and partial/full replay mechanisms to provide guaranteed FLIT transfer across to the link partners. Upper layers including ARB/Mux and IO/CM Link layers rely on this feature as their respective ALMP and power management handshakes are now simplified.

At the link layer, new FLIT modes – namely standard 256B, latency optimized 256B, and PBR 256B, demand different packing rules for protocol packets into FLITs increasing design complexity.
For backward compatibility reasons, 256B FLITs are supported at 8/16/32 GT/s speeds. This creates a parallel data path flow for the FlexBus layer for 68B vs 256B FLITs using 128b/130b encoding in addition to 256B FLIT support using PAM4 encoding. This creates a multi-dimensional verification complexity.

At the protocol layers, CXL 3.0 brings in a vast array of new features which are orthogonal to link and lower layer updates. This adds a new dimension to verification. It adds a new requirement to validate protocol features independent of design development and upgrades to lower layers.

Synopsys Protocol Verification Solutions for CXL 3.0

To mitigate the verification complexity of CXL 3.0, Synopsys delivers the industry’s first CXL Subsystem Verification IP solution, available immediately.

CXL 3.0 Verification Solution architecture

[Image 1 – Solution Overview]


CXL 3.0 has several layers of protocol orchestrating to enable traffic flows. Synopsys CXL VIP has the ability to observe the semantics at different layers which eases debugging.

“Verification solutions for new protocols such as PCIe 6.0, CXL 2.0, and now CXL 3.0 demonstrate Synopsys’ continued support for innovations built on industry standards,” said Kurt Lender, CXL Consortium Marketing Working Group Co-Chair and IO Strategist, Intel Corporation. “The immediate availability of Synopsys Verification IP for CXL 3.0 strengthens the ecosystem and facilitates the adoption of the technology for compute-intensive workloads. ”

The snapshots below provide an overview of the link up to 64GT/s and the transfer of 256B FLITs between link partners. You can also observe the details of APN status and transfer statistics.

CXL 3.0 Verification Solution process

[Image 2 – Waveform snippet showing 64 GT/s link-up and FLIT handshake]

CXL 3.0 Verification flowchart

[Image 3 – FLIT trace file from ARB/Mux indicates CXL IO FLITs, CM FLITs, and ALMPS multiplexed for Standard 256B Flit mode]

CXL 3.0 Verification IP solution

[Image 4 – FLIT trace file from ARB/Mux indicates CXL IO FLITs, CM FLITs, and ALMPS multiplexed for68B modes]

CXL 3.0 Protocol solution for HPC, AI, and Mobile SoCs

[Image 5 – Link statistics summary]

Conclusion

Synopsys Verification IP for CXL is designed to address all the verification complexities of CXL 3.0. It provides easy-to-use APIs for migration from CXL 2.0/PCIe 6.0 to CXL 3.0 domain.
Target users for CXL 3.0 are at the system level. Running System level payload on SoCs requires a faster hardware-based pre-silicon solution. Synopsys transactors based on Synopsys IP enable fast verification hardware solutions including Synopsys ZeBu® emulation systems and Synopsys HAPS® prototyping systems for validation use-cases.
Synopsys protocol verification solutions are natively integrated with the Synopsys Verification Family of products including Synopsys Verdi® and regression management and automation with Synopsys VC Execution Manager.

To learn more about Synopsys VIP for CXL, please visit https://www.synopsys.com/verification/verification-ip/subsystems/compute-express-link.html.

In addition, Synopsys offers CXL IP solutions including a controller with IDE security and PHY, all of which support the CXL 3.0 specification.

Continue Reading