Follow
James D Pollard
James D Pollard
Unknown affiliation
Verified email at acm.org - Homepage
Title
Cited by
Cited by
Year
Formal verification of high-level synthesis
Y Herklotz, JD Pollard, N Ramanathan, J Wickerson
Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1-30, 2021
322021
The system can't perform the operation now. Try again later.