I wanted to recommend http://www.c-to-verilog.com ;
This website has an on-line compiler which lets users take regular C code and compile it to Verilog. You can use it for free without registration on the web-page. There is a screencast video which shows how you can use the website and there are also code examples. It targets mainly FPGAs and it creates optimized Verilog. It turns the C loops into pipelined designs.