Inferno is a project to convert C++ programs into practical, synthesisable Verilog designs. At present, the partially implemented Inferno serves as a test harness for Vida Nova, a search-replace style program transformation engine. Handy links to documentation follow.
Search and Replace Documentation