Automated Translation Validation of a Compiler for Statically Scheduled Accelerators
| Title: | Automated Translation Validation of a Compiler for Statically Scheduled Accelerators |
|---|---|
| Authors: | Melchert, Jackson; Terrill, Caleb; Perez-Lopez, Aron Ricardo; Barrett, Clark; Raina, Priyanka |
| Source: | 2025 Formal Methods in Computer-Aided Design (FMCAD) Formal Methods in Computer-Aided Design (FMCAD), 2025. :1-11 Oct, 2025 |
| Relation: | 2025 Formal Methods in Computer-Aided Design (FMCAD) |
| Database: | IEEE Xplore Digital Library |