Skip to content

Aldec

Aldec, March 10, 2022

Using SVA for Requirements-Based Verification of Safety-Critical FPGA Designs

Requirements-based verification (RBV) is a popular verification process for FPGA designs used in safety-critical systems. The effectiveness of RBV is limited by the quality and… Read More »Using SVA for Requirements-Based Verification of Safety-Critical FPGA Designs

Aldec, February 10, 2022

Verification of PCIe-based FPGA Designs Requiring DO-254 Compliance (US)

PCIe-based FPGA designs are becoming popular within avionics systems. However, the verification of such designs for DO-254 compliance with design assurance level (DAL) A or… Read More »Verification of PCIe-based FPGA Designs Requiring DO-254 Compliance (US)