Please login to view the entire Verification Horizons article.
Please register or login to view.
As per the DO-254 standard, the Airborne Electronic Hardware (AEH) needs accurate assurance of device behavior as intended within optimal operating conditions. For DAL A (Design Assurance Level A) Devices, you need to verify 100% functionality of the device and achieve 100% code coverage, including FEC. Code coverage can be managed using a simulation tool such as Questa®, while functional coverage would require a comprehensive Verification Case Document (VCD) that has cases traced to each requirement of the AEH device.
Once the VCD is defined, it is necessary to ensure accuracy of test bench codes and test cases written to achieve intended operation. To ensure the same, a Verification Procedure Document (VPD) is generated, which consists
...