Speaker
Mr
Ottmar Ried
(Airbus DS GmbH)
Description
In Airbus DS there is an extensive usage of Microsemi RTAX devices. Recently also the RTAX4000 FPGA has been introduced for a new project. The complexity of these type of devices have increased two fold:
- number of gate capacity, meaning higher complexity of the function
- number of pins, meaning higher complexity for assembly or repair
As a consequence potential late modifications, e.g. due to a bug fix, especially after box closer, are getting more and more costly, and therefore a strict design and verification process and, moreover, new verification methods need to be employed. These are in particular:
- Formal Verification methods
- Verification using emulation hardware
The presentation highlights the challenges and achievements of using Microsemi RTAX devices at Airbus DS and it describes the new verification methods employed.
Primary author
Mr
Tim Helfers
(Airbus DS GmbH)
Co-authors
Mr
Martin Plintovic
(Airbus DS GmbH)
Mr
Ottmar Ried
(Airbus DS GmbH)
