Contact Us
Overview

SmartDV’s RoCE Verification IP is a comprehensive solution for verifying RDMA over Converged Ethernet, the InfiniBand Trade Association standard that enables Remote Direct Memory Access over Ethernet networks for AI training, high-performance computing, storage clustering, and low-latency data center applications. Fully compliant with RoCEv1 as an Ethernet link layer protocol and RoCEv2 over UDP/IPv4 and UDP/IPv6, it supports complete verification of RoCE TX BFM, RX BFM, and Monitor components across all four InfiniBand transport services, all defined transport operations, Base Transport Header and Extended Transport Header formats, queue pair management, ACK/NAK transmission, packet fragmentation, Priority Flow Control, and Ethernet speeds from 10G to 400G.

SmartDV’s RoCE VIP supports UVM, SystemVerilog, and Verilog, and integrates seamlessly into diverse verification environments. It is simulator-independent and compatible with all leading EDA simulators, providing flexibility across simulation platforms.

With comprehensive error injection across all protocol layers, glitch insertion, scrambler error insertion, pause frame generation and detection, bus-accurate timing, built-in functional coverage, and a complete test suite, SmartDV’s RoCE VIP enables verification teams to thoroughly validate RoCE network interface designs for AI accelerator interconnects, NVMe-oF storage fabric, high-frequency trading, hyperscale data center fabric, and any RDMA-capable Ethernet NIC or SmartNIC application.

Request Data Sheet
RoCE VIP
Benefits
  • Full RoCEv1 and RoCEv2 TX BFM, RX BFM, and Monitor Support – Provides complete RoCEv1 Ethernet link layer and RoCEv2 UDP/IPv4 and UDP/IPv6 routable protocol verification with TX BFM, RX BFM, and Monitor components, supporting all defined packet types and sizes, packet fragmentation, queue pair management, and ACK/NAK packet transmission.
  • InfiniBand Transport Service Coverage – Supports all four defined InfiniBand transport services including Reliable Connection for reliable ordered delivery between a single pair of queue pairs, Reliable Datagram for reliable delivery to any queue pair in a group, Unreliable Connection for unreliable unordered delivery between a single pair of queue pairs, and Unreliable Datagram for best-effort delivery across any destination queue pair.
  • Transport Operation Coverage – Supports all five defined transport operations including SEND for remote buffer delivery, RESYNC for synchronization, RDMA READ for remote memory read, RDMA WRITE for remote memory write, and ATOMIC operations for atomic read-modify-write and compare-and-swap across remote memory regions.
  • Transport Header and Upper Layer Protocol Support – Supports Base Transport Header and Extended Transport Header formats for complete InfiniBand transport encapsulation, IPv4 and IPv6 network layer protocols for RoCEv2 routing, and UDP encapsulation with reserved port 4791 for RoCEv2 stateless transport layer multiplexing.
  • Priority Flow Control and Congestion Management – Supports IEEE 802.1Qbb Priority Flow Control for lossless Ethernet operation in RoCEv1 and RoCEv2 deployments, ECN-based congestion notification and CNP Congestion Notification Packet generation and handling for RoCEv2 end-to-end congestion control, and pause frame generation and detection.
  • Comprehensive Ethernet Speed and Error Coverage – Supports Ethernet speeds from 10G through 400G, comprehensive error injection and detection at all protocol layers including undersize and oversize frames, CRC errors, framing errors, pause frame errors, disparity and auto-negotiation errors, invalid code group insertion, invalid /K/ character insertion, lane skew insertion, invalid AN sequence errors, and missing /K/ characters, along with scrambler error insertion and glitch insertion and detection.
  • Complete Verification Infrastructure – Provides a full test suite covering all RoCEv1 and RoCEv2 specification features, built-in functional coverage analysis, bus-accurate timing checks, constraints randomization, status counters for bus events, and callbacks in TX, RX, and Monitor for user-defined data processing and protocol and timing violation notification.
Compliance and Compatibility
  • Fully compliant with RoCEv1 (InfiniBand Trade Association Ethernet Annex) and RoCEv2 (InfiniBand Trade Association RoCEv2 Annex)
  • Supports RoCEv2 over UDP/IPv4 (port 4791) and UDP/IPv6
  • Supports Reliable Connection, Reliable Datagram, Unreliable Connection, and Unreliable Datagram transport services
  • Supports Ethernet speeds from 10G to 400G
  • Compatible with UVM, OVM, VMM, SystemVerilog, and Verilog verification environments
  • Compatible with all major EDA simulators including Synopsys VCS, Cadence Xcelium, Siemens Questa, Aldec Riviera-PRO, and Verilator

Request Datasheet