The avionics industry's growing need for TLM - Military Embedded Systems
Avionics systems increasingly leverage FPGAs [field-programmable gate arrays] and SoC [system-on-chip] FPGAs with high-speed interfaces such as PCIe and Ethernet to deliver greater performance and reliable connectivity for military and civil aviation. However, if the underlying FPGA design needs to demonstrate development assurance based on DO-254/ED-80 (documents providing guidance for the development of airborne electronic hardware), verification becomes very challenging. In these cases, transaction-level modeling (TLM) may be the answer.
Source: militaryembedded.com