Validating High-Level Synthesis
Abstract elided by the publisher.
Related papers
- Hyperblock Scheduling for Verified High-Level Synthesis PLDI 2024
- Formal verification of high-level synthesis OOPSLA 2021
- Relational Hoare Logic for High-Level Synthesis of Hardware Accelerators ESOP 2026
- Perfect Is the Enemy of Good: Best-Effort Program Synthesis ECOOP 2020
- Designing scalable FPGA architectures using high-level synthesis PPoPP 2018
- A Unified Memory Dependency Framework for Speculative High-Level Synthesis CC 2024
- Wavefront Threading Enables Effective High-Level Synthesis PLDI 2024
- Online Input Grammar Synthesis Aided Symbolic Execution OOPSLA 2026