| Title: |
Accelerating Recertification of FPGA-Based Avionics Systems via Bitstream Equivalence Checking |
| Authors: |
Graf, Jonathan; Drinkert, Evan; Harper, Scott; Winslow, Margaret; Cook, Alan; Sohanghpurwala, Ali Asgar; Dunham, Tim; Tabada, Wilfredo |
| Source: |
2025 AIAA DATC/IEEE 44th Digital Avionics Systems Conference (DASC) Digital Avionics Systems Conference (DASC), 2025 AIAA DATC/IEEE 44th. :1-10 Sep, 2025 |
| Relation: |
2025 AIAA DATC/IEEE 44th Digital Avionics Systems Conference (DASC) |
| Database: |
IEEE Xplore Digital Library |