SmartDV’s IPsec Verification IP is a comprehensive solution for verifying the Internet Protocol Security suite, the industry-standard framework for providing authentication, integrity, and confidentiality for IP layer traffic across IPv4 and IPv6 networks. Fully compliant with RFC 4301 for the IPsec security architecture, RFC 4302 for the Authentication Header protocol, RFC 4303 for the Encapsulating Security Payload protocol, and RFC 7296 for IKEv2 Internet Key Exchange, it supports complete verification of IPsec endpoint functionality across tunnel and transport modes, covering Security Policy Database and Security Association Database management, ESP and AH protocol processing, IKEv2 key exchange and Security Association negotiation, and all recommended cryptographic algorithms per RFC 8221 and RFC 8247.
SmartDV’s IPsec 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 AES-GCM, AES-CBC, and HMAC-SHA algorithm coverage, Perfect Forward Secrecy, NAT traversal, anti-replay protection, extended sequence numbers, built-in functional coverage, and a complete test suite, SmartDV’s IPsec VIP enables verification teams to thoroughly validate IPsec security implementations for VPN gateways, firewalls, network processors, data center interconnects, and security-critical embedded networking applications.
