There is also HercuLeS (provisional name), which is MY HLS tool.
Get the (old) tech. demo from here
http://www.nkavvadias.co.cc/misc/hls-demo-linux-0.0.1.tar.gz
Things have progressed since then.
Let me know if you want a tech. presentation detailing a real-life examples, e.g. a multi-function CORDIC.
Cheers,
Nikolaos Kavvadias