You can find, in this page, the functions which are useful for the algorithm description in VHDL. The whole description will be available later.
For the synthesis, we have decided to use a tool called GAUT (Automatic Generation of Treatment Unit). It isn't a RTL synthesiser but a synthesiser from a high level description.