Concepedia

Yann Herklotz

YH

Statistics

Publications

3

Citations

91

H-Index

3

Active since

2020

Affiliations

Imperial College London(Current)

Yann Herklotz is an author at Imperial College London specializing in computer engineering, computer science, and computer architecture.

ORCID

Publications per year

2020–2021

3

Publications

3

Finding and Understanding Bugs in FPGA Synthesis Tools

Yann Herklotz, John Wickerson · 2020 · 38 citations

, , +10

Formal verification of high-level synthesis

Yann Herklotz, James D. Pollard, Nadesh Ramanathan et al. · Proceedings of the ACM on Programming Languages · 2021 · 28 citations · Full text

, , +14

An Empirical Study of the Reliability of High-Level Synthesis Tools

Yann Herklotz, Zewei Du, Nadesh Ramanathan et al. · 2021 · 25 citations

, , +15

1–3 of 3