Yann Herklotz
5 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
Hyperblock Scheduling for Verified High-Level Synthesis
Yann Herklotz and others (2024) · Association for Computing Machinery (ACM)
Mechanised Semantics for Gated Static Single Assignment
Yann Herklotz and others (2023) · ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP)
An Empirical Study of the Reliability of High-Level Synthesis Tools
Yann Herklotz and others (2021) · 2021 IEEE 29th Annual International Symposium on Field-Programmable Custom Computing Machines (FCCM) · IEEE
Formal verification of high-level synthesis
Yann Herklotz and others (2021) · Association for Computing Machinery (ACM)
Finding and Understanding Bugs in FPGA Synthesis Tools
Yann Herklotz and others (2020) · Proceedings of the 2020 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays (FPGA 2020)