LDRA and Xilinx to bring structural coverage and code compliance to Zynq-7000 family

NURNBERG, GERMANY: LDRA, the leader in standards compliance, automated software verification, source code analysis, and test tools, has partnered with Xilinx Inc., the world's leading provider of All Programmable FPGAs, SoCs, and 3D ICs.

To streamline standards compliance for safety-critical application development, the LDRA tool suite has been integrated with the Xilinx Zynq-7000 All Programmable SoC and the Xilinx Zynq-7000 AP SoC development kit.

Xilinx is leveraging LDRA structural coverage and standards compliance tools to enhance Zynq-7000 boot loader code and device driver code for key markets that require certification, compliance, and functional safety. LDRA tools are enabling Xilinx to provide additional value for developers of safety- and security-critical applications.

In addition, the LDRA tool suite can now be used in Zynq-7000 SoC developments to help ensure and demonstrate compliance with relevant industry standards such as DO-178, IEC 61508, and ISO 26262. LDRA's verification platform gives developers a clear advantage in certifying the final embedded software for avionics, automotive, and industrial applications. Leveraging LDRA tools with Zynq-7000 SoCs mitigates compliance cost and risk.

"Verification of software and independent proof of standards compliance, once only stipulated by the avionics industry, is increasingly demanded by governments, industry agencies, and OEMs," noted Ian Hennell, LDRA Operations director. "Approaching the safety-critical market with the hardware platform already compliance-ready, whether for the avionics DO-178C, automotive ISO 26262, industrial IEC 61508 or other standards, streamlines the compliance management process and significantly decreases costs."