A user's reflections on the art of high level synthesis. - Yu Pan; Santhosh Kumar Pilakkat; Kay-Chuan Benny Tan; Wai-Meng Mok (ISIC, 2014)