Wikipedia
Gezel
Gezel is a hardware description language, allowing the implementation of a Finite State Machine + Datapath (FSMD) model. The tools included in Gezel allows for simulation, cosimulation as well as compiling into VHDL code. It is possible to extend Gezel through library-blocks written in C++.