Follow
Michalis Pardalos
Michalis Pardalos
Imperial College London
Verified email at imperial.ac.uk - Homepage
Title
Cited by
Cited by
Year
Resource Sharing for Verified High-Level Synthesis
M Pardalos, Y Herklotz, J Wickerson
2022 IEEE 30th Annual International Symposium on Field-Programmable Custom …, 2022
12022
Formally verified resource sharing for High Level Synthesis
M Pardalos, J Wickerson, JJ Davis
Master’s thesis, 2021
12021
Nicholas Beckwith, Jialiang Zhang and Jing Li IMpress: Large Integer Multiplication Expression Rewriting for FPGA HLS.............. 29 Ecenur Ustun, Ismail San, Jiaqi Yin …
M Pardalos, Y Herklotz, J Wickerson, A Arora, T Anand, A Borda, ...
The system can't perform the operation now. Try again later.
Articles 1–3