Safety and security software certification with LDRA

Name: Safety and security software certification with LDRA
Start: 2025-05-06
End: 2025-05-06

FPGA

Software verification for safety- and security-critical systems.

Recording

1 found

Materials checked: Oct 8, 2026

The programme describes integration of the LDRA tool suite with PolarFire SoCs and PIC64 MPUs.

Oct 12 – 15, 2026 United States · San Jose

Open infrastructure sessions and Lattice–AMI demonstrations of platform firmware, management and control technologies.

Oct 28, 2026, 08:00–17:30 United States · San Jose

Sessions on Agilex, Quartus synthesis and timing, SoC development and FPGA–GPU sensor processing.