Contact Us
Overview

SmartDV’s ARINC 664 Verification IP is a comprehensive solution for verifying the Aircraft Data Network standard for safety-critical avionics applications, implementing the Avionics Full Duplex Switched Ethernet network as defined in ARINC Specification 664 Part 7. Built on IEEE 802.3 10/100 Mbit/s full duplex Ethernet, it supports complete verification of ARINC 664 transmitters, receivers, and monitors across all word structures and protocol requirements, covering Virtual Link-based deterministic traffic shaping, transmit redundancy management, and upper layer protocol handling for IPv4 and UDP.

SmartDV’s ARINC 664 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 Bandwidth Allocation Gap traffic shaping, transmit redundancy control, comprehensive error injection and detection, glitch injection, protocol violation monitoring, built-in functional coverage, and a complete test suite, SmartDV’s ARINC 664 VIP enables verification teams to thoroughly validate deterministic avionics network designs for commercial aviation, defense, and aerospace applications.

Request Data Sheet
ARINC 664 VIP
Benefits
  • Full Transmitter, Receiver, and Monitor Support – Supports complete ARINC 664 Part 7 end system transmitter and receiver operation with LRU configurations containing multiple transmitters and receivers communicating on independent buses, programmable FIFO depth, and a rich set of configuration parameters for fine-grain protocol control.
  • IEEE 802.3 Ethernet and Virtual Link Support – Supports IEEE 802.3 10/100 Mbit/s full duplex Ethernet links with Virtual Link-based frame routing, all word structures and protocol requirements for bus communication as per ARINC 664 Part 7, and simplex twisted shielded pair data bus operation.
  • Deterministic Traffic Shaping – Supports Bandwidth Allocation Gap traffic shaping to enforce deterministic frame transmission timing, ensuring Quality of Service and preventing Virtual Link interference across the switched Ethernet network.
  • Upper Layer Protocol Support – Covers IPv4 and UDP upper layer protocol handling for end system communication, enabling complete verification of the ARINC 664 Part 7 network and transport layer stack.
  • Transmit Redundancy Management – Supports Transmit Redundancy Controller operation for dual-network redundancy verification, ensuring reliable frame delivery across redundant network paths as required by safety-critical avionics applications.
  • Comprehensive Error Injection and Detection – Supports injection and detection of all ARINC 664 error types including LDU Sequence Number errors, parity errors, word count errors, CRC errors, and timeout errors, along with glitch injection and detection and comprehensive monitor-based protocol violation detection.
  • Complete Verification Infrastructure – Provides built-in functional coverage analysis, status counters for bus events, and callbacks in transmitter and receiver for user-defined event handling and protocol and timing violation notification.
Compliance and Compatibility
  • Fully compliant with ARINC Specification 664 Part 7
  • Compliant with IEEE 802.3 10/100 Mbit/s full duplex Ethernet
  • Supports IPv4 and UDP upper layer protocols
  • 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