Gezel description that gets converted into VHDL