Cfml_git is a project mainly written in OCAML and VERILOG, it's free.

A copy of the cfml svn repo to play with it