Abstract: The complexity of avionics systems continues to grow, making FPGA communication protocols increasingly critical for airworthiness verification. However, traditional verification methods ...