The report showing that hardware requirements and software high-level requirements are correct and complete with respect to the system requirements, including the validation of derived requirements.
Report Work product in the Avionics and airborne electronics lifecycle
Verification only shows the design meets its requirements; validation shows those requirements are the right ones. ARP4754B and DO-254 expect requirements validation; without it, a design can pass every test and still do the wrong thing in the aircraft.
The full lifecycle detail, with its charts, flows, tables and every section, is for registered members. Registration is free and takes a minute. You come back to this page afterwards.