Nadesh Ramanathan
2 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.
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)