There are VHDL and some Verilog but from what (little) I understand, the industry has moved to SystemVerilog and there Free (as in Speech) tools haven't caught up.